Rakuten Kobo

Graph Transformation, Specifications, and Nets

In Memory of Hartmut Ehrig

Edición de Reiko Heckel, Gabriele Taentzer ...

Series series Computer Science (R0)
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular ... Leer más

$49.99 USD

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular
... Leer más
C# Programming for Absolute Beginners

de Radek Vystavěl ...

Series series Professional and Applied Computing (R0)
Get started using the C# programming language. Based on the author’s 15 years of experience teaching beginners, the book provides you with a step-by-step introduction to the principles of programming, or rather, how to think like a programmer. The task-solution approach will get you immersed, with minimum theory and maximum action.What You Will LearnUnderstand what programming is all aboutWrite ... Leer más

$35.99 USD

Get started using the C# programming language. Based on the author’s 15 years of experience teaching beginners, the book provides you with a step-by-step introduction to the principles of programming, or rather, how to think like a programmer. The task-solution approach will get you immersed, with minimum theory and maximum action.What You Will LearnUnderstand what programming is all aboutWrite
... Leer más
Software Testing Automation Tips

50 Things Automation Engineers Should Know

de Gennadiy Alpaev ...

Series series Professional and Applied Computing (R0)
Quickly access 50 tips for software test engineers using automated methods. The tips point to practices that save time and increase the accuracy and reliability of automated test techniques. Techniques that play well during demos of testing tools often are not the optimal techniques to apply on a running project. This book highlights those differences, helping you apply techniques that are ... Leer más

$23.99 USD

Quickly access 50 tips for software test engineers using automated methods. The tips point to practices that save time and increase the accuracy and reliability of automated test techniques. Techniques that play well during demos of testing tools often are not the optimal techniques to apply on a running project. This book highlights those differences, helping you apply techniques that are
... Leer más
Fundamental Approaches to Software Engineering

20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Edición de Marieke Huisman, Julia Rubin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized ... Leer más

$49.99 USD

This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized
... Leer más
Beginning Ada Programming

From Novice to Professional

de Andrew T. Shvets ...

Series series Professional and Applied Computing (R0)
Discover the Ada programming language by being gently guided through the various parts of the language and its latest available stable release. The goal in this book is to slowly ease you into the different topics. It is understood that you do not always have ample free time, so the text is easy to digest and concepts are spoon fed to the reader.Starting with the simplest of topics, detailed ... Leer más

$49.99 USD

Discover the Ada programming language by being gently guided through the various parts of the language and its latest available stable release. The goal in this book is to slowly ease you into the different topics. It is understood that you do not always have ample free time, so the text is easy to digest and concepts are spoon fed to the reader.Starting with the simplest of topics, detailed
... Leer más
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Edición de Gabriele Kern-Isberner, Zoran Ognjanović ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections
... Leer más
Deploying Raspberry Pi in the Classroom

de Guy Hart-Davis ...

Series series Professional and Applied Computing (R0)
Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face.Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT administrators at schools will see how to set up the hardware and software swiftly on ... Leer más

$28.99 USD

Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face.Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT administrators at schools will see how to set up the hardware and software swiftly on
... Leer más
Introduction to Programming with Fortran

With Coverage of Fortran 90, 95, 2003, 2008 and 77

de Ian Chivers, Jane Sleightholme ...

Series series Computer Science (R0)
In response to feedback from course delegates this third edition has been revised throughout. It expands on the second edition with new and updated examples in the chapters on arithmetic, i/o, character data, modules, data structuring and generic programming with minor updates to the rest of the chapters.Key Features· lots of clear, simple examples highlighting the core language features of modern ... Leer más

$76.99 USD

In response to feedback from course delegates this third edition has been revised throughout. It expands on the second edition with new and updated examples in the chapters on arithmetic, i/o, character data, modules, data structuring and generic programming with minor updates to the rest of the chapters.Key Features· lots of clear, simple examples highlighting the core language features of modern
... Leer más
Handbook of Floating-Point Arithmetic

de Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres ...

Series series Mathematics and Statistics (R0)
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on floating-point numbers, and understanding their various implementations will allow readers to develop ... Leer más

$152.99 USD

This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on floating-point numbers, and understanding their various implementations will allow readers to develop
... Leer más
Graph Transformation

11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Edición de Leen Lambers, Jens Weber ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation
... Leer más
New Opportunities for Software Reuse

17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Edición de Rafael Capilla, Barbara Gallina, Carlos Cetina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and ... Leer más

$116.99 USD

This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and
... Leer más
Beginning iPhone Development with Swift 5

Exploring the iOS SDK

de Wallace Wang ...

Series series Professional and Applied Computing (R0)
Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll also learn about touch gestures, table views, and collection views for displaying data on a user interface.Assuming little or no working knowledge of the Swift programming language, and written in a ... Leer más

$40.99 USD

Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll also learn about touch gestures, table views, and collection views for displaying data on a user interface.Assuming little or no working knowledge of the Swift programming language, and written in a
... Leer más
Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Edición de Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, ... Leer más

$49.99 USD

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,
... Leer más
Migrating from Drupal to Backdrop

de Todd Tomlinson ...

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

$35.99 USD

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
... Leer más
Typed PHP

Stronger Types For Cleaner Code

de Christopher Pitt ...

Series series Professional and Applied Computing (R0)
Discover how stronger types mean cleaner, more efficient, and optimized PHP applications. This unique book looks at typed PHP: PHP types, strings, regular expressions, and more from PHP 7 as found in standard PHP libraries, user libraries, extensions, and cross-compilers. You'll see how to create a set of reusable tools that unify and ease the scalar types of PHP.PHP has a rich history and a ... Leer más

$23.99 USD

Discover how stronger types mean cleaner, more efficient, and optimized PHP applications. This unique book looks at typed PHP: PHP types, strings, regular expressions, and more from PHP 7 as found in standard PHP libraries, user libraries, extensions, and cross-compilers. You'll see how to create a set of reusable tools that unify and ease the scalar types of PHP.PHP has a rich history and a
... Leer más
Thinking with Diagrams

Edición de Alan F. Blackwell ...

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... Leer más

$134.99 USD

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research
... Leer más
Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Edición de Emilio Tuosto, Chun Ouyang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model ... Leer más

$40.99 USD

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model
... Leer más
A List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Edición de Sam Lindley, Conor McBride, Phil Trinder, Don Sannella ...

Series series Computer Science (R0)
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute ... Leer más

$49.99 USD

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute
... Leer más
Ant: The Definitive Guide

Complete Build Management for Java

de Steve Holzner ...

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full ... Leer más

$25.99 USD

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full
... Leer más
Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Edición de Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is ... Leer más

$49.99 USD

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is
... Leer más
CODING INTERVIEWS G U I D E

Essential Guide to Prepare You with the Most Effective Case Studies and Coding Interview Questions

de Olivia Miller ...

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike. ... Leer más

$4.99 USD

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike.
... Leer más
Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Edición de Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions.
... Leer más
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Edición de Cas Cremers, Anja Lehmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... Leer más
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Edición de Leonel Sousa, Nuno Roma, Pedro Tomás ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, ... Leer más

$107.99 USD

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general,
... 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: