Rakuten Kobo

Practical Concurrent Haskell

With Big Data Applications

par Marius Mihailescu, Stefania Loredana Nita ...

Collections 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 ... En savoir plus

$75.99 CAD

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
... En savoir plus
Funktionale Programmierung und Metaprogrammierung

Interaktiv in Common Lisp

par Patrick M. Krusenotto ...

Collections 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 ... En savoir plus

$51.99 CAD

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
... En savoir plus
Identifying Relevant Information for Testing Technique Selection

An Instantiated Characterization Schema

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

Collections Livre 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 ... En savoir plus

$115.99 CAD

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
... En savoir plus
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

Modifié par Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman ...

Collections 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), ... En savoir plus

$64.99 CAD

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),
... En savoir plus
Python Descriptors

Understanding and Using the Descriptor Protocol

par Jacob Zimmerman ...

Collections 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 ... En savoir plus

$42.99 CAD

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
... En savoir plus
Formal Methods Teaching

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

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

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

$64.99 CAD

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

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Modifié par Hossein Hojjat, Mieke Massink ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially
... En savoir plus
Practical PHP 7, MySQL 8, and MariaDB Website Databases

A Simplified Approach to Developing Database-Driven Websites

par Adrian W. West, Steve Prettyman ...

Collections series Professional and Applied Computing (R0)
Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security, ... En savoir plus

$80.99 CAD

Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security,
... En savoir plus
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Modifié par Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... En savoir plus

$93.99 CAD

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... En savoir plus
Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Modifié par Pedro Ribeiro, Augusto Sampaio ...

Collections series Springer Nature Proceedings Computer Science
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP ... En savoir plus

$64.99 CAD

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP
... En savoir plus
Multi-Agent Systems

16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Modifié par Marija Slavkovik ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent ... En savoir plus

$64.99 CAD

This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent
... En savoir plus
Advanced Design and Implementation of Virtual Machines

par Xiao-Feng Li ...

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also ... En savoir plus

$84.99 CAD

Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also
... En savoir plus
Software Development, Design, and Coding

With Patterns, Debugging, Unit Testing, and Refactoring

par John F. Dooley, Vera A. Kazakova ...

Collections series Professional and Applied Computing (R0)
Learn the principles of good software design and then turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems. ... En savoir plus

$75.99 CAD

Learn the principles of good software design and then turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems.
... En savoir plus
Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Modifié par Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test
... En savoir plus
Practical JSF in Java EE 8

Web Applications in Java for the Enterprise

par Michael Müller ...

Collections series Professional and Applied Computing (R0)
Master the Java EE 8 and JSF (JavaServer Faces) APIs and web framework with this practical, projects-driven guide to web development. This book combines theoretical background with a practical approach by building four real-world applications. By developing these JSF web applications, you'll take a tour through the other Java EE technologies such as JPA, CDI, Security, WebSockets, and more.In ... En savoir plus

$75.99 CAD

Master the Java EE 8 and JSF (JavaServer Faces) APIs and web framework with this practical, projects-driven guide to web development. This book combines theoretical background with a practical approach by building four real-world applications. By developing these JSF web applications, you'll take a tour through the other Java EE technologies such as JPA, CDI, Security, WebSockets, and more.In
... En savoir plus
Guide to Assembly Language

A Concise Introduction

par James T. Streib ...

Collections series Computer Science (R0)
This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages.This updated second edition has been expanded with additional exercises, and enhanced with new material ... En savoir plus

$64.99 CAD

This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages.This updated second edition has been expanded with additional exercises, and enhanced with new material
... En savoir plus
Information and Communication Technologies in Education, Research, and Industrial Applications

11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Modifié par Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and
... En savoir plus
Advances in Data Mining. Applications and Theoretical Aspects

16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Modifié par Petra Perner ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine,
... En savoir plus
Scratch by Example

Programming for All Ages

par Eduardo A. Vlieg ...

Collections series Professional and Applied Computing (R0)
This is a book about learning the Scratch language so that you can use it in teaching and other instructional situations. The book explains the visual nature of the language, showing you how to write programs by dragging and dropping visual blocks representing common compute operations.Scratch is visual language that even young children can master. and makes computer programming as easy as ... En savoir plus

$44.99 CAD

This is a book about learning the Scratch language so that you can use it in teaching and other instructional situations. The book explains the visual nature of the language, showing you how to write programs by dragging and dropping visual blocks representing common compute operations.Scratch is visual language that even young children can master. and makes computer programming as easy as
... En savoir plus
Design Patterns with Java

An Introduction

par Olaf Musch ...

Collections series Computer Science (R0)
A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, Johnson and Vlissides (also called "Gang of Four", GoF for short). All patterns are explained in detail by means of examples and also critically appreciated. Furthermore, design principles of object-oriented ... En savoir plus

$77.99 CAD

A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, Johnson and Vlissides (also called "Gang of Four", GoF for short). All patterns are explained in detail by means of examples and also critically appreciated. Furthermore, design principles of object-oriented
... En savoir plus
Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Modifié par Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic ...

Collections series Computer Science (R0)
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has ... En savoir plus

$64.99 CAD

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has
... En savoir plus
Haskell Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

par Stefania Loredana Nita, Marius Mihailescu ...

Collections series Professional and Applied Computing (R0)
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical ... En savoir plus

$44.99 CAD

This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical
... En savoir plus
Evaluation of Novel Approaches to Software Engineering

12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Modifié par Ernesto Damiani, George Spanoudakis, Leszek Maciaszek ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... En savoir plus
Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Modifié par Adrian Riesco, Min Zhang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Compilateurs

Afficher :