Rakuten Kobo

A Beginner's Guide to Scala, Object Orientation and Functional Programming

de John Hunt ...

Series series Computer Science (R0)
Scala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating object oriented approaches with functional programming.Although some familiarity with standard computing concepts is assumed (such as the idea of compiling a program and executing this ... Leer más

$62.99 USD

Scala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating object oriented approaches with functional programming.Although some familiarity with standard computing concepts is assumed (such as the idea of compiling a program and executing this
... Leer más
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Edición de K. Narayan Kumar, Deepak D'Souza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... Leer más
Languages and Compilers for Parallel Computing

29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Edición de Chen Ding, John Criswell, Peng Wu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and
... Leer más
Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Edición de Sandrine Blazy, Thomas Jensen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and
... Leer más
Beginning R

An Introduction to Statistical Programming

de Larry Pace, Joshua Wiley ...

Series series Professional and Applied Computing (R0)
Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on, ... Leer más

$71.99 USD

Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on,
... Leer más
Artificial Intelligence and Soft Computing

20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II

Edición de Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial ... Leer más

$107.99 USD

The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial
... Leer más
Beginning Jakarta EE

Enterprise Edition for Java: From Novice to Professional

de Peter Späth ...

Series series Professional and Applied Computing (R0)
Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote ... Leer más

$49.99 USD

Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote
... Leer más
Building web applications with Vue.js

MVVM patterns for conventional and single-page websites

de Ralph Steyer ...

Series series Computer Science (R0)
Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and ... Leer más

$71.99 USD

Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and
... Leer más
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Edición de Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in
... Leer más
Programming Languages and Systems

25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Edición de Peter Thiemann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the ... Leer más

$49.99 USD

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the
... Leer más
Compiler Technology

Tools, Translators and Language Implementation

de Derek Beng Kee Kiong ...

Series Libro 422 - The Springer International Series in Engineering and Computer Science
Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.The focus of ... Leer más

$143.99 USD

Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.The focus of
... Leer más
Dynamic SQL

Applications, Performance, and Security

de Ed Pollack ...

Series series Professional and Applied Computing (R0)
This book is an introduction and deep-dive into the many uses of dynamic SQL in Microsoft SQL Server. Dynamic SQL is key to large-scale searching based upon user-entered criteria. It’s also useful in generating value-lists, in dynamic pivoting of data for business intelligence reporting, and for customizing database objects and querying their structure.Executing dynamic SQL is at the heart of ... Leer más

$35.99 USD

This book is an introduction and deep-dive into the many uses of dynamic SQL in Microsoft SQL Server. Dynamic SQL is key to large-scale searching based upon user-entered criteria. It’s also useful in generating value-lists, in dynamic pivoting of data for business intelligence reporting, and for customizing database objects and querying their structure.Executing dynamic SQL is at the heart of
... Leer más
Clean Ruby

A Guide to Crafting Better Code for Rubyists

de Carleton DiLeo ...

Series series Professional and Applied Computing (R0)
Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity. ... Leer más

$40.99 USD

Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity.
... Leer más
Python for Beginners

Learn It as Easy as Pie

de Yatin Bayya ...

Whether you are an absolute beginner or an experienced programmer, learn Python programming in a simple, concise, and straightforward manner. Learn to build four smashing projects: a calculator, a drawing app, a login system, and a notes app. This book will walk you through the first steps of becoming a programmer as easy as pie. ... Leer más

$5.99 USD o gratis con Kobo Plus

Whether you are an absolute beginner or an experienced programmer, learn Python programming in a simple, concise, and straightforward manner. Learn to build four smashing projects: a calculator, a drawing app, a login system, and a notes app. This book will walk you through the first steps of becoming a programmer as easy as pie.
... Leer más
C + +

C++ programming

de Ummed Singh ...

This eBook is based on C + + that has been collected from different sources and people. For more information about this ebook. Kindly write to [email protected]. I will happy to help you.Copyright 2023 by Ummed SinghThis eBook is a guide and serves as a first guide. This book has been written on the advice of many experts and sources who have good command over C + +, network and programming ... Leer más

$3.99 USD o gratis con Kobo Plus

This eBook is based on C + + that has been collected from different sources and people. For more information about this ebook. Kindly write to [email protected]. I will happy to help you.Copyright 2023 by Ummed SinghThis eBook is a guide and serves as a first guide. This book has been written on the advice of many experts and sources who have good command over C + +, network and programming
... Leer más
Python for Beginners

Codes for starters

de Célio Azevedo ...

This is the book Python for Beginners (Codes for starters). In this book, you will be guided through the fundamentals of the Python programming language, from basic concepts to slightly more advanced techniques. ... Leer más

$7.89 USD o gratis con Kobo Plus

This is the book Python for Beginners (Codes for starters). In this book, you will be guided through the fundamentals of the Python programming language, from basic concepts to slightly more advanced techniques.
... Leer más
LLVM Essentials

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler

de Suyog Sarda, Mayur Pandey ...

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for ... Leer más

$21.99 USD o gratis con Kobo Plus

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for
... Leer más
Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

de Karl Beecher ...

Series series Professional and Applied Computing (R0)
This book flips the script of generic programming manuals, using humor to teach by bad example. Discover how to become the world’s worst programmer and build bad habits that lead to buggy, poorly written code.Do you dream of writing code that gets instantly rejected in review? Do you look forward to reading feedback plastered in comments like "WTF???" Do you hope your bug-ridden changes sneak ... Leer más

$35.99 USD

This book flips the script of generic programming manuals, using humor to teach by bad example. Discover how to become the world’s worst programmer and build bad habits that lead to buggy, poorly written code.Do you dream of writing code that gets instantly rejected in review? Do you look forward to reading feedback plastered in comments like "WTF???" Do you hope your bug-ridden changes sneak
... Leer más
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

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: