Электронный каталог

Ugo Dal Lago
    Foundational and Practical Aspects of Resource Analysis [Электронный ресурс] / Ugo Dal Lago, Ricardo Peña. - Электроные текстовые данные. - 1007/978-3-319-12466-7. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-12466-7. - (Lecture Notes in Computer Science). - ISBN 9783319124667

Кл.слова (ненормированные):
Computer science -- System Performance and Evaluation -- Algorithm Analysis and Problem Complexity -- Logics and Meanings of Programs -- Software Engineering -- Programming Languages, Compilers, Interpreters -- Computation by Abstract Devices -- книги издательства Springer

Ugo Dal Lago Foundational and Practical Aspects of Resource Analysis [Текст : Электронный ресурс] / Ugo Dal Lago, Ricardo Peña, 2014

Davide Di Gennaro
    Advanced Metaprogramming in Classic C++ [Электронный ресурс] / Davide Di Gennaro. - Электроные текстовые данные. - 1007/978-1-4842-1010-9. - [S. l.] : Apress, 2015. - ( час. мин.), 1007/978-1-4842-1010-9. - ISBN 9781484210109

Кл.слова (ненормированные):
Computer science -- Programming Languages, Compilers, Interpreters -- книги издательства Springer

Davide Di Gennaro Advanced Metaprogramming in Classic C++ [Текст : Электронный ресурс] / Davide Di Gennaro, 2015

Dimitra Giannakopoulou
    Verified Software: Theories, Tools and Experiments [Электронный ресурс] / Dimitra Giannakopoulou, Daniel Kroening. - Электроные текстовые данные. - 1007/978-3-319-12154-3. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-12154-3. - (Lecture Notes in Computer Science). - ISBN 9783319121543

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Logics and Meanings of Programs -- Programming Languages, Compilers, Interpreters -- Programming Techniques -- Mathematical Logic and Formal Languages -- Artificial Intelligence (incl. Robotics) -- книги издательства Springer

Dimitra Giannakopoulou Verified Software: Theories, Tools and Experiments [Текст : Электронный ресурс] / Dimitra Giannakopoulou, Daniel Kroening, 2014

Marco Bernardo
    Formal Methods for Multicore Programming [Электронный ресурс] / Marco Bernardo, Einar Broch Johnsen. - Электроные текстовые данные. - 1007/978-3-319-18941-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-18941-3. - (Lecture Notes in Computer Science). - ISBN 9783319189413

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Logics and Meanings of Programs -- Programming Languages, Compilers, Interpreters -- Mathematical Logic and Formal Languages -- Probability and Statistics in Computer Science -- книги издательства Springer

Marco Bernardo Formal Methods for Multicore Programming [Текст : Электронный ресурс] / Marco Bernardo, Einar Broch Johnsen, 2015

    SDL 2015: Model-Driven Engineering for Smart Cities [Электронный ресурс] / Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. - Электроные текстовые данные. - 1007/978-3-319-24912-4. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-24912-4. - (Lecture Notes in Computer Science). - ISBN 9783319249124

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Logics and Meanings of Programs -- Programming Languages, Compilers, Interpreters -- Management of Computing and Information Systems -- Computer Systems Organization and Communication Networks -- книги издательства Springer

SDL 2015: Model-Driven Engineering for Smart Cities [Текст : Электронный ресурс] / Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed, 2015

Michael Codish
    Functional and Logic Programming [Электронный ресурс] / Michael Codish, Eijiro Sumii. - Электроные текстовые данные. - 1007/978-3-319-07151-0. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-07151-0. - (Lecture Notes in Computer Science). - ISBN 9783319071510

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Logics and Meanings of Programs -- Programming Languages, Compilers, Interpreters -- Mathematical Logic and Formal Languages -- Artificial Intelligence (incl. Robotics) -- Programming Techniques -- книги издательства Springer

Michael Codish Functional and Logic Programming [Текст : Электронный ресурс] / Michael Codish, Eijiro Sumii, 2014

Elvira Albert
    Integrated Formal Methods [Электронный ресурс] / Elvira Albert, Emil Sekerinski. - Электроные текстовые данные. - 1007/978-3-319-10181-1. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-10181-1. - (Lecture Notes in Computer Science). - ISBN 9783319101811

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Logics and Meanings of Programs -- Programming Languages, Compilers, Interpreters -- Mathematical Logic and Formal Languages -- книги издательства Springer

Elvira Albert Integrated Formal Methods [Текст : Электронный ресурс] / Elvira Albert, Emil Sekerinski, 2014

Márcio Barros
    Search-Based Software Engineering [Электронный ресурс] / Márcio Barros, Yvan Labiche. - Электроные текстовые данные. - 1007/978-3-319-22183-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-22183-0. - (Lecture Notes in Computer Science). - ISBN 9783319221830

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Algorithm Analysis and Problem Complexity -- Programming Techniques -- Computation by Abstract Devices -- Programming Languages, Compilers, Interpreters -- Pattern Recognition -- книги издательства Springer

Márcio Barros Search-Based Software Engineering [Текст : Электронный ресурс] / Márcio Barros, Yvan Labiche, 2015