Rakuten Kobo

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Modifié par Cláudia Nalon, Renate A. Schmidt ...

Collections series Springer Nature Proceedings Computer Science
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure ... En savoir plus

$83.29 CAD

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure
... En savoir plus
Beginning Programming Using Retro Computing

Learn BASIC with a Commodore Emulator

par Gerald Friedland ...

Collections series Professional and Applied Computing (R0)
Learn programming using the Commodore 16/Plus 4 system. Following this book, you and your children will not only learn BASIC programming, but also have fun emulating a retro Commodore system. There are many ways to bring the fun of learning to program in the 1980s back to life. For example, downloading the VICE emulator to a Raspberry Pi allows for the classic “turn on and program” experience and ... En savoir plus

$32.39 CAD

Learn programming using the Commodore 16/Plus 4 system. Following this book, you and your children will not only learn BASIC programming, but also have fun emulating a retro Commodore system. There are many ways to bring the fun of learning to program in the 1980s back to life. For example, downloading the VICE emulator to a Raspberry Pi allows for the classic “turn on and program” experience and
... En savoir plus
The R Software

Fundamentals of Programming and Statistical Analysis

par Pierre Lafaye de Micheaux, Rémy Drouilhet, Benoit Liquet ...

Collections series Mathematics and Statistics (R0)
The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use. Besides its application as a self-learning text, this book can support lectures on R at any level from beginner to advanced. This book can serve as a textbook on R for beginners as well as more advanced users, working on Windows, MacOs or Linux OSes. The first part of the book deals with the ... En savoir plus

$230.59 CAD

The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use. Besides its application as a self-learning text, this book can support lectures on R at any level from beginner to advanced. This book can serve as a textbook on R for beginners as well as more advanced users, working on Windows, MacOs or Linux OSes. The first part of the book deals with the
... En savoir plus
Nichtsequentielle und Verteilte Programmierung mit Go

Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz

par Christian Maurer ...

Collections series Computer Science and Engineering (German Language)
Dieses Buch führt in die Nichtsequentielle und Verteilte Programmierung mit Go ein und stellt grundlegende Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse systematisch dar. Dazu zählen unter anderem Schlösser, Semaphore, Fairness und Verklemmungen, Monitore sowie der lokale und netzweite Botschaftenaustausch. Um Lesern die Konzepte nahezubringen, greift der Autor immer wieder ... En savoir plus

$23.99 CAD

Dieses Buch führt in die Nichtsequentielle und Verteilte Programmierung mit Go ein und stellt grundlegende Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse systematisch dar. Dazu zählen unter anderem Schlösser, Semaphore, Fairness und Verklemmungen, Monitore sowie der lokale und netzweite Botschaftenaustausch. Um Lesern die Konzepte nahezubringen, greift der Autor immer wieder
... En savoir plus
Java lernen in abgeschlossenen Lerneinheiten

Der Einstieg in die Programmierung mit vielen Beispielen

par Sebastian Dörn ...

Collections series Computer Science and Engineering (German Language)
Dieses Lehrbuch bringt Einsteiger anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen und versetzt die Leser dadurch in die Lage, algorithmische Konzepte zu verstehen und in Programmcode umzusetzen.Zentrale Lernziele sind das Verstehen der Abstraktionskonzepte moderner Programmiersprachen und das Erlernen ... En savoir plus

$32.39 CAD

Dieses Lehrbuch bringt Einsteiger anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen und versetzt die Leser dadurch in die Lage, algorithmische Konzepte zu verstehen und in Programmcode umzusetzen.Zentrale Lernziele sind das Verstehen der Abstraktionskonzepte moderner Programmiersprachen und das Erlernen
... En savoir plus
Guide to Programming and Algorithms Using R

par Özgür Ergül ...

Collections series Computer Science (R0)
This easy-to-follow textbook provides a student-friendly introduction to programming and algorithms. Emphasis is placed on the threshold concepts that present barriers to learning, including the questions that students are often too embarrassed to ask. The book promotes an active learning style in which a deeper understanding is gained from evaluating, questioning, and discussing the material, and ... En savoir plus

$64.09 CAD

