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

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

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

    Deontic Logic and Normative Systems [Электронный ресурс] / Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent. - Электроные текстовые данные. - 1007/978-3-319-08615-6. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-08615-6. - (Lecture Notes in Computer Science). - ISBN 9783319086156

Кл.слова (ненормированные):
Computer science -- Mathematical Logic and Formal Languages -- Artificial Intelligence (incl. Robotics) -- Logics and Meanings of Programs -- Computer Appl. in Administrative Data Processing -- Programming Techniques -- Discrete Mathematics in Computer Science -- книги издательства Springer

Deontic Logic and Normative Systems [Текст : Электронный ресурс] / Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent, 2014

Max Bramer
    Web Programming with PHP and MySQL [Электронный ресурс] / Max Bramer. - Электроные текстовые данные. - 1007/978-3-319-22659-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-22659-0. - ISBN 9783319226590

Кл.слова (ненормированные):
Computer science -- Computer System Implementation -- Programming Techniques -- database management -- книги издательства Springer

Max Bramer Web Programming with PHP and MySQL [Текст : Электронный ресурс] / Max Bramer, 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

Michael Coughlan
    Beginning COBOL for Programmers [Электронный ресурс] / Michael Coughlan. - Электроные текстовые данные. - 1007/978-1-4302-6254-1. - [S. l.] : Apress, 2014. - ( час. мин.), 1007/978-1-4302-6254-1. - ISBN 9781430262541

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

Michael Coughlan Beginning COBOL for Programmers [Текст : Электронный ресурс] / Michael Coughlan, 2014

Mathias Olausson
    Continuous Delivery with Visual Studio ALM 2015 [Электронный ресурс] / Mathias Olausson, Jakob Ehn. - Электроные текстовые данные. - 1007/978-1-4842-1272-1. - [S. l.] : Apress, 2015. - ( час. мин.), 1007/978-1-4842-1272-1. - ISBN 9781484212721

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

Mathias Olausson Continuous Delivery with Visual Studio ALM 2015 [Текст : Электронный ресурс] / Mathias Olausson, Jakob Ehn, 2015

Borzoo Bonakdarpour
    Runtime Verification [Электронный ресурс] / Borzoo Bonakdarpour, Scott A. Smolka. - Электроные текстовые данные. - 1007/978-3-319-11164-3. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-11164-3. - (Lecture Notes in Computer Science). - ISBN 9783319111643

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

Borzoo Bonakdarpour Runtime Verification [Текст : Электронный ресурс] / Borzoo Bonakdarpour, Scott A. Smolka, 2014

Michael Mayberry
    Pro Office 365 Development [Электронный ресурс] / Michael Mayberry, Mark Collins. - Электроные текстовые данные. - 1007/978-1-4842-0244-9. - [S. l.] : Apress, 2014. - ( час. мин.), 1007/978-1-4842-0244-9. - ISBN 9781484202449

Кл.слова (ненормированные):
Computer science -- Microsoft and .NET -- Programming Techniques -- книги издательства Springer

Michael Mayberry Pro Office 365 Development [Текст : Электронный ресурс] / Michael Mayberry, Mark Collins, 2014

Carsten Lutz
    Frontiers of Combining Systems [Электронный ресурс] / Carsten Lutz, Silvio Ranise. - Электроные текстовые данные. - 1007/978-3-319-24246-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-24246-0. - (Lecture Notes in Computer Science). - ISBN 9783319242460

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

Carsten Lutz Frontiers of Combining Systems [Текст : Электронный ресурс] / Carsten Lutz, Silvio Ranise, 2015