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

Bernd Finkbeiner
    Automated Technology for Verification and Analysis [Электронный ресурс] / Bernd Finkbeiner, Geguang Pu, Lijun Zhang. - Электроные текстовые данные. - 1007/978-3-319-24953-7. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-24953-7. - (Lecture Notes in Computer Science). - ISBN 9783319249537

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

Bernd Finkbeiner Automated Technology for Verification and Analysis [Текст : Электронный ресурс] / Bernd Finkbeiner, Geguang Pu, Lijun Zhang, 2015

    SQL Server T-SQL Recipes [Электронный ресурс] / David Dye, Jason Brimhall, Timothy Roberts, Wayne Sheffield, Joseph Sack, Jonathan Gennick. - Электроные текстовые данные. - 1007/978-1-4842-0061-2. - [S. l.] : Apress, 2015. - ( час. мин.), 1007/978-1-4842-0061-2. - ISBN 9781484200612

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

SQL Server T-SQL Recipes [Текст : Электронный ресурс] / David Dye, Jason Brimhall, Timothy Roberts, Wayne Sheffield, Joseph Sack, Jonathan Gennick, 2015

Cesar Lopez
    MATLAB Control Systems Engineering [Электронный ресурс] / Cesar Lopez. - Электроные текстовые данные. - 1007/978-1-4842-0289-0. - [S. l.] : Apress, 2014. - ( час. мин.), 1007/978-1-4842-0289-0. - ISBN 9781484202890

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

Cesar Lopez MATLAB Control Systems Engineering [Текст : Электронный ресурс] / Cesar Lopez, 2014

Bertrand Meyer
    Software Engineering [Электронный ресурс] / Bertrand Meyer, Martin Nordio. - Электроные текстовые данные. - 1007/978-3-319-28406-4. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-28406-4. - (Lecture Notes in Computer Science). - ISBN 9783319284064

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Logics and Meanings of Programs -- Programming Techniques -- Artificial Intelligence (incl. Robotics) -- Management of Computing and Information Systems -- Programming Languages, Compilers, Interpreters -- книги издательства Springer

Bertrand Meyer Software Engineering [Текст : Электронный ресурс] / Bertrand Meyer, Martin Nordio, 2015

Dean C. Wills
    C++ 2013 for C# Developers [Электронный ресурс] / Dean C. Wills. - Электроные текстовые данные. - 1007/978-1-4302-6707-2. - [S. l.] : Apress, 2014. - ( час. мин.), 1007/978-1-4302-6707-2. - ISBN 9781430267072

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

Dean C. Wills C++ 2013 for C# Developers [Текст : Электронный ресурс] / Dean C. Wills, 2014

Cesar Lopez
    MATLAB Symbolic Algebra and Calculus Tools [Электронный ресурс] / Cesar Lopez. - Электроные текстовые данные. - 1007/978-1-4842-0343-9. - [S. l.] : Apress, 2014. - ( час. мин.), 1007/978-1-4842-0343-9. - ISBN 9781484203439

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

Cesar Lopez MATLAB Symbolic Algebra and Calculus Tools [Текст : Электронный ресурс] / Cesar Lopez, 2014

Christiano Braga
    Formal Methods: Foundations and Applications [Электронный ресурс] / Christiano Braga, Narciso Martí-Oliet. - Электроные текстовые данные. - 1007/978-3-319-15075-8. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-15075-8. - (Lecture Notes in Computer Science). - ISBN 9783319150758

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

Christiano Braga Formal Methods: Foundations and Applications [Текст : Электронный ресурс] / Christiano Braga, Narciso Martí-Oliet, 2015

Jacques Garrigue
    Programming Languages and Systems [Электронный ресурс] / Jacques Garrigue. - Электроные текстовые данные. - 1007/978-3-319-12736-1. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-12736-1. - (Lecture Notes in Computer Science). - ISBN 9783319127361

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

Jacques Garrigue Programming Languages and Systems [Текст : Электронный ресурс] / Jacques Garrigue, 2014

Lucas Davi
    Building Secure Defenses Against Code-Reuse Attacks [Электронный ресурс] / Lucas Davi, Ahmad-Reza Sadeghi. - Электроные текстовые данные. - 1007/978-3-319-25546-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-25546-0. - (SpringerBriefs in Computer Science). - ISBN 9783319255460

Кл.слова (ненормированные):
Computer science -- Systems and Data Security -- Programming Techniques -- Programming Languages, Compilers, Interpreters -- Information Systems and Communication Service -- книги издательства Springer

Lucas Davi Building Secure Defenses Against Code-Reuse Attacks [Текст : Электронный ресурс] / Lucas Davi, Ahmad-Reza Sadeghi, 2015

Dragos B. Chirila
    Introduction to Modern Fortran for the Earth System Sciences [Электронный ресурс] / Dragos B. Chirila, Gerrit Lohmann. - Электроные текстовые данные. - 1007/978-3-642-37009-0. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-642-37009-0. - ISBN 9783642370090

Кл.слова (ненормированные):
Earth sciences -- Earth System Sciences -- Programming Languages, Compilers, Interpreters -- Numerical and Computational Physics, Simulation -- Computational Mathematics and Numerical Analysis -- книги издательства Springer

Dragos B. Chirila Introduction to Modern Fortran for the Earth System Sciences [Текст : Электронный ресурс] / Dragos B. Chirila, Gerrit Lohmann, 2015