Rakuten Kobo

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Modifié par Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and
... En savoir plus
Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Modifié par Giovanna Di Marzo Serugendo, Michele Loreti ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide
... 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

$95.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
Introducing Materialize

par Anirudh Prabhu, Aravind Shenoy ...

Collections series Professional and Applied Computing (R0)
This concise step-by-step guide includes the best practices and patterns that help readers of all levels to unearth the potential of Materialize. A responsive framework based on Google’s innovative Material Design language, Materialize provides CSS and JavaScript features similar to other popular frameworks such as Bootstrap and Foundation.With the advent of Material Design, developers can no ... En savoir plus

$32.99 CAD

This concise step-by-step guide includes the best practices and patterns that help readers of all levels to unearth the potential of Materialize. A responsive framework based on Google’s innovative Material Design language, Materialize provides CSS and JavaScript features similar to other popular frameworks such as Bootstrap and Foundation.With the advent of Material Design, developers can no
... En savoir plus
Beginning Ring Programming

From Novice to Professional

par Mansour Ayouni ...

Collections series Professional and Applied Computing (R0)
Gain a gentle introduction to the world of Ring programming with clarity as a first concern using a lot of practical examples. The first part lays the foundations of the language and its basic features (data types, control structures, functions, and classes). The unique way to rigorously structure Ring programs is also explained.Then, in the second part you’ll discover Ring inputs, outputs, and ... En savoir plus

$80.99 CAD

Gain a gentle introduction to the world of Ring programming with clarity as a first concern using a lot of practical examples. The first part lays the foundations of the language and its basic features (data types, control structures, functions, and classes). The unique way to rigorously structure Ring programs is also explained.Then, in the second part you’ll discover Ring inputs, outputs, and
... En savoir plus
Start with Azure: Learn It Fast, Build It Right

par Kameron Hussain, Frahaan Hussain ...

Master Microsoft Azure from the ground up with this comprehensive, fast-track guide to building cloud solutions the right way.Whether you're a student, aspiring cloud engineer, or an IT professional transitioning to Azure, Start with Azure: Learn It Fast, Build It Right delivers a clear, hands-on roadmap to mastering Microsoft's powerful cloud platform. This book strips away the fluff and gets ... En savoir plus

$13.99 CAD ou Gratuit avec Kobo Plus

Master Microsoft Azure from the ground up with this comprehensive, fast-track guide to building cloud solutions the right way.Whether you're a student, aspiring cloud engineer, or an IT professional transitioning to Azure, Start with Azure: Learn It Fast, Build It Right delivers a clear, hands-on roadmap to mastering Microsoft's powerful cloud platform. This book strips away the fluff and gets
... En savoir plus
Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Modifié par Yliès Falcone, César Sánchez ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of
... En savoir plus
Symantec Certification

Find out how to pass Symantec exams and get certifications focusing only on the exam tests. Real Practice Test With Detailed Screenshots, Answers And Explanations

par David Mayer ...

Are you preparing for Symantec certifications and looking for the most comprehensive guide in the industry?If you answered "yes" to this question, then this is the perfect educational and informative book for you!Hi. Welcome to "Symantec Exam Study Guide All in One."This study guide provides the student with all the skills needed to pass the Symantec Certification exam. Join over 50,000 I.T. ... En savoir plus

$14.99 CAD ou Gratuit avec Kobo Plus

Are you preparing for Symantec certifications and looking for the most comprehensive guide in the industry?If you answered "yes" to this question, then this is the perfect educational and informative book for you!Hi. Welcome to "Symantec Exam Study Guide All in One."This study guide provides the student with all the skills needed to pass the Symantec Certification exam. Join over 50,000 I.T.
... En savoir plus
Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Modifié par Andy King, Oleg Kiselyov ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of ... En savoir plus

$60.99 CAD

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of
... En savoir plus
C++ 14 Quick Syntax Reference

