Electronic catalog

Ahmed Seffah
    Patterns of HCI Design and HCI Design of Patterns [Электронный ресурс] / Ahmed Seffah. - Электроные текстовые данные. - 1007/978-3-319-15687-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-15687-3. - (Human–Computer Interaction Series). - ISBN 9783319156873

Кл.слова (ненормированные):
Computer science -- User Interfaces and Human Computer Interaction -- Software Engineering -- Models and Principles -- Programming Techniques -- книги издательства Springer

Ahmed Seffah Patterns of HCI Design and HCI Design of Patterns [Текст : Электронный ресурс] / Ahmed Seffah, 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

Pedro Mendes
    Computational Methods in Systems Biology [Электронный ресурс] / Pedro Mendes, Joseph O. Dada, Kieran Smallbone. - Электроные текстовые данные. - 1007/978-3-319-12982-2. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-12982-2. - (Lecture Notes in Computer Science). - ISBN 9783319129822

Кл.слова (ненормированные):
Computer science -- Computational Biology/Bioinformatics -- Computation by Abstract Devices -- Simulation and Modeling -- Computer Appl. in Life Sciences -- Software Engineering -- Symbolic and Algebraic Manipulation -- книги издательства Springer

Pedro Mendes Computational Methods in Systems Biology [Текст : Электронный ресурс] / Pedro Mendes, Joseph O. Dada, Kieran Smallbone, 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

    Systems, Software and Services Process Improvement [Электронный ресурс] / Béatrix Barafort, Rory V. O'Connor, Alexander Poth, Richard Messnarz. - Электроные текстовые данные. - 1007/978-3-662-43896-1. - [S. l.] : Springer Berlin Heidelberg, 2014. - ( час. мин.), 1007/978-3-662-43896-1. - (Communications in Computer and Information Science). - ISBN 9783662438961

Кл.слова (ненормированные):
Computer science -- Management of Computing and Information Systems -- Software Engineering -- IT in Business -- Information Systems Applications (incl.Internet) -- книги издательства Springer

Systems, Software and Services Process Improvement [Текст : Электронный ресурс] / Béatrix Barafort, Rory V. O'Connor, Alexander Poth, Richard Messnarz, 2014

    Ad-hoc, Mobile, and Wireless Networks [Электронный ресурс] / Song Guo, Jaime Lloret Mauri, Pietro Manzoni, Stefan Ruehrup. - Электроные текстовые данные. - 1007/978-3-319-07425-2. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-07425-2. - (Lecture Notes in Computer Science). - ISBN 9783319074252

Кл.слова (ненормированные):
Computer science -- computer communication networks -- Information Systems Applications (incl.Internet) -- Communications Engineering, Networks -- Management of Computing and Information Systems -- Software Engineering -- Information Storage and Retrieval -- книги издательства Springer

Ad-hoc, Mobile, and Wireless Networks [Текст : Электронный ресурс] / Song Guo, Jaime Lloret Mauri, Pietro Manzoni, Stefan Ruehrup, 2014