This easy-to-follow textbook provides a student-friendly introduction to programming and algorithms. Emphasis is placed on the threshold concepts that present barriers to learning, including the questions that students are often too embarrassed to ask. The book promotes an active learning style in which a deeper understanding is gained from evaluating, questioning, and discussing the material, and
... En savoir plus
Programming Smalltalk – Object-Orientation from the Beginning

An introduction to the principles of programming

par Johannes Brauer ...

Collections series Computer Science (R0)
A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to ... En savoir plus

$70.49 CAD

A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to
... En savoir plus
Guide to Scientific Computing in C++

par Joe Pitt-Francis, Jonathan Whiteley ...

Collections series Computer Science (R0)
This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a ... En savoir plus

$64.09 CAD

This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a
... En savoir plus
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Modifié par Falk Howar, Jiří Barnat ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in
... En savoir plus
Beginning EJB in Java EE 8

Building Applications with Enterprise JavaBeans

par Jonathan Wetherbee, Massimo Nardone, Chirag Rathod, Raghu Kodali ...

Collections series Professional and Applied Computing (R0)
Build powerful back-end business logic and complex Enterprise JavaBeans (EJB)-based applications using Java EE 8, Eclipse Enterprise for Java (EE4J), Web Tools Project (WTP), and the Microprofile platform. Targeted at Java and Java EE developers, with or without prior EJB experience, this book is packed with practical insights, strategy tips, and code examples. As each chapter unfolds, you'll see ... En savoir plus

$107.79 CAD

Build powerful back-end business logic and complex Enterprise JavaBeans (EJB)-based applications using Java EE 8, Eclipse Enterprise for Java (EE4J), Web Tools Project (WTP), and the Microprofile platform. Targeted at Java and Java EE developers, with or without prior EJB experience, this book is packed with practical insights, strategy tips, and code examples. As each chapter unfolds, you'll see
... En savoir plus
Introducing Zurb Foundation 6

par Aravind Shenoy ...

Collections series Professional and Applied Computing (R0)
Introducing Zurb Foundation 6 is your easy-to-digest brief introduction to this exciting technology for building responsive and mobile-first websites. Using this book, you'll understand the basics of the latest iteration which comes with new and exciting features. You will understand how to incorporate Foundation into your HTML file and the various options you have, including typography, utility ... En savoir plus

$47.89 CAD

Introducing Zurb Foundation 6 is your easy-to-digest brief introduction to this exciting technology for building responsive and mobile-first websites. Using this book, you'll understand the basics of the latest iteration which comes with new and exciting features. You will understand how to incorporate Foundation into your HTML file and the various options you have, including typography, utility
... En savoir plus
Microprogrammed State Machine Design

par Michel A. Lynch ...

Microprogrammed State Machine Design is a digital computer architecture text that builds systematically from basic concepts to complex state-machine design. It provides practical techniques and alternatives for designing solutions to data processing problems both in commerce and in research purposes. It offers an excellent introduction to the tools and elements of design used in microprogrammed ... En savoir plus

$384.77 CAD

Microprogrammed State Machine Design is a digital computer architecture text that builds systematically from basic concepts to complex state-machine design. It provides practical techniques and alternatives for designing solutions to data processing problems both in commerce and in research purposes. It offers an excellent introduction to the tools and elements of design used in microprogrammed
... En savoir plus
Python Mini Manual

par CodeCraft Dynamics ...

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with ... En savoir plus

$4.99 CAD ou Gratuit avec Kobo Plus

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with
... En savoir plus
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Selected Contributions on Specification, Design, and Verification from FDL 2009

Modifié par Dominique Borrione ...

Collections series Engineering (R0)
More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on ... En savoir plus

$179.39 CAD

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on
... En savoir plus
Scala for Java Developers

A Practical Primer

par Toby Weston ...

Collections series Professional and Applied Computing (R0)
Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a ... En savoir plus

$41.89 CAD

Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a
... En savoir plus
iOS Code Testing

Test-Driven Development and Behavior-Driven Development with Swift

par Abhishek Mishra ...