Second Edition

par Mikael Olsson ...

Collections series Professional and Applied Computing (R0)
This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a ... En savoir plus

$32.99 CAD

This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a
... En savoir plus
Learn coding with Python and JavaScript

A practical introduction for beginners

par Joachim L. Zuckarelli ...

Collections series Computer Science (R0)
Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how do programs work? And how do you develop them? This book teaches you the basics of programming. Using everyday examples, you will first learn the ... En savoir plus

$76.99 CAD

Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how do programs work? And how do you develop them? This book teaches you the basics of programming. Using everyday examples, you will first learn the
... En savoir plus
Scale Smart: Azure Architecture Essentials

par Kameron Hussain, Frahaan Hussain ...

Scale Smart: Azure Architecture Essentials is your definitive guide to building robust, scalable, and secure cloud solutions using Microsoft Azure. Whether you're an IT professional, solutions architect, or a developer stepping into the world of cloud architecture, this book equips you with the foundational principles and practical techniques to design systems that scale intelligently and ... En savoir plus

$13.99 CAD ou Gratuit avec Kobo Plus

Scale Smart: Azure Architecture Essentials is your definitive guide to building robust, scalable, and secure cloud solutions using Microsoft Azure. Whether you're an IT professional, solutions architect, or a developer stepping into the world of cloud architecture, this book equips you with the foundational principles and practical techniques to design systems that scale intelligently and
... En savoir plus
Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... En savoir plus

$64.99 CAD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... En savoir plus
The Definitive ANTLR 4 Reference

par Terence Parr ...

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on ... En savoir plus

$34.99 CAD

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on
... En savoir plus
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Modifié par Alexander Romanovsky, Elena A. Troubitsyna ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... En savoir plus
Distributed Virtual Worlds

Foundations and Implementation Techniques Using VRML, Java, and CORBA

par Stephan Diehl ...

Collections series Computer Science (R0)
Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet ... En savoir plus

$64.99 CAD

Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet
... En savoir plus
Moderne C-Programmierung

Kompendium und Referenz

par Helmut Schellong ...

Collections series Computer Science and Engineering (German Language)
Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der ... En savoir plus

$47.99 CAD

Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der
... En savoir plus
Software Technologies

12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Modifié par Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and
... En savoir plus
Perspectives of System Informatics

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Modifié par Manuel Mazzara, Andrei Voronkov ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis,
... En savoir plus
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Modifié par Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Collections series Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... En savoir plus

$115.99 CAD

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... En savoir plus
Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Modifié par Cyrille Artho, Axel Legay, Doron Peled ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems,
... En savoir plus
Selenium WebDriver Recipes in C#

Second Edition

par Zhimin Zhan ...

Collections series Professional and Applied Computing (R0)
Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for ... En savoir plus

$68.99 CAD

Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for
... En savoir plus
Explainable and Transparent AI and Multi-Agent Systems

6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

Modifié par Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling ...

Collections series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024.The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical ... En savoir plus

$83.99 CAD

This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024.The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical
... En savoir plus
Mastery in Azure DevOps: Navigating the Future of Software Development

par Kameron Hussain, Frahaan Hussain ...

Dive into the transformative world of Azure DevOps and unlock the full potential of software development with "Mastery in Azure DevOps: Navigating the Future of Software Development." This comprehensive guide is designed for professionals and enthusiasts alike, offering deep insights into the practices that drive efficiency, innovation, and success in the digital age.With "Mastery in Azure DevOps, ... En savoir plus

$13.99 CAD ou Gratuit avec Kobo Plus

Dive into the transformative world of Azure DevOps and unlock the full potential of software development with "Mastery in Azure DevOps: Navigating the Future of Software Development." This comprehensive guide is designed for professionals and enthusiasts alike, offering deep insights into the practices that drive efficiency, innovation, and success in the digital age.With "Mastery in Azure DevOps,
... 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 :