Rakuten Kobo

An Introduction to PHP for Scientists and Engineers

Beyond JavaScript

de David R. Brooks ...

Series series Computer Science (R0)
The best way to become acquainted with a subject is to write a book about it. —Benjamin Disraeli i. Background The purpose of this book is provide an introduction to using a server-side programming language to solve some kinds of computing problems that cannot be solved with a client-side language such as JavaScript. The language is PHP (originally created in 1994 by Danish/Icelandic programmer ... Leer más

$44.99 USD

The best way to become acquainted with a subject is to write a book about it. —Benjamin Disraeli i. Background The purpose of this book is provide an introduction to using a server-side programming language to solve some kinds of computing problems that cannot be solved with a client-side language such as JavaScript. The language is PHP (originally created in 1994 by Danish/Icelandic programmer
... Leer más
Search-Based Software Engineering

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Edición de Yvan Labiche, Márcio Barros ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software
... Leer más
Learn C++ for Game Development

de Bruce Sutherland ...

Series series Professional and Applied Computing (R0)
If you’re new to C++ but understand some basic programming, then Learn C++ for Game Development lays the foundation for the C++ language and API that you’ll need to build game apps and applications.Learn C++ for Game Development will show you how to:Master C++ features such as variables, pointers, flow controls, functions, I/O, classes, exceptions, templates, and the Standard Template Library (STL ... Leer más

$71.99 USD

If you’re new to C++ but understand some basic programming, then Learn C++ for Game Development lays the foundation for the C++ language and API that you’ll need to build game apps and applications.Learn C++ for Game Development will show you how to:Master C++ features such as variables, pointers, flow controls, functions, I/O, classes, exceptions, templates, and the Standard Template Library (STL
... Leer más
Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Edición de Radu Calinescu, Bernhard Rumpe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal
... Leer más
Languages and Compilers for Parallel Computing

30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Edición de Lawrence Rauchwerger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017.The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions ... Leer más

$49.99 USD

This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017.The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions
... Leer más
Android Studio Game Development

Concepts and Design

de Jerome DiMarzio ...

Series series Professional and Applied Computing (R0)
This short book walks you through the process of creating mobile games using the new Android Studio IDE. Android Studio Game Development introduces you to the key tools in Android Studio and gives you the knowledge you need to develop games in Android Studio.This book takes you from installing Android Studio, through exploring the IDE to creating a new project and setting up GitHub as a VCS. You ... Leer más

$35.99 USD

This short book walks you through the process of creating mobile games using the new Android Studio IDE. Android Studio Game Development introduces you to the key tools in Android Studio and gives you the knowledge you need to develop games in Android Studio.This book takes you from installing Android Studio, through exploring the IDE to creating a new project and setting up GitHub as a VCS. You
... Leer más
Digital Electronics for Musicians

Build Intuitive Electronics and Electroacoustic Music Interfaces

de Alexandros Drymonitis ...

Series series Professional and Applied Computing (R0)
Dive into the world of computer music and physical computing and stay ahead of the melodic curve. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and instruments with that knowledge.In this updated version, you can expect a wave of updates that bring the content in sync with the latest tech ... Leer más

$49.99 USD

Dive into the world of computer music and physical computing and stay ahead of the melodic curve. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and instruments with that knowledge.In this updated version, you can expect a wave of updates that bring the content in sync with the latest tech
... Leer más
Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Edición de Manuel V. Hermenegildo, José F. Morales ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding,
... Leer más
Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Edición de Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of
... Leer más
Beginning Ballerina Programming

From Novice to Professional

de Anjana Fernando, Lakmal Warusawithana ...

Series series Professional and Applied Computing (R0)
Discover the Ballerina programming language for next-generation microservices and cloud-native application development. This book shows you that Ballerina is a cutting-edge programming language which incorporates many of the latest technological advancements in programming language theory. You'll learn variables and types, modules and functions, flow control, error handling, concurrency, I/O, ... Leer más

$44.99 USD

Discover the Ballerina programming language for next-generation microservices and cloud-native application development. This book shows you that Ballerina is a cutting-edge programming language which incorporates many of the latest technological advancements in programming language theory. You'll learn variables and types, modules and functions, flow control, error handling, concurrency, I/O,
... Leer más
OpenMP: Advanced Task-Based, Device and Compiler Programming

19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings

Edición de Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; ... Leer más

$62.99 USD

This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support;
... Leer más
Quick Python Guide

de Coder1 ...

Quick Python Guide by Coder1Unlock the world of programming with "Introduction to Python Programming," a comprehensive guide designed for beginners. This eBook covers the essentials of Python, from basic syntax to advanced topics, with clear explanations and practical examples. Learn how to write clean and efficient code, master data structures, and explore libraries like NumPy, Pandas, and ... Leer más

$9.00 USD o gratis con Kobo Plus

Quick Python Guide by Coder1Unlock the world of programming with "Introduction to Python Programming," a comprehensive guide designed for beginners. This eBook covers the essentials of Python, from basic syntax to advanced topics, with clear explanations and practical examples. Learn how to write clean and efficient code, master data structures, and explore libraries like NumPy, Pandas, and
... Leer más
Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Edición de Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical
... Leer más
From Linear Operators to Computational Biology

Essays in Memory of Jacob T. Schwartz

Edición de Martin Davis, Edmond Schonberg ...

Series series Computer Science (R0)
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz ... Leer más

$89.99 USD

In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz
... Leer más
Man vs. Machine

Challenging Human Supremacy at Chess

de Karsten Müller, Jonathan Schaeffer ...

Man vs. Machine Technology continues to advance at a rapid pace. It may sound quaint today, but not so long ago, computers battled humans for supremacy at the game of chess. The challenge of building a computer program capable of defeating the best of human-kind at chess was one of the original grand challenges of the fledgling field of artificial intelligence. On one side were dedicated ... Leer más

$25.99 USD

Man vs. Machine Technology continues to advance at a rapid pace. It may sound quaint today, but not so long ago, computers battled humans for supremacy at the game of chess. The challenge of building a computer program capable of defeating the best of human-kind at chess was one of the original grand challenges of the fledgling field of artificial intelligence. On one side were dedicated
... Leer más
Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Edición de Anne E. Haxthausen, Wendelin Serwe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and ... Leer más

Antes $116.99 USD Ahora $62.99 USD

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and
... Leer más
Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Edición de Fred Mesnard, Peter J. Stuckey ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2
... 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 takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching you how to become the world’s worst programmer who generally causes chaos, the book teaches you how to avoid the kind of bad habits that introduce bugs or cause code contributions to be rejected.Why be a code monkey when you can be a chaos monkey? OK, so you want to ... Leer más

$40.99 USD

This book takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching you how to become the world’s worst programmer who generally causes chaos, the book teaches you how to avoid the kind of bad habits that introduce bugs or cause code contributions to be rejected.Why be a code monkey when you can be a chaos monkey? OK, so you want to
... Leer más
Practical Concurrent Haskell

With Big Data Applications

de Marius Mihailescu, Stefania Loredana Nita ...

Series series Professional and Applied Computing (R0)
Learn to use the APIs and frameworks for parallel and concurrent applications in Haskell. This book will show you how to exploit multicore processors with the help of parallelism in order to increase the performance of your applications.Practical Concurrent Haskell teaches you how concurrency enables you to write programs using threads for multiple interactions. After accomplishing this, you will ... Leer más

$58.99 USD

Learn to use the APIs and frameworks for parallel and concurrent applications in Haskell. This book will show you how to exploit multicore processors with the help of parallelism in order to increase the performance of your applications.Practical Concurrent Haskell teaches you how concurrency enables you to write programs using threads for multiple interactions. After accomplishing this, you will
... Leer más
Funktionale Programmierung und Metaprogrammierung

Interaktiv in Common Lisp

de Patrick M. Krusenotto ...

Series series Computer Science and Engineering (German Language)
Dieses Buch vermittelt die einzigartige Idee hinter der Programmiersprache Lisp. Aus der Verbindung von interaktiver und funktionaler Programmierung entsteht eine Arbeitsstrategie in der Software-Entwicklung, mit der ein Programmierer schneller als mit konventionellen Verfahren einen korrekten, verständlichen und leicht anpassbaren Code entwickeln kann.Durch die Anwendung algebraischer Methoden ... Leer más

$40.99 USD

Dieses Buch vermittelt die einzigartige Idee hinter der Programmiersprache Lisp. Aus der Verbindung von interaktiver und funktionaler Programmierung entsteht eine Arbeitsstrategie in der Software-Entwicklung, mit der ein Programmierer schneller als mit konventionellen Verfahren einen korrekten, verständlichen und leicht anpassbaren Code entwickeln kann.Durch die Anwendung algebraischer Methoden
... Leer más
Identifying Relevant Information for Testing Technique Selection

An Instantiated Characterization Schema

de Sira Vegas, Natalia Juristo, Victor R. Basili ...

Series Libro 8 - International Series in Software Engineering
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering ... Leer más

$89.99 USD

Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering
... Leer más
On the Move to Meaningful Internet Systems. OTM 2017 Workshops

Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

Edición de Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), ... Leer más

$49.99 USD

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS),
... Leer más
Python Descriptors

Understanding and Using the Descriptor Protocol

de Jacob Zimmerman ...

Series series Professional and Applied Computing (R0)
Create descriptors and see ideas and examples of how to use descriptors effectively. In this short book, you’ll explore descriptors in general, with a deep explanation of what descriptors are, how they work, and how they're used. Once you understand the simplicity of the descriptor protocol, the author delves into using and creating descriptors in practice, with plenty of tips, patterns, and real ... Leer más

$28.99 USD

Create descriptors and see ideas and examples of how to use descriptors effectively. In this short book, you’ll explore descriptors in general, with a deep explanation of what descriptors are, how they work, and how they're used. Once you understand the simplicity of the descriptor protocol, the author delves into using and creating descriptors in practice, with plenty of tips, patterns, and real
... Leer más
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

Edición de Brijesh Dongol, Luigia Petre, Graeme Smith ...

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

$49.99 USD

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;
... 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: