Rakuten Kobo

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Modifié par Wolfgang Ahrendt, Heike Wehrheim ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in
... En savoir plus
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Modifié par Erika Ábrahám, Marieke Huisman ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... En savoir plus

$102.99 CAD

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and
... En savoir plus
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide

A Comprehensive OCPJP 8 Certification Guide

par Hari Kiran Kumar, Tushar Sharma, SG Ganesh ...

Collections series Professional and Applied Computing (R0)
This book is a comprehensive, step-by-step and one-stop guide for the Java SE 8 Programmer II exam (IZ0-809). Salient features of this book include: 100% coverage of the exam topics, a full-length mock exam, practice exam questions, exam notes and tips.Oracle Certified Professional Java SE 8 Programmer II Guide (Exam IZ0-809) is a comprehensive guide for the OCPJP 8 exam.The book starts by ... En savoir plus

$96.99 CAD

This book is a comprehensive, step-by-step and one-stop guide for the Java SE 8 Programmer II exam (IZ0-809). Salient features of this book include: 100% coverage of the exam topics, a full-length mock exam, practice exam questions, exam notes and tips.Oracle Certified Professional Java SE 8 Programmer II Guide (Exam IZ0-809) is a comprehensive guide for the OCPJP 8 exam.The book starts by
... En savoir plus
CODING INTERVIEW

A Beginner's Guide to Learn and Study the Theories and Principles of Coding and Perform Well in the Coding Interview

par Eric Schmidt ...

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your ... En savoir plus

$6.99 CAD

Coding interviews have changed over the years, and the expectations are now firmer than ever. Interviewers not only want to assess your programming skills but also want to assess your behavior during the interview. It is important to develop the right practices and attitude before you go for the interview. You need to display the right skills so the interviewer can hire you without a doubt. Your
... En savoir plus
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Modifié par Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... En savoir plus

$73.99 CAD

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and
... En savoir plus
Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Modifié par Kim Guldstrand Larsen, Tim Willemse ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University),
... En savoir plus
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Modifié par Anne Remke, Boudewijn R. Haverkort ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of
... En savoir plus
Languages and Compilers for Parallel Computing

32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers

Modifié par Santosh Pande, Vivek Sarkar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for
... En savoir plus
Learning Java with Games

par Chong-wei Xu ...

Collections series Computer Science (R0)
This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does ... En savoir plus

$83.99 CAD

This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does
... En savoir plus
SDL 2017: Model-Driven Engineering for Future Internet

18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

Modifié par Gábor Kovács, György Réthy, Tibor Csöndes ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL
... En savoir plus
Java XML and JSON

Document Processing for Java SE

par Jeff Friesen ...

Collections series Professional and Applied Computing (R0)
Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of ... En savoir plus

$96.99 CAD

Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of
... En savoir plus
Building REST APIs with Flask

Create Python Web Services with MySQL

par Kunal Relan ...

Collections series Professional and Applied Computing (R0)
Develop RESTful web services using the Flask micro-framework and integrate them using MySQL. Use Flask to develop, deploy, and manage REST APIs with easy-to-read and understand Python code. Solve your problem from a choice of libraries. Learn to use MySQL as the web services database for your Flask API using SQLAlchemy ORM.Building REST APIs with Flask provides a primer on Flask, RESTful services, ... En savoir plus

$68.99 CAD

Develop RESTful web services using the Flask micro-framework and integrate them using MySQL. Use Flask to develop, deploy, and manage REST APIs with easy-to-read and understand Python code. Solve your problem from a choice of libraries. Learn to use MySQL as the web services database for your Flask API using SQLAlchemy ORM.Building REST APIs with Flask provides a primer on Flask, RESTful services,
... En savoir plus
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Modifié par Jonathan P. Bowen, Huibiao Zhu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of
... En savoir plus
Software Engineering: Specification, Implementation, Verification

par Suad Alagić ...

Collections series Computer Science (R0)
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is ... En savoir plus

$89.99 CAD

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is
... En savoir plus
Advanced Parallel Processing Technologies

11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

Modifié par Yunji Chen, Paolo Ienne, Qing Ji ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms ... En savoir plus

$51.99 CAD

This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms
... En savoir plus
The DSSSL Book

An XML/SGML Programming Language

par Javier Farreres ...

Collections series Computer Science (R0)
DSSSL (Document Style Semantics and Specification Language) is an ISO standard (ISO/IEC 10179: 1996) published in the year 1996. DSSSL is a standard of the SGML family (Standard Generalized Markup Language, ISO 8879:1986), whose aim is to establish a processing model for SGML documents. For a good understanding of the SGML standard, many books exist including Author's guide[BryanI988] and The SGML ... En savoir plus

$179.99 CAD

DSSSL (Document Style Semantics and Specification Language) is an ISO standard (ISO/IEC 10179: 1996) published in the year 1996. DSSSL is a standard of the SGML family (Standard Generalized Markup Language, ISO 8879:1986), whose aim is to establish a processing model for SGML documents. For a good understanding of the SGML standard, many books exist including Author's guide[BryanI988] and The SGML
... En savoir plus
Pivotal Certified Professional Core Spring 5 Developer Exam

A Study Guide Using Spring Framework 5

par Iuliana Cosmina ...

Collections series Professional and Applied Computing (R0)
Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring ... En savoir plus

$120.99 CAD

Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring
... En savoir plus
Diagrammatic Representation and Inference

15th International Conference, Diagrams 2026, Tallinn, Estonia, August 25–28, 2026, Proceedings

Modifié par Paweł Sobociński, Francesco Bellucci, Amirouche Moktefi, Dave Beisecker, Atsushi Shimojima, Erica de Vries, Reetu Bhattacharjee ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on the Theory and Application of Diagrams, Diagrams 2026, held in Tallinn, Estonia, during August 25–28, 2026.The 14 full papers, 20 short papers and 9 posters included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Logical Diagrams; ... En savoir plus

$102.99 CAD

This book constitutes the refereed proceedings of the 15th International Conference on the Theory and Application of Diagrams, Diagrams 2026, held in Tallinn, Estonia, during August 25–28, 2026.The 14 full papers, 20 short papers and 9 posters included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Logical Diagrams;
... En savoir plus
Introduction to Compiler Construction in a Java World

par Bill Campbell, Swami Iyer, Bahar Akbal-Delibas ...

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how ... En savoir plus

$187.99 CAD

Immersing students in Java and the JVM, this text enables a deep understanding of the Java programming language and its implementation. It focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how
... En savoir plus
Practical C++ Design

From Programming to Architecture

par Adam B. Singer ...

Collections series Professional and Applied Computing (R0)
Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting ... En savoir plus

$56.99 CAD

Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting
... En savoir plus
Options and Derivatives Programming in C++

Algorithms and Programming Techniques for the Financial Industry

par CARLOS OLIVEIRA ...

Collections series Professional and Applied Computing (R0)
Learn how C++ is used in the development of solutions for options and derivatives trading in the financial industry. As an important part of the financial industry, options and derivatives trading has become increasingly sophisticated. Advanced trading techniques using financial derivatives have been used at banks, hedge funds, and pension funds. Because of stringent performance characteristics, ... En savoir plus

$68.99 CAD

Learn how C++ is used in the development of solutions for options and derivatives trading in the financial industry. As an important part of the financial industry, options and derivatives trading has become increasingly sophisticated. Advanced trading techniques using financial derivatives have been used at banks, hedge funds, and pension funds. Because of stringent performance characteristics,
... En savoir plus
Trends in Functional Programming

21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Modifié par Aleksander Byrski, John Hughes ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; ... En savoir plus

$64.99 CAD

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing;
... En savoir plus
Machine Learning with R

par Abhijit Ghatak ...

Collections series Computer Science (R0)
This book helps readers understand the mathematics of machine learning, and apply them in different situations. It is divided into two basic parts, the first of which introduces readers to the theory of linear algebra, probability, and data distributions and it’s applications to machine learning. It also includes a detailed introduction to the concepts and constraints of machine learning and what ... En savoir plus

$73.99 CAD

This book helps readers understand the mathematics of machine learning, and apply them in different situations. It is divided into two basic parts, the first of which introduces readers to the theory of linear algebra, probability, and data distributions and it’s applications to machine learning. It also includes a detailed introduction to the concepts and constraints of machine learning and what
... En savoir plus
Specification of Software Systems

par V.S. Alagar, K. Periyasamy ...

Collections series Computer Science (R0)
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal ... En savoir plus

$64.99 CAD

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Compilateurs

Afficher :