Rakuten Kobo

Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Modifié par Xavier Rival ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow
... En savoir plus
Computer Safety, Reliability, and Security

35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Modifié par Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification,
... En savoir plus
Interactive C#

Fundamentals, Core Concepts and Patterns

par Vaskaran Sarcar ...

Collections series Professional and Applied Computing (R0)
Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations. ... En savoir plus

$38.99 CAD

Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations.
... En savoir plus
Program Arcade Games

With Python and Pygame

par Paul Craven ...

Collections series Professional and Applied Computing (R0)
Learn and use Python and PyGame to design and build cool arcade games. In Program Arcade Games: With Python and PyGame, Second Edition, Dr. Paul Vincent Craven teaches you how to create fun and simple quiz games; integrate and start using graphics; animate graphics; integrate and use game controllers; add sound and bit-mapped graphics; and build grid-based games.After reading and using this book, ... En savoir plus

$80.99 CAD

Learn and use Python and PyGame to design and build cool arcade games. In Program Arcade Games: With Python and PyGame, Second Edition, Dr. Paul Vincent Craven teaches you how to create fun and simple quiz games; integrate and start using graphics; animate graphics; integrate and use game controllers; add sound and bit-mapped graphics; and build grid-based games.After reading and using this book,
... En savoir plus
Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Modifié par Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from ... En savoir plus

$64.99 CAD

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from
... En savoir plus
Java Journey: From Basics To Mastery

par Oryndalex Varnikar ...

Hey, you. Yes, you. The brave soul holding (or eyeing) this book. Welcome to Java Journey: From Basics to Mastery!I'm Oryndalex Varnikar, your guide, fellow code explorer, and occasionally sarcastic narrator on this wild ride through the glorious jungle that is Java programming. Whether you're a total newbie who thinks "JVM" sounds like a space satellite, or you've dabbled in Java just enough to ... En savoir plus

$41.99 CAD ou Gratuit avec Kobo Plus

Hey, you. Yes, you. The brave soul holding (or eyeing) this book. Welcome to Java Journey: From Basics to Mastery!I'm Oryndalex Varnikar, your guide, fellow code explorer, and occasionally sarcastic narrator on this wild ride through the glorious jungle that is Java programming. Whether you're a total newbie who thinks "JVM" sounds like a space satellite, or you've dabbled in Java just enough to
... En savoir plus
Die ultimative Synology NAS Bibel

mit vielen Insider Tipps und Tricks - komplett in Farbe

par Wolfram Gieseke ...

Die ultimative Synology NAS BibelMit diesem umfassenden Praxisbuch zu NAS-Systemen der bekannten Firma Synology bekommen Sie nicht nur einen tiefen Einblick in das komplette Thema der Network-Attached-Storage-Geräte, sondern einen Ratgeber mit vielen Tipps, Tricks und praktischen Hinweisen. Sie erfahren alles von der Kaufberatung über die Installation bis zur Nutzung als Musikarchiv, Fotospeicher, ... En savoir plus

$21.99 CAD ou Gratuit avec Kobo Plus

Die ultimative Synology NAS BibelMit diesem umfassenden Praxisbuch zu NAS-Systemen der bekannten Firma Synology bekommen Sie nicht nur einen tiefen Einblick in das komplette Thema der Network-Attached-Storage-Geräte, sondern einen Ratgeber mit vielen Tipps, Tricks und praktischen Hinweisen. Sie erfahren alles von der Kaufberatung über die Installation bis zur Nutzung als Musikarchiv, Fotospeicher,
... En savoir plus
C Programs To Become Expert In Programming

par Shubham Yadav ...

in this book you can learn all types of c programs, so can practice more and more example . ... En savoir plus

$9.99 CAD ou Gratuit avec Kobo Plus

in this book you can learn all types of c programs, so can practice more and more example .
... En savoir plus
JavaScript Essentials for SAP ABAP Developers

A Guide to Mobile and Desktop Application Development

par Rehan Zaidi ...

Collections series Professional and Applied Computing (R0)
Easily master JavaScript (JS) with this quick guide and develop mobile and desktop applications for SAP Fiori. This book equips ABAP/SAP developers with the essential topics to get started with JS.The focus of JavaScript Essentials for SAP ABAP Developers is on the parts of the JS language that are useful from the perspective of an ABAP developer. The book starts with a brief intro to HTML, the ... En savoir plus

$44.99 CAD

