Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

LLVM Cookbook

Over 80 engaging recipes that will help you build a compiler frontend, optimizer, and code generator using LLVM

af Mayur Pandey, Suyog Sarda ...

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code. ... Læs mere

300,36 kr. eller Gratis med Kobo Plus

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code.
... Læs mere
Pro .NET Memory Management

For Better Code, Performance, and Scalability

af Konrad Kokosa ...

Serier serie Professional and Applied Computing (R0)
Understand .NET memory management internal workings, pitfalls, and techniques in order to effectively avoid a wide range of performance and scalability problems in your software. Despite automatic memory management in .NET, there are many advantages to be found in understanding how .NET memory works and how you can best write software that interacts with it efficiently and effectively. Pro .NET ... Læs mere

785,36 kr.

Understand .NET memory management internal workings, pitfalls, and techniques in order to effectively avoid a wide range of performance and scalability problems in your software. Despite automatic memory management in .NET, there are many advantages to be found in understanding how .NET memory works and how you can best write software that interacts with it efficiently and effectively. Pro .NET
... Læs mere
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Redigeret af Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Serier serie Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... Læs mere

840,29 kr.

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... Læs mere
Distributed Virtual Worlds

Foundations and Implementation Techniques Using VRML, Java, and CORBA

af Stephan Diehl ...

Serier serie Computer Science (R0)
Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet ... Læs mere

466,79 kr.

Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet
... Læs mere
Formal Methods: State of the Art and New Directions

Redigeret af Paul Boca, Jonathan P. Bowen, Jawed Siddiqi ...

Serier serie Computer Science (R0)
840,29 kr.
Rigorous State-Based Methods

11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Redigeret af Michael Leuschel, Fuyuki Ishikawa ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full ... Læs mere

1.120,42 kr.

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full
... Læs mere
Reversible Computation

10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Redigeret af Jarkko Kari, Irek Ulidowski ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible
... Læs mere
SOFSEM 2018: Theory and Practice of Computer Science

44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

Redigeret af A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018.The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software
... Læs mere
Mathematical Software – ICMS 2018

6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Redigeret af James H. Davenport, Manuel Kauers, George Labahn, Josef Urban ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and
... Læs mere
Theory and Practice of Model Transformation

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

Redigeret af Arend Rensink, Jesús Sánchez Cuadrado ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of
... Læs mere
Scientific Data Analysis using Jython Scripting and Java

af Sergei V. Chekanov ...

Serier serie Computer Science (R0)
Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language. The chapters essentially cover all aspects of data analysis, from arrays and histograms to clustering analysis, curve fitting, metadata and neural networks. A comprehensive coverage of data visualisation tools ... Læs mere

466,79 kr.

Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language. The chapters essentially cover all aspects of data analysis, from arrays and histograms to clustering analysis, curve fitting, metadata and neural networks. A comprehensive coverage of data visualisation tools
... Læs mere
Foundations of Programming Languages

af Kent D. Lee ...

Serier serie Computer Science (R0)
This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to help reinforce the concepts outside of the ... Læs mere

513,48 kr.

This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to help reinforce the concepts outside of the
... Læs mere
Python Programming Fundamentals

af Kent D. Lee ...

Serier serie Computer Science (R0)
Computer programming is a skill that can bring great enjoyment from the creativity involved in designing and implementing a solution to a problem. This classroom-tested and easy-to-follow textbook teaches the reader how to program using Python, an accessible language which can be learned incrementally. Through an extensive use of examples and practical exercises, students will learn to recognize ... Læs mere

308,05 kr.

Computer programming is a skill that can bring great enjoyment from the creativity involved in designing and implementing a solution to a problem. This classroom-tested and easy-to-follow textbook teaches the reader how to program using Python, an accessible language which can be learned incrementally. Through an extensive use of examples and practical exercises, students will learn to recognize
... Læs mere
Verification and Evaluation of Computer and Communication Systems

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

Redigeret af Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar ...

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

466,79 kr.

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is
... Læs mere
Automatic Re-engineering of Software Using Genetic Programming

af Conor Ryan ...

Serier serie Computer Science (R0)
Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application area - software re-engineering in general and automatic parallelization specifically. Unlike most uses of Genetic Programming, this book evolves sequences of provable transformations rather than actual programs. It demonstrates that the benefits of this ... Læs mere

840,29 kr.

Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application area - software re-engineering in general and automatic parallelization specifically. Unlike most uses of Genetic Programming, this book evolves sequences of provable transformations rather than actual programs. It demonstrates that the benefits of this
... Læs mere
Automatic Tuning of Compilers Using Machine Learning

af Amir H. Ashouri, Gianluca Palermo, John Cavazos, Cristina Silvano ...

Serier serie Engineering (R0)
This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrates that not all the optimization passes are suitable for use within an optimization sequence and that, in fact, many of the available passes tend to counteract one another. After providing a ... Læs mere

466,79 kr.

This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrates that not all the optimization passes are suitable for use within an optimization sequence and that, in fact, many of the available passes tend to counteract one another. After providing a
... Læs mere
Formal Languages and Computation

Models and Their Applications

af Alexander Meduna ...

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio ... Læs mere

695,45 kr.

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio
... Læs mere
Artificial Intelligence and Soft Computing

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

Redigeret af Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Serier Bog 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 ... Læs mere

1.027,04 kr.

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
... Læs mere
Introduction to Concurrency in Programming Languages

af Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen ...

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book ... Læs mere

738,25 kr.

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book
... Læs mere
Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Redigeret af Cliff Jones, Ji Wang, Naijun Zhan ...

Serier serie Computer Science (R0)
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... Læs mere

466,79 kr.

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic
... Læs mere
Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings

Redigeret af Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of ... Læs mere

840,29 kr.

This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of
... Læs mere
OpenMP: Portable Multi-Level Parallelism on Modern Systems

16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings

Redigeret af Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies; ... Læs mere

700,23 kr.

This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies;
... Læs mere
Software Engineering for Resilient Systems

7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Redigeret af Alessandro Fantechi, Patrizio Pelliccione ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and ... Læs mere

373,41 kr.

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and
... Læs mere
Grundkurs Compilerbau

af Uwe Meyer ...

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen« ... Læs mere

223,36 kr.

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen«
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

LLVM Cookbook

Pro .NET Memory Management

FME 2003: Formal Methods

Distributed Virtual Worlds

Formal Methods: State of the Art and New Directions

Rigorous State-Based Methods

Reversible Computation

SOFSEM 2018: Theory and Practice of Computer Science

Mathematical Software – ICMS 2018

Theory and Practice of Model Transformation

Scientific Data Analysis using Jython Scripting and Java

Foundations of Programming Languages

Python Programming Fundamentals

Verification and Evaluation of Computer and Communication Systems

Automatic Re-engineering of Software Using Genetic Programming

Automatic Tuning of Compilers Using Machine Learning

Formal Languages and Computation

Artificial Intelligence and Soft Computing

Introduction to Concurrency in Programming Languages

Symposium on Real-Time and Hybrid Systems

Logic and Argumentation

OpenMP: Portable Multi-Level Parallelism on Modern Systems

Software Engineering for Resilient Systems

Grundkurs Compilerbau