Электронный каталог

    OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [Электронный ресурс] / Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. - Электроные текстовые данные. - 1007/978-3-319-26428-8. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-26428-8. - (Lecture Notes in Computer Science). - ISBN 9783319264288

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

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [Текст : Электронный ресурс] / Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez, 2015

Chris Kemper
    Beginning Neo4j [Электронный ресурс] / Chris Kemper. - Электроные текстовые данные. - 1007/978-1-4842-1227-1. - [S. l.] : Apress, 2015. - ( час. мин.), 1007/978-1-4842-1227-1. - ISBN 9781484212271

Кл.слова (ненормированные):
Computer science -- Web Development -- Programming Languages, Compilers, Interpreters -- Computer Appl. in Administrative Data Processing -- книги издательства Springer

Chris Kemper Beginning Neo4j [Текст : Электронный ресурс] / Chris Kemper, 2015

Jerome DiMarzio
    Android Studio Game Development [Электронный ресурс] / Jerome DiMarzio. - Электроные текстовые данные. - 1007/978-1-4842-1718-4. - [S. l.] : Apress, 2015. - ( час. мин.), 1007/978-1-4842-1718-4. - ISBN 9781484217184

Кл.слова (ненормированные):
Computer science -- Game Development -- Programming Languages, Compilers, Interpreters -- Programming Techniques -- книги издательства Springer

Jerome DiMarzio Android Studio Game Development [Текст : Электронный ресурс] / Jerome DiMarzio, 2015

Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [Электронный ресурс] / Tiziana Margaria, Bernhard Steffen. - Электроные текстовые данные. - 1007/978-3-662-45234-9. - [S. l.] : Springer Berlin Heidelberg, 2014. - ( час. мин.), 1007/978-3-662-45234-9. - (Lecture Notes in Computer Science). - ISBN 9783662452349

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

Tiziana Margaria Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [Текст : Электронный ресурс] / Tiziana Margaria, Bernhard Steffen, 2014

Ivor Horton
    Beginning C++ [Электронный ресурс] / Ivor Horton. - Электроные текстовые данные. - 1007/978-1-4842-0007-0. - [S. l.] : Apress, 2014. - ( час. мин.), 1007/978-1-4842-0007-0. - ISBN 9781484200070

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

Ivor Horton Beginning C++ [Текст : Электронный ресурс] / Ivor Horton, 2014

Massimo Nardone
    Pro Android Games [Электронный ресурс] / Massimo Nardone, Vladimir Silva. - Электроные текстовые данные. - 1007/978-1-4842-0587-7. - [S. l.] : Apress, 2015. - ( час. мин.), 1007/978-1-4842-0587-7. - ISBN 9781484205877

Кл.слова (ненормированные):
Computer science -- Game Development -- Programming Techniques -- Programming Languages, Compilers, Interpreters -- книги издательства Springer

Massimo Nardone Pro Android Games [Текст : Электронный ресурс] / Massimo Nardone, Vladimir Silva, 2015

Chi N. Thai
    Exploring Robotics with ROBOTIS Systems [Электронный ресурс] / Chi N. Thai. - Электроные текстовые данные. - 1007/978-3-319-20418-5. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-20418-5. - ISBN 9783319204185

Кл.слова (ненормированные):
Computer science -- Artificial Intelligence (incl. Robotics) -- Robotics and Automation -- Programming Languages, Compilers, Interpreters -- книги издательства Springer

Chi N. Thai Exploring Robotics with ROBOTIS Systems [Текст : Электронный ресурс] / Chi N. Thai, 2015

Stephan Merz
    Formal Methods and Software Engineering [Электронный ресурс] / Stephan Merz, Jun Pang. - Электроные текстовые данные. - 1007/978-3-319-11737-9. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-11737-9. - (Lecture Notes in Computer Science). - ISBN 9783319117379

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Programming Techniques -- Programming Languages, Compilers, Interpreters -- Algorithm Analysis and Problem Complexity -- Mathematical Logic and Formal Languages -- computer communication networks -- книги издательства Springer

Stephan Merz Formal Methods and Software Engineering [Текст : Электронный ресурс] / Stephan Merz, Jun Pang, 2014

Jacopo Mauro
    Constraints Meet Concurrency [Электронный ресурс] / Jacopo Mauro. - Электроные текстовые данные. - 2991/978-94-6239-067-6. - [S. l.] : Atlantis Press, 2014. - ( час. мин.), 2991/978-94-6239-067-6. - (Atlantis Studies in Computing). - ISBN 9789462390676

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

Jacopo Mauro Constraints Meet Concurrency [Текст : Электронный ресурс] / Jacopo Mauro, 2014

Andreas Luszczak
    Using Microsoft Dynamics AX 2012 [Электронный ресурс] / Andreas Luszczak. - Электроные текстовые данные. - 1007/978-3-658-08295-6. - [S. l.] : Springer Fachmedien Wiesbaden, 2015. - ( час. мин.), 1007/978-3-658-08295-6. - ISBN 9783658082956

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

Andreas Luszczak Using Microsoft Dynamics AX 2012 [Текст : Электронный ресурс] / Andreas Luszczak, 2015