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

    Computer Algebra in Scientific Computing [Электронный ресурс] / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. - Электроные текстовые данные. - 1007/978-3-319-24021-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-24021-3. - (Lecture Notes in Computer Science). - ISBN 9783319240213

Кл.слова (ненормированные):
Computer science -- Algorithm Analysis and Problem Complexity -- Discrete Mathematics in Computer Science -- Symbolic and Algebraic Manipulation -- Arithmetic and Logic Structures -- книги издательства Springer

Computer Algebra in Scientific Computing [Текст : Электронный ресурс] / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, 2015

    Codes, Cryptology, and Information Security [Электронный ресурс] / Said El Hajji, Abderrahmane Nitaj, Claude Carlet, El Mamoun Souidi. - Электроные текстовые данные. - 1007/978-3-319-18681-8. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-18681-8. - (Lecture Notes in Computer Science). - ISBN 9783319186818

Кл.слова (ненормированные):
Computer science -- Systems and Data Security -- Data Encryption -- Coding and Information Theory -- Algorithm Analysis and Problem Complexity -- Discrete Mathematics in Computer Science -- книги издательства Springer

Codes, Cryptology, and Information Security [Текст : Электронный ресурс] / Said El Hajji, Abderrahmane Nitaj, Claude Carlet, El Mamoun Souidi, 2015

    Curves and Surfaces [Электронный ресурс] / Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker. - Электроные текстовые данные. - 1007/978-3-319-22804-4. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-22804-4. - (Lecture Notes in Computer Science). - ISBN 9783319228044

Кл.слова (ненормированные):
Computer science -- computer graphics -- Simulation and Modeling -- Algorithm Analysis and Problem Complexity -- Computer-Aided Engineering (CAD, CAE) and Design -- Discrete Mathematics in Computer Science -- книги издательства Springer

Curves and Surfaces [Текст : Электронный ресурс] / Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker, 2015

Kai-Uwe Schmidt
    Sequences and Their Applications - SETA 2014 [Электронный ресурс] / Kai-Uwe Schmidt, Arne Winterhof. - Электроные текстовые данные. - 1007/978-3-319-12325-7. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-12325-7. - (Lecture Notes in Computer Science). - ISBN 9783319123257

Кл.слова (ненормированные):
Computer science -- Discrete Mathematics in Computer Science -- Algorithm Analysis and Problem Complexity -- Data Encryption -- computer communication networks -- Management of Computing and Information Systems -- Coding and Information Theory -- книги издательства Springer

Kai-Uwe Schmidt Sequences and Their Applications - SETA 2014 [Текст : Электронный ресурс] / Kai-Uwe Schmidt, Arne Winterhof, 2014

    Simulated Evolution and Learning [Электронный ресурс] / Grant Dick, Will N. Browne, Peter Whigham at al. - Электроные текстовые данные. - 1007/978-3-319-13563-2. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-13563-2. - (Lecture Notes in Computer Science). - ISBN 9783319135632

Кл.слова (ненормированные):
Computer science -- Computation by Abstract Devices -- Artificial Intelligence (incl. Robotics) -- Data Mining and Knowledge Discovery -- Simulation and Modeling -- Discrete Mathematics in Computer Science -- Information Systems Applications (incl.Internet) -- книги издательства Springer

Simulated Evolution and Learning [Текст : Электронный ресурс] / Grant Dick, Will N. Browne, Peter Whigham at al., 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

Alexander Meduna
    Regulated Grammars and Automata [Электронный ресурс] / Alexander Meduna, Petr Zemek. - Электроные текстовые данные. - 1007/978-1-4939-0369-6. - [S. l.] : Springer New York, 2014. - ( час. мин.), 1007/978-1-4939-0369-6. - ISBN 9781493903696

Кл.слова (ненормированные):
Computer science -- Theory of Computation -- Computation by Abstract Devices -- Mathematical Logic and Formal Languages -- Mathematics of Computing -- Discrete Mathematics in Computer Science -- книги издательства Springer

Alexander Meduna Regulated Grammars and Automata [Текст : Электронный ресурс] / Alexander Meduna, Petr Zemek, 2014

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