Electronic catalog

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

Jonathan H. Ward
    Countdown to a Moon Launch [Электронный ресурс] / Jonathan H. Ward. - Электроные текстовые данные. - 1007/978-3-319-17792-2. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-17792-2. - (Springer Praxis Books). - ISBN 9783319177922

Кл.слова (ненормированные):
engineering -- Aerospace Technology and Astronautics -- history of science -- Software Engineering/Programming and Operating Systems -- Computer-Aided Engineering (CAD, CAE) and Design -- книги издательства Springer

Jonathan H. Ward Countdown to a Moon Launch [Текст : Электронный ресурс] / Jonathan H. Ward, 2015

Jian Cao
    Process-Aware Systems [Электронный ресурс] / Jian Cao, Lijie Wen, Xiao Liu. - Электроные текстовые данные. - 1007/978-3-662-46170-9. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-662-46170-9. - (Communications in Computer and Information Science). - ISBN 9783662461709

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

Jian Cao Process-Aware Systems [Текст : Электронный ресурс] / Jian Cao, Lijie Wen, Xiao Liu, 2015

Ivor Horton
    Using the C++ Standard Template Libraries [Электронный ресурс] / Ivor Horton. - Электроные текстовые данные. - 1007/978-1-4842-0004-9. - [S. l.] : Apress, 2015. - ( час. мин.), 1007/978-1-4842-0004-9. - ISBN 9781484200049

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

Ivor Horton Using the C++ Standard Template Libraries [Текст : Электронный ресурс] / Ivor Horton, 2015

    Aspect-Oriented Security Hardening of UML Design Models [Электронный ресурс] / Djedjiga Mouheb, Mourad Debbabi, Makan Pourzandi, Lingyu Wang, Mariam Nouh, Raha Ziarati, Dima Alhadidi, Chamseddine Talhi, Vitor Lima. - Электроные текстовые данные. - 1007/978-3-319-16106-8. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-16106-8. - ISBN 9783319161068

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

Aspect-Oriented Security Hardening of UML Design Models [Текст : Электронный ресурс] / Djedjiga Mouheb, Mourad Debbabi, Makan Pourzandi, Lingyu Wang, Mariam Nouh, Raha Ziarati, Dima Alhadidi, Chamseddine Talhi, Vitor Lima, 2015

Jeffrey Parsons
    Advances in Conceptual Modeling [Электронный ресурс] / Jeffrey Parsons, Dickson Chiu. - Электроные текстовые данные. - 1007/978-3-319-14139-8. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-14139-8. - (Lecture Notes in Computer Science). - ISBN 9783319141398

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

Jeffrey Parsons Advances in Conceptual Modeling [Текст : Электронный ресурс] / Jeffrey Parsons, Dickson Chiu, 2014

Petraq J. Papajorgji
    Software Engineering Techniques Applied to Agricultural Systems [Электронный ресурс] / Petraq J. Papajorgji, Panos M. Pardalos. - Электроные текстовые данные. - 1007/978-1-4899-7463-1. - [S. l.] : Springer US, 2014. - ( час. мин.), 1007/978-1-4899-7463-1. - (Springer Optimization and Its Applications). - ISBN 9781489974631

Кл.слова (ненормированные):
mathematics -- Operations Research, Management Science -- Software Engineering/Programming and Operating Systems -- agricultural economics -- книги издательства Springer

Petraq J. Papajorgji Software Engineering Techniques Applied to Agricultural Systems [Текст : Электронный ресурс] / Petraq J. Papajorgji, Panos M. Pardalos, 2014

Dietmar Winkler
    Software Quality. Software and Systems Quality in Distributed and Mobile Environments [Электронный ресурс] / Dietmar Winkler, Stefan Biffl, Johannes Bergsmann. - Электроные текстовые данные. - 1007/978-3-319-13251-8. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-13251-8. - (Lecture Notes in Business Information Processing). - ISBN 9783319132518

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

Dietmar Winkler Software Quality. Software and Systems Quality in Distributed and Mobile Environments [Текст : Электронный ресурс] / Dietmar Winkler, Stefan Biffl, Johannes Bergsmann, 2015

    Enterprise Information Systems [Электронный ресурс] / José Cordeiro, Slimane Hammoudi, Leszek Maciaszek, Olivier Camp, Joaquim Filipe. - Электроные текстовые данные. - 1007/978-3-319-22348-3. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-22348-3. - (Lecture Notes in Business Information Processing). - ISBN 9783319223483

Кл.слова (ненормированные):
Computer science -- Information Systems Applications (incl.Internet) -- business information systems -- Software Engineering -- User Interfaces and Human Computer Interaction -- Enterprise Architecture -- книги издательства Springer

Enterprise Information Systems [Текст : Электронный ресурс] / José Cordeiro, Slimane Hammoudi, Leszek Maciaszek, Olivier Camp, Joaquim Filipe, 2015

    Future Business Software [Электронный ресурс] / Gino Brunetti, Thomas Feld, Lutz Heuser, Joachim Schnitter, Christian Webel. - Электроные текстовые данные. - 1007/978-3-319-04144-5. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-04144-5. - (Progress in IS). - ISBN 9783319041445

Кл.слова (ненормированные):
Computer science -- Software Engineering -- IT in Business -- Information Systems and Communication Service -- Information Systems Applications (incl.Internet) -- User Interfaces and Human Computer Interaction -- Systems and Data Security -- книги издательства Springer

Future Business Software [Текст : Электронный ресурс] / Gino Brunetti, Thomas Feld, Lutz Heuser, Joachim Schnitter, Christian Webel, 2014