Collections series Professional and Applied Computing (R0)
Put into motion practical examples to master Test-Driven Development (TDD) and acceptance testing in Swift.This book uses a pragmatic approach to writing well-tested code and provides techniques that can be used to retrofit tests to legacy code bases. You'll be introduced to basic principles of TDD, such as Test First, Red-Green-Refactor, Remove Duplicate code, Dependency Injection, and Single ... En savoir plus

$75.49 CAD

Put into motion practical examples to master Test-Driven Development (TDD) and acceptance testing in Swift.This book uses a pragmatic approach to writing well-tested code and provides techniques that can be used to retrofit tests to legacy code bases. You'll be introduced to basic principles of TDD, such as Test First, Red-Green-Refactor, Remove Duplicate code, Dependency Injection, and Single
... En savoir plus
Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Modifié par Brijesh Dongol, Luigia Petre, Graeme Smith ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures;
... En savoir plus
Migrating from Drupal to Backdrop

par Todd Tomlinson ...

Collections series Professional and Applied Computing (R0)
Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested in ... En savoir plus

$38.49 CAD

Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested in
... En savoir plus
Datenbanken und SQL

Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL

par Edwin Schicker ...

Collections series Computer Science and Engineering (German Language)
Ziel dieses Buches ist es, dem Leser fundierte Grundkenntnisse in Datenbanken und SQL zu vermitteln. Zahlreiche Zusammenfassungen und Übungsaufgaben zu jedem Kapitel dienen der Vertiefung des Stoffes und erhöhen den Lernerfolg. Die Schwerpunkte des Buches sind relationale Datenbanken, Entwurf von Datenbanken, die Programmiersprache SQL und der Zugriff auf Datenbanken mittels der Sprache PHP. Aber ... En savoir plus

$24.79 CAD

Ziel dieses Buches ist es, dem Leser fundierte Grundkenntnisse in Datenbanken und SQL zu vermitteln. Zahlreiche Zusammenfassungen und Übungsaufgaben zu jedem Kapitel dienen der Vertiefung des Stoffes und erhöhen den Lernerfolg. Die Schwerpunkte des Buches sind relationale Datenbanken, Entwurf von Datenbanken, die Programmiersprache SQL und der Zugriff auf Datenbanken mittels der Sprache PHP. Aber
... En savoir plus
Accelerator Programming Using Directives

4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Modifié par Sunita Chandrasekaran, Guido Juckeland ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... En savoir plus

$51.29 CAD

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... En savoir plus
Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Modifié par Supratik Chakraborty, Jorge A. Navas ...

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

$64.09 CAD

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory
... En savoir plus
Practical MATLAB Modeling with Simulink

Programming and Simulating Ordinary and Partial Differential Equations

par Sulaymon L. Eshkabilov ...

Collections series Professional and Applied Computing (R0)
Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulations and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling of more difficult ... En savoir plus

$80.19 CAD

Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulations and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling of more difficult
... En savoir plus
Practical MATLAB Deep Learning

A Project-Based Approach

par Michael Paluszek, Stephanie Thomas ...

Collections series Professional and Applied Computing (R0)
Harness the power of MATLAB for deep-learning challenges. This book provides an introduction to deep learning and using MATLAB's deep-learning toolboxes. You’ll see how these toolboxes provide the complete set of functions needed to implement all aspects of deep learning.Along the way, you'll learn to model complex systems, including the stock market, natural language, and angles-only orbit ... En savoir plus

$44.29 CAD

Harness the power of MATLAB for deep-learning challenges. This book provides an introduction to deep learning and using MATLAB's deep-learning toolboxes. You’ll see how these toolboxes provide the complete set of functions needed to implement all aspects of deep learning.Along the way, you'll learn to model complex systems, including the stock market, natural language, and angles-only orbit
... En savoir plus
Getting Started with Advanced C#

Upgrade Your Programming Skills

par Vaskaran Sarcar ...

Collections series Professional and Applied Computing (R0)
Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to ... En savoir plus

$95.79 CAD

Understand and work with the most important features of advanced C# in different programming environments. This book teaches you the fundamental features of advanced C# and how to incorporate them in different programming techniques using Visual Studio 2019.The book is divided into two parts. Part I covers the fundamentals and essentials of advanced programming in C#. You will be introduced to
... 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 :