Rakuten Kobo

Julia Quick Syntax Reference

A Pocket Guide for Data Science Programming

de Antonello Lobianco ...

Series series Professional and Applied Computing (R0)
This quick Julia programming language guide is a condensed code and syntax reference to the Julia 1.x programming language, updated with the latest features of the Julia APIs, libraries, and packages. It presents the essential Julia syntax in a well-organized format that can be used as a handy reference.This book provides an introduction that reveals basic Julia structures and syntax; discusses ... Leer más

$49.99 USD

This quick Julia programming language guide is a condensed code and syntax reference to the Julia 1.x programming language, updated with the latest features of the Julia APIs, libraries, and packages. It presents the essential Julia syntax in a well-organized format that can be used as a handy reference.This book provides an introduction that reveals basic Julia structures and syntax; discusses
... Leer más
Lumen Programming Guide

Writing PHP Microservices, REST and Web Service APIs

de Paul Redmond ...

Series series Professional and Applied Computing (R0)
Learn to write test-driven microservices, REST APIs, and web service APIs with PHP using the Lumen micro-framework, from the now popular Laravel family. This book shows you how testing APIs can help you write bullet-proof web application services and microservices.In the Lumen Programming Guide you will learn how to use Lumen—a micro-framework by Laravel—to write bullet-proof APIs. Lumen helps you ... Leer más

$44.99 USD

Learn to write test-driven microservices, REST APIs, and web service APIs with PHP using the Lumen micro-framework, from the now popular Laravel family. This book shows you how testing APIs can help you write bullet-proof web application services and microservices.In the Lumen Programming Guide you will learn how to use Lumen—a micro-framework by Laravel—to write bullet-proof APIs. Lumen helps you
... Leer más
It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Edición de Frank de Boer, Marcello Bonsangue, Jan Rutten ...

Series series Computer Science (R0)
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency ... Leer más

$49.99 USD

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency
... Leer más
Runtime Verification

26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, Proceedings

Edición de Sean Kauffman, Giulia Pedrielli ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6–9, 2026.The 9 regular papers, 5 short papers, 4 tool papers, 1 tutorial paper, 1 benchmark paper and 3 tool showcase papers included in this book were carefully reviewed and selected from 65 submissions. They focus on topics in Runtime ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6–9, 2026.The 9 regular papers, 5 short papers, 4 tool papers, 1 tutorial paper, 1 benchmark paper and 3 tool showcase papers included in this book were carefully reviewed and selected from 65 submissions. They focus on topics in Runtime
... Leer más
Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Edición de Jan Friso Groote, Marieke Huisman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Leer más

$71.99 USD

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and
... Leer más
Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Edición de Ruzica Piskac, Philipp Rümmer ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, ... Leer más

$49.99 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification,
... Leer más
Programming Languages and Systems

16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Edición de Sukyoung Ryu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; ... Leer más

$49.99 USD

This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs;
... Leer más
Spaß mit CP/M

Freude an der Emulation

de Erik Bartmann ...

Wenn Sie den Reiz verspüren, sich mit einer etwas älteren, aber nach wie vor faszinierenden Technik auseinanderzusetzen, sind Sie hier genau richtig. Dieses Buch ist für jene geschrieben, die Spaß daran haben, sich tief in die Materie zu graben – und das ohne produktive Zwänge, einfach nur zum Spaß. Dieses Handbuch ist kein trockener Theorieband, sondern ein praktisches Kompendium für den Einstieg ... Leer más

$25.99 USD o gratis con Kobo Plus

Wenn Sie den Reiz verspüren, sich mit einer etwas älteren, aber nach wie vor faszinierenden Technik auseinanderzusetzen, sind Sie hier genau richtig. Dieses Buch ist für jene geschrieben, die Spaß daran haben, sich tief in die Materie zu graben – und das ohne produktive Zwänge, einfach nur zum Spaß. Dieses Handbuch ist kein trockener Theorieband, sondern ein praktisches Kompendium für den Einstieg
... Leer más
Lean Python

Learn Just Enough Python to Build Useful Tools

de Paul Gerrard ...

Series series Professional and Applied Computing (R0)
Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says ... Leer más

$31.99 USD

Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says
... Leer más
SDL 2015: Model-Driven Engineering for Smart Cities

17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

Edición de Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain ... Leer más

$49.99 USD

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain
... Leer más
GROKKING ALGORITHM BLUEPRINT

A Comprehensive Beginner's Guide to Learn the Realms of Grokking Algorithms from A-Z and Become Efficient Programmers

de William Turner ...

What is grokking algorithms? A new kind of algorithm? A new way of doing data science? No. The official definition of grokking is "To understand profoundly through intuition or empathy." It also means "to empathize or communicate sympathetically (with); also, to experience enjoyment." In short, it's all about learning algorithms in a way that they are part of you, not just memorizing what to do. ... Leer más

