Rakuten Kobo

Tools for High Performance Computing 2011

Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Modifié par Michael M. Resch, Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel ...

Collections series Springer Nature Proceedings Computer Science
The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems. ... En savoir plus

$115.99 CAD

The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems.
... En savoir plus
Rewriting Logic and Its Applications

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Modifié par Santiago Escobar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of ... En savoir plus

$60.99 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of
... En savoir plus
Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Modifié par Peter Csaba Ölveczky, Gwen Salaün ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware
... En savoir plus
JavaScript Frameworks for Modern Web Development

The Essential Frameworks, Libraries, and Tools to Learn Right Now

par Sufyan bin Uzayr, Nicholas Cloud, Tim Ambler ...

Collections series Professional and Applied Computing (R0)
Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an ... En savoir plus

$68.99 CAD

Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an
... En savoir plus
Evaluation of Novel Approaches to Software Engineering

15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers

Modifié par Raian Ali, Hermann Kaindl, Leszek A. Maciaszek ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020.The 19 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the understanding of relevant trends of current ... En savoir plus

$64.99 CAD

This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020.The 19 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the understanding of relevant trends of current
... En savoir plus
Data Science Using Oracle Data Miner and Oracle R Enterprise

Transform Your Business Systems into an Analytical Powerhouse

par Sibanjan Das ...

Collections series Professional and Applied Computing (R0)
Automate the predictive analytics process using Oracle Data Miner and Oracle R Enterprise. This book talks about how both these technologies can provide a framework for in-database predictive analytics. You'll see a unified architecture and embedded workflow to automate various analytics steps such as data preprocessing, model creation, and storing final model output to tables.You'll take a deep ... En savoir plus

$63.99 CAD

Automate the predictive analytics process using Oracle Data Miner and Oracle R Enterprise. This book talks about how both these technologies can provide a framework for in-database predictive analytics. You'll see a unified architecture and embedded workflow to automate various analytics steps such as data preprocessing, model creation, and storing final model output to tables.You'll take a deep
... En savoir plus
MVVM in Delphi

Architecting and Building Model View ViewModel Applications

par John Kouraklis ...

Collections series Professional and Applied Computing (R0)
Dive into the world of MVVM, learn how to build modern Windows applications, and prepare for cross-platform development. This book introduces you to the right mindset and demonstrates suitable methodologies that allow for quick understanding of the MVVM paradigm. MVVM in Delphi shows you how to use a quick and efficient MVVM framework that allows for scalability, is of manageable complexity, and ... En savoir plus

$44.99 CAD

Dive into the world of MVVM, learn how to build modern Windows applications, and prepare for cross-platform development. This book introduces you to the right mindset and demonstrates suitable methodologies that allow for quick understanding of the MVVM paradigm. MVVM in Delphi shows you how to use a quick and efficient MVVM framework that allows for scalability, is of manageable complexity, and
... En savoir plus
Einführung in JavaFX/OpenJFX

Moderne GUIs für RIAs und Java-Applikationen

par Ralph Steyer ...

Collections series Computer Science and Engineering (German Language)
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Seit der Version 2 hat JavaFX jedoch einen festen und ausgereiften Stand erreicht und ist mittlerweile die aktuelle Technologie im Java-Umfeld, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl ... En savoir plus

$56.99 CAD

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Seit der Version 2 hat JavaFX jedoch einen festen und ausgereiften Stand erreicht und ist mittlerweile die aktuelle Technologie im Java-Umfeld, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl
... En savoir plus
The Compiler Design Handbook

Optimizations and Machine Code Generation, Second Edition

Modifié par Y.N. Srikant, Priti Shankar ...

Today’s embedded devices and sensor networks are becoming more and more sophisticated, requiring more efficient and highly flexible compilers. Engineers are discovering that many of the compilers in use today are ill-suited to meet the demands of more advanced computer architectures.Updated to include the latest techniques**, The Compiler Design Handbook, Second Edition** offers a unique ... En savoir plus

