Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

Tests and Proofs

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

Redigeret af Wolfgang Ahrendt, Heike Wehrheim ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Java üben mit dem Plotter

Ein Überblick für Studierende und Einsteiger

af Stephan Euler ...

Serier serie Computer Science and Engineering (German Language)
Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe ... Læs mere

43,53 kr.

Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe
... Læs mere
Formal Methods and Software Engineering

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

Redigeret af Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
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

Redigeret af Giovanna Di Marzo Serugendo, Michele Loreti ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide

A Comprehensive OCPJP 8 Certification Guide

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

Serier serie 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 ... Læs mere

698,35 kr.

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
... Læs mere
Introducing Materialize

af Anirudh Prabhu, Aravind Shenoy ...

Serier serie 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 ... Læs mere

235,58 kr.

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
... Læs mere
Essential TypeScript

From Beginner to Pro

af Adam Freeman ...

Serier serie Professional and Applied Computing (R0)
Work with Typescript and get the most from this versatile open source language. Author Adam Freeman begins this book by describing Typescript and the benefits it offers, and goes on to show you how to use TypeScript in realistic scenarios, going in-depth to give you the knowledge you need.Starting from the nuts-and-bolts and building up to the most advanced and sophisticated features, you will ... Læs mere

497,51 kr.

Work with Typescript and get the most from this versatile open source language. Author Adam Freeman begins this book by describing Typescript and the benefits it offers, and goes on to show you how to use TypeScript in realistic scenarios, going in-depth to give you the knowledge you need.Starting from the nuts-and-bolts and building up to the most advanced and sophisticated features, you will
... Læs mere
Beginning Ring Programming

From Novice to Professional

af Mansour Ayouni ...

Serier serie 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 ... Læs mere

584,85 kr.

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
... Læs mere
Start with Azure: Learn It Fast, Build It Right

af 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 ... Læs mere

64,08 kr. eller Gratis med 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
... Læs mere
Runtime Verification

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

Redigeret af Yliès Falcone, César Sánchez ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
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

af 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. ... Læs mere

96,15 kr. eller Gratis med 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.
... Læs mere
Functional and Logic Programming

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

Redigeret af Andy King, Oleg Kiselyov ...

Serier serie 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 ... Læs mere

438,94 kr.

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
... Læs mere
C++ 14 Quick Syntax Reference

Second Edition

af Mikael Olsson ...

Serier serie 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 ... Læs mere

235,58 kr.

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
... Læs mere
Learn coding with Python and JavaScript

A practical introduction for beginners

af Joachim L. Zuckarelli ...

Serier serie 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 ... Læs mere

560,38 kr.

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
... Læs mere
Scale Smart: Azure Architecture Essentials

af 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 ... Læs mere

64,08 kr. eller Gratis med 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
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation. Verification

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

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 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 ... Læs mere

466,97 kr.

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
... Læs mere
Pro MERN Stack

Full Stack Web App Development with Mongo, Express, React, and Node

af Vasan Subramanian ...

Serier serie Professional and Applied Computing (R0)
Assemble the complete stack required to build a modern web app using MongoDB, Express, React, and Node. This book also covers many other complementary tools: React Router, GraphQL, React-Bootstrap, Babel, and Webpack. This new edition will use the latest version of React (React 16) and the latest React Router (React Router 4), which has a significantly different approach to routing compared to ... Læs mere

497,51 kr.

Assemble the complete stack required to build a modern web app using MongoDB, Express, React, and Node. This book also covers many other complementary tools: React Router, GraphQL, React-Bootstrap, Babel, and Webpack. This new edition will use the latest version of React (React 16) and the latest React Router (React Router 4), which has a significantly different approach to routing compared to
... Læs mere
Software Engineering for Resilient Systems

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

Redigeret af Alexander Romanovsky, Elena A. Troubitsyna ...

Serier serie 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, ... Læs mere

466,97 kr.

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,
... Læs mere
Distributed Virtual Worlds

Foundations and Implementation Techniques Using VRML, Java, and CORBA

af Stephan Diehl ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Moderne C-Programmierung

Kompendium und Referenz

af Helmut Schellong ...

Serier serie 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 ... Læs mere

349,08 kr.

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
... Læs mere
Software Technologies

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

Redigeret af Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
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

Redigeret af Manuel Mazzara, Andrei Voronkov ...

Serier serie 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, ... Læs mere

466,97 kr.

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,
... Læs mere
FME 2003: Formal Methods

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

Redigeret af Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Serier serie 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 ... Læs mere

840,61 kr.

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
... Læs mere
Automated Technology for Verification and Analysis

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

Redigeret af Cyrille Artho, Axel Legay, Doron Peled ...

Serier serie 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, ... Læs mere

466,97 kr.

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,
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

Tests and Proofs

Java üben mit dem Plotter

Formal Methods and Software Engineering

Coordination Models and Languages

Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide

Introducing Materialize

Essential TypeScript

Beginning Ring Programming

Start with Azure: Learn It Fast, Build It Right

Runtime Verification

Symantec Certification

Functional and Logic Programming

C++ 14 Quick Syntax Reference

Learn coding with Python and JavaScript

Scale Smart: Azure Architecture Essentials

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Pro MERN Stack

Software Engineering for Resilient Systems

Distributed Virtual Worlds

Moderne C-Programmierung

Software Technologies

Perspectives of System Informatics

FME 2003: Formal Methods

Automated Technology for Verification and Analysis