Electronic catalog

Enrico Pontelli
    Practical Aspects of Declarative Languages [Электронный ресурс] / Enrico Pontelli, Tran Cao Son. - Электроные текстовые данные. - 1007/978-3-319-19686-2. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-19686-2. - (Lecture Notes in Computer Science). - ISBN 9783319196862

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

Enrico Pontelli Practical Aspects of Declarative Languages [Текст : Электронный ресурс] / Enrico Pontelli, Tran Cao Son, 2015

Eran Yahav
    Hardware and Software: Verification and Testing [Электронный ресурс] / Eran Yahav. - Электроные текстовые данные. - 1007/978-3-319-13338-6. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-13338-6. - (Lecture Notes in Computer Science). - ISBN 9783319133386

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

Eran Yahav Hardware and Software: Verification and Testing [Текст : Электронный ресурс] / Eran Yahav, 2014

Joel Ouaknine
    Reachability Problems [Электронный ресурс] / Joel Ouaknine, Igor Potapov, James Worrell. - Электроные текстовые данные. - 1007/978-3-319-11439-2. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-11439-2. - (Lecture Notes in Computer Science). - ISBN 9783319114392

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

Joel Ouaknine Reachability Problems [Текст : Электронный ресурс] / Joel Ouaknine, Igor Potapov, James Worrell, 2014

    Intelligent Information Processing VII [Электронный ресурс] / Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler. - Электроные текстовые данные. - 1007/978-3-662-44980-6. - [S. l.] : Springer Berlin Heidelberg, 2014. - ( час. мин.), 1007/978-3-662-44980-6. - (IFIP Advances in Information and Communication Technology). - ISBN 9783662449806

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- Data Mining and Knowledge Discovery -- Mathematical Logic and Formal Languages -- Information Storage and Retrieval -- Pattern Recognition -- Logics and Meanings of Programs -- книги издательства Springer

Intelligent Information Processing VII [Текст : Электронный ресурс] / Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler, 2014

Jean Krivine
    Reversible Computation [Электронный ресурс] / Jean Krivine, Jean-Bernard Stefani. - Электроные текстовые данные. - 1007/978-3-319-20860-2. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-20860-2. - (Lecture Notes in Computer Science). - ISBN 9783319208602

Кл.слова (ненормированные):
Computer science -- Logic Design -- Logics and Meanings of Programs -- Quantum Computing -- Computation by Abstract Devices -- Algorithm Analysis and Problem Complexity -- Software Engineering -- книги издательства Springer

Jean Krivine Reversible Computation [Текст : Электронный ресурс] / Jean Krivine, Jean-Bernard Stefani, 2015

Daniel Kroening
    Computer Aided Verification [Электронный ресурс] / Daniel Kroening, Corina S. Păsăreanu. - Электроные текстовые данные. - 1007/978-3-319-21668-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-21668-3. - (Lecture Notes in Computer Science). - ISBN 9783319216683

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

Daniel Kroening Computer Aided Verification [Текст : Электронный ресурс] / Daniel Kroening, Corina S. Păsăreanu, 2015

Sébastien Destercke
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty [Электронный ресурс] / Sébastien Destercke, Thierry Denoeux. - Электроные текстовые данные. - 1007/978-3-319-20807-7. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-20807-7. - (Lecture Notes in Computer Science). - ISBN 9783319208077

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- Information Systems Applications (incl.Internet) -- Logics and Meanings of Programs -- Mathematical Logic and Formal Languages -- Information Storage and Retrieval -- computer communication networks -- книги издательства Springer

Sébastien Destercke Symbolic and Quantitative Approaches to Reasoning with Uncertainty [Текст : Электронный ресурс] / Sébastien Destercke, Thierry Denoeux, 2015

Wiebe van der Hoek
    Logic, Rationality, and Interaction [Электронный ресурс] / Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. - Электроные текстовые данные. - 1007/978-3-662-48561-3. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-662-48561-3. - (Lecture Notes in Computer Science). - ISBN 9783662485613

Кл.слова (ненормированные):
Computer science -- Mathematical Logic and Formal Languages -- Mathematical Logic and Foundations -- Discrete Mathematics in Computer Science -- Symbolic and Algebraic Manipulation -- Logics and Meanings of Programs -- книги издательства Springer

Wiebe van der Hoek Logic, Rationality, and Interaction [Текст : Электронный ресурс] / Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang, 2015

Wolfram Kahl
    Relational and Algebraic Methods in Computer Science [Электронный ресурс] / Wolfram Kahl, Michael Winter, José Oliveira. - Электроные текстовые данные. - 1007/978-3-319-24704-5. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-24704-5. - (Lecture Notes in Computer Science). - ISBN 9783319247045

Кл.слова (ненормированные):
Computer science -- Mathematical Logic and Formal Languages -- Symbolic and Algebraic Manipulation -- Logics and Meanings of Programs -- Software Engineering -- Artificial Intelligence (incl. Robotics) -- Discrete Mathematics in Computer Science -- книги издательства Springer

Wolfram Kahl Relational and Algebraic Methods in Computer Science [Текст : Электронный ресурс] / Wolfram Kahl, Michael Winter, José Oliveira, 2015

András Horváth
    Computer Performance Engineering [Электронный ресурс] / András Horváth, Katinka Wolter. - Электроные текстовые данные. - 1007/978-3-319-10885-8. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-10885-8. - (Lecture Notes in Computer Science). - ISBN 9783319108858

Кл.слова (ненормированные):
Computer science -- System Performance and Evaluation -- Probability and Statistics in Computer Science -- Logics and Meanings of Programs -- Software Engineering -- Simulation and Modeling -- книги издательства Springer

András Horváth Computer Performance Engineering [Текст : Электронный ресурс] / András Horváth, Katinka Wolter, 2014