Electronic catalog

Ersébet Csuhaj-Varjú
    Mathematical Foundations of Computer Science 2014 [Электронный ресурс] / Ersébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik. - Электроные текстовые данные. - 1007/978-3-662-44465-8. - [S. l.] : Springer Berlin Heidelberg, 2014. - ( час. мин.), 1007/978-3-662-44465-8. - (Lecture Notes in Computer Science). - ISBN 9783662444658

Кл.слова (ненормированные):
Computer science -- Algorithm Analysis and Problem Complexity -- Discrete Mathematics in Computer Science -- Numeric Computing -- Data Structures -- Mathematical Logic and Formal Languages -- Math Applications in Computer Science -- книги издательства Springer

Ersébet Csuhaj-Varjú Mathematical Foundations of Computer Science 2014 [Текст : Электронный ресурс] / Ersébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, 2014

Michał Śmiałek
    From Requirements to Java in a Snap [Электронный ресурс] / Michał Śmiałek, Wiktor Nowakowski. - Электроные текстовые данные. - 1007/978-3-319-12838-2. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-12838-2. - ISBN 9783319128382

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

Michał Śmiałek From Requirements to Java in a Snap [Текст : Электронный ресурс] / Michał Śmiałek, Wiktor Nowakowski, 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

Adam Przepiórkowski
    Advances in Natural Language Processing [Электронный ресурс] / Adam Przepiórkowski, Maciej Ogrodniczuk. - Электроные текстовые данные. - 1007/978-3-319-10888-9. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-10888-9. - (Lecture Notes in Computer Science). - ISBN 9783319108889

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- Information Storage and Retrieval -- Mathematical Logic and Formal Languages -- Information Systems Applications (incl.Internet) -- database management -- Data Mining and Knowledge Discovery -- книги издательства Springer

Adam Przepiórkowski Advances in Natural Language Processing [Текст : Электронный ресурс] / Adam Przepiórkowski, Maciej Ogrodniczuk, 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

Arjen Hommersom
    Foundations of Biomedical Knowledge Representation [Электронный ресурс] / Arjen Hommersom, Peter J.F. Lucas. - Электроные текстовые данные. - 1007/978-3-319-28007-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-28007-3. - (Lecture Notes in Computer Science). - ISBN 9783319280073

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- Health Informatics -- Data Mining and Knowledge Discovery -- Information Systems Applications (incl.Internet) -- Information Storage and Retrieval -- Mathematical Logic and Formal Languages -- книги издательства Springer

Arjen Hommersom Foundations of Biomedical Knowledge Representation [Текст : Электронный ресурс] / Arjen Hommersom, Peter J.F. Lucas, 2015

    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

Jaume Baixeries
    Formal Concept Analysis [Электронный ресурс] / Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego. - Электроные текстовые данные. - 1007/978-3-319-19545-2. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-19545-2. - (Lecture Notes in Computer Science). - ISBN 9783319195452

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- Software Engineering -- Data Mining and Knowledge Discovery -- Mathematical Logic and Formal Languages -- Discrete Mathematics in Computer Science -- Order, Lattices, Ordered Algebraic Structures -- книги издательства Springer

Jaume Baixeries Formal Concept Analysis [Текст : Электронный ресурс] / Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego, 2015

Francisco Botana
    Automated Deduction in Geometry [Электронный ресурс] / Francisco Botana, Pedro Quaresma. - Электроные текстовые данные. - 1007/978-3-319-21362-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-21362-0. - (Lecture Notes in Computer Science). - ISBN 9783319213620

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

Francisco Botana Automated Deduction in Geometry [Текст : Электронный ресурс] / Francisco Botana, Pedro Quaresma, 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