$458.99 CAD

Today’s embedded devices and sensor networks are becoming more and more sophisticated, requiring more efficient and highly flexible compilers. Engineers are discovering that many of the compilers in use today are ill-suited to meet the demands of more advanced computer architectures.Updated to include the latest techniques**, The Compiler Design Handbook, Second Edition** offers a unique
... En savoir plus
Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Modifié par Yliès Falcone, César Sánchez ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of
... En savoir plus
Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Modifié par Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines,
... En savoir plus
Transactions on Aspect-Oriented Software Development XII

Modifié par Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld ...

Collections series Computer Science (R0)
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and ... En savoir plus

$64.99 CAD

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and
... En savoir plus
Programming Languages and Systems

17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Modifié par Anthony Widjaja Lin ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation,
... En savoir plus
PRICAI 2019: Trends in Artificial Intelligence

16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I

Modifié par Abhaya C. Nayak, Alok Sharma ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics ... En savoir plus

$64.99 CAD

This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics
... En savoir plus
Type it Right!

The Little Black Book for your Computer

par Antia Stumbp ...

Type It Right! the little black book for your computer describes everything you'll need to know to create correctly-typed documents! Type It Right! represents a compilation of information and advice found in punctuation, typography and design books, style books and dictionaries — combining typographic skills with today's computer technology. ... En savoir plus

$6.99 CAD

Type It Right! the little black book for your computer describes everything you'll need to know to create correctly-typed documents! Type It Right! represents a compilation of information and advice found in punctuation, typography and design books, style books and dictionaries — combining typographic skills with today's computer technology.
... En savoir plus
Learn Android Studio 3 with Kotlin

Efficient Android App Development

par Ted Hagos ...

Collections series Professional and Applied Computing (R0)
Build Android apps using the popular and efficient Android Studio 3 suite of tools, an integrated development environment (IDE) with which Android developers can now use the Kotlin programming language. With this book, you’ll learn the latest and most productive tools in the Android tools ecosystem, ensuring quick Android app development and minimal effort on your part. Along the way, you’ll use ... En savoir plus

$75.99 CAD

Build Android apps using the popular and efficient Android Studio 3 suite of tools, an integrated development environment (IDE) with which Android developers can now use the Kotlin programming language. With this book, you’ll learn the latest and most productive tools in the Android tools ecosystem, ensuring quick Android app development and minimal effort on your part. Along the way, you’ll use
... En savoir plus
Today's TBB

C++ Parallel Programming with Threading Building Blocks

par Michael J. Voss, James R. Reinders ...

Collections series Professional and Applied Computing (R0)
This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner.Today’s TBB starts with foundational principles, ... En savoir plus

Gratuit

This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner.Today’s TBB starts with foundational principles,
... En savoir plus
Cyber Physical Systems. Model-Based Design

9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Modifié par Roger Chamberlain, Martin Edin Grimheden, Walid Taha ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from
... En savoir plus
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Modifié par Alberto Lluch Lafuente, José Proença ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover
... En savoir plus
Game Development with Construct 2

From Design to Realization

par LEE STEMKOSKI, Evan Leider ...

Collections series Professional and Applied Computing (R0)
Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and ... En savoir plus

$75.99 CAD

Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and
... En savoir plus
Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Modifié par Dang Van Hung, Deepak Kapur ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency;
... En savoir plus
Advanced Finite Element Simulation with MSC Marc

Application of User Subroutines

par Andreas Öchsner, Zia Javanbakht ...

Collections series Engineering (R0)
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user ... En savoir plus

$115.99 CAD

This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user
... En savoir plus
MATLAB Optimization Techniques

par Cesar Lopez ...

Collections series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... En savoir plus

$96.99 CAD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... En savoir plus
Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Modifié par María del Mar Gallardo, Pedro Merino ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling
... 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 :