Easily master JavaScript (JS) with this quick guide and develop mobile and desktop applications for SAP Fiori. This book equips ABAP/SAP developers with the essential topics to get started with JS.The focus of JavaScript Essentials for SAP ABAP Developers is on the parts of the JS language that are useful from the perspective of an ABAP developer. The book starts with a brief intro to HTML, the
... En savoir plus
PROGRAMMARE IN C# 10 - Tecniche di base

par Mario De Ghetto ...

Vuoi imparare le tecniche di base per programmare in C# 10 e acquisire un livello di conoscenza sufficiente per iniziare a creare le tue applicazioni? Vuoi conoscere come funzionano .NET 6.0, il compilatore, il Garbage Collector e Visual Studio 2022? Vuoi iniziare a porre le basi per la tua nuova professione nel campo dello sviluppo del software? Oppure semplicemente devi superare degli esami ... En savoir plus

$14.99 CAD ou Gratuit avec Kobo Plus

Vuoi imparare le tecniche di base per programmare in C# 10 e acquisire un livello di conoscenza sufficiente per iniziare a creare le tue applicazioni? Vuoi conoscere come funzionano .NET 6.0, il compilatore, il Garbage Collector e Visual Studio 2022? Vuoi iniziare a porre le basi per la tua nuova professione nel campo dello sviluppo del software? Oppure semplicemente devi superare degli esami
... En savoir plus
Beginning SQL Server R Services

Analytics for Data Scientists

par Bradley Beard ...

Collections series Professional and Applied Computing (R0)
Learn how to develop powerful data analytics applications quickly for SQL Server database administrators and developers. Organizations will be able to sift data and derive the business intelligence needed to drive business decisions and profit. The addition of R to SQL Server 2016 places a powerful analytical processor into an environment most developers are already comfortable with – Visual ... En savoir plus

$44.99 CAD

Learn how to develop powerful data analytics applications quickly for SQL Server database administrators and developers. Organizations will be able to sift data and derive the business intelligence needed to drive business decisions and profit. The addition of R to SQL Server 2016 places a powerful analytical processor into an environment most developers are already comfortable with – Visual
... En savoir plus
A Pipelined Multi-core MIPS Machine

Hardware Implementation and Correctness Proof

par Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul ...

Collections series Computer Science (R0)
This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core ... En savoir plus

$64.99 CAD

This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core
... En savoir plus
Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Modifié par Andrei Paskevich, Thomas Wies ...

Collections series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... En savoir plus

$64.99 CAD

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory
... En savoir plus
Programming Languages

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Modifié par Alberto Pardo, S. Doaitse Swierstra ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. ... En savoir plus

$51.99 CAD

This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
... En savoir plus
Advanced Python Development

Using Powerful Language Features in Real-World Applications

par Matthew Wilkes ...

Collections series Professional and Applied Computing (R0)
This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... En savoir plus

$68.99 CAD

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... En savoir plus
Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Modifié par Shang-Wei Lin, Zhe Hou, Brendan Mahony ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together
... En savoir plus
Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Modifié par Maurice H. ter Beek, Dejan Ničković ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions.
... En savoir plus
Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Modifié par Jeremy Avigad, Assia Mahboubi ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... En savoir plus

$115.99 CAD

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... En savoir plus
Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

Modifié par Chung-Kil Hur ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type ... En savoir plus

$77.99 CAD

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type
... En savoir plus
Coordination Models and Languages

19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Modifié par Jean-Marie Jacquet, Mieke Massink ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers
... En savoir plus
Scaling OpenMP for Exascale Performance and Portability

13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Modifié par Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking;
... En savoir plus
asyncio Recipes

A Problem-Solution Approach

par Mohamed Mustapha Tahrioui ...

Collections series Professional and Applied Computing (R0)
Get the most out of asyncio and find solutions to your most troubling Python programming problems. This book offers a pragmatic collection of recipes by going beyond online resources and docs to provide guidance on using this complex library. As such, you’ll see how to improve application performance and run computationally intensive programs faster.asyncio Recipes starts with examples ... En savoir plus

$44.99 CAD

Get the most out of asyncio and find solutions to your most troubling Python programming problems. This book offers a pragmatic collection of recipes by going beyond online resources and docs to provide guidance on using this complex library. As such, you’ll see how to improve application performance and run computationally intensive programs faster.asyncio Recipes starts with examples
... En savoir plus
Java XML and JSON

par JEFF FRIESEN ...

Collections series Professional and Applied Computing (R0)
Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select ... En savoir plus

$44.99 CAD

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select
... En savoir plus
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

par Mikael Olsson ...

Collections Livre 7 - Professional and Applied Computing (R0)
This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... En savoir plus

$32.99 CAD

This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code
... 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 :