$4.99 USD

What is grokking algorithms? A new kind of algorithm? A new way of doing data science? No. The official definition of grokking is "To understand profoundly through intuition or empathy." It also means "to empathize or communicate sympathetically (with); also, to experience enjoyment." In short, it's all about learning algorithms in a way that they are part of you, not just memorizing what to do.
... Leer más
Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Edición de Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen ...

Series series Computer Science (R0)
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... Leer más

$49.99 USD

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems,
... Leer más
Creating Business Applications with Office 365

Techniques in SharePoint, PowerApps, Power BI, and More

de Jeffrey M. Rhodes ...

Series series Professional and Applied Computing (R0)
Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help you create easier solutions to client-side problems and applications. Additionally, you will be able to effectively visualize your data with Power BI.This book starts with configuration of SharePoint and ... Leer más

$31.99 USD

Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help you create easier solutions to client-side problems and applications. Additionally, you will be able to effectively visualize your data with Power BI.This book starts with configuration of SharePoint and
... Leer más
End-User Development

7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Edición de Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, Andrew Stratton ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent ... Leer más

$58.99 USD

This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent
... Leer más
Agreement Technologies

6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Edición de Marin Lujak ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next ... Leer más

$49.99 USD

This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next
... Leer más
Build Mobile Apps with Ionic 2 and Firebase

Hybrid Mobile App Development

de Fu Cheng ...

Series series Professional and Applied Computing (R0)
Learn to build hybrid mobile apps using Ionic and Firebase. You'll build a Hacker News client app, which can view top stories in Hacker News, view comments of a story, add stories to favorites, etc.This introductory guide covers the whole cycle of hybrid mobile apps development. It's organized around implementing different user stories. For each story, this book not only talks about how to ... Leer más

$31.99 USD

Learn to build hybrid mobile apps using Ionic and Firebase. You'll build a Hacker News client app, which can view top stories in Hacker News, view comments of a story, add stories to favorites, etc.This introductory guide covers the whole cycle of hybrid mobile apps development. It's organized around implementing different user stories. For each story, this book not only talks about how to
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

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

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 3 - 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 ... Leer más

$49.99 USD

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
... Leer más
Programming Languages and Operational Semantics

A Concise Overview

de Maribel Fernández ...

Series series Computer Science (R0)
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for ... Leer más

$44.99 USD

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for
... Leer más
Swift for Absolute Beginners

de Gary Bennett, Brad Lees ...

Series series Professional and Applied Computing (R0)
The professional development team that brought you two editions of Objective-C for the Absolute Beginners and have taught thousands of developers around the world to write some of the most popular iPhone apps in their categories on the app store, have now leveraged their instruction for Swift.Swift for Absolute Beginners is perfect for those with no programming background, those with some ... Leer más

$44.99 USD

The professional development team that brought you two editions of Objective-C for the Absolute Beginners and have taught thousands of developers around the world to write some of the most popular iPhone apps in their categories on the app store, have now leveraged their instruction for Swift.Swift for Absolute Beginners is perfect for those with no programming background, those with some
... Leer más
Coordination Models and Languages

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Edición de Emilio Tuosto, Hanne Riis Nielson ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are ... Leer más

$49.99 USD

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are
... Leer más
Einführung in JavaFX

Moderne GUIs für RIAs und Java-Applikationen

de Ralph Steyer ...

Series series Computer Science and Engineering (German Language)
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an ... Leer más

$28.99 USD

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an
... Leer más
Globalizing Domain-Specific Languages

International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

Edición de Betty H.C. Cheng, Robert B. France, Bernhard Rumpe, Jean-Marc Jézéquel, Benoit Combemale ...

Series series Computer Science (R0)
The development of modern complex software-intensive systems often involves the use of multiple DSMLs that capture different system aspects. Supporting coordinated use of DSMLs leads to what we call the globalization of modeling languages, that is, the use of multiple modeling languages to support coordinated development of diverse aspects of a system.In this book, a number of articles describe ... Leer más

$40.99 USD

The development of modern complex software-intensive systems often involves the use of multiple DSMLs that capture different system aspects. Supporting coordinated use of DSMLs leads to what we call the globalization of modeling languages, that is, the use of multiple modeling languages to support coordinated development of diverse aspects of a system.In this book, a number of articles describe
... Leer más
Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Edición de Steve Counsell, Manuel Núñez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis ... Leer más

$49.99 USD

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis
... Leer más
Software Architecture

10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Edición de Bedir Tekinerdogan, Uwe Zdun, Ali Babar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016.The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions. They are organized in topical sections on full research and experience papers, short papers for addressing emerging ... Leer más

$49.99 USD

This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016.The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions. They are organized in topical sections on full research and experience papers, short papers for addressing emerging
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Compiladores

Mostrar: