Rakuten Kobo

Compiler Design

Analysis and Transformation

by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack ...

Series series Computer Science (R0)
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming ... Read more

$64.79 USD

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming
... Read more
Foundational Java

Key Elements and Practical Programming

by David Parsons ...

Series series Computer Science (R0)
This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more ... Read more

$72.08 USD

This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more
... Read more
Writing Compilers and Interpreters

A Software Engineering Approach

by Ronald Mak ...

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a ... Read more

$70.00 USD

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a
... Read more
String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

$56.69 USD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Read more
Introduction to Programming with Fortran

With Coverage of Fortran 90, 95, 2003, 2008 and 77

by Ian Chivers, Jane Sleightholme ...

Series series Computer Science (R0)
In response to feedback from course delegates this third edition has been revised throughout. It expands on the second edition with new and updated examples in the chapters on arithmetic, i/o, character data, modules, data structuring and generic programming with minor updates to the rest of the chapters.Key Features· lots of clear, simple examples highlighting the core language features of modern ... Read more

$68.84 USD

In response to feedback from course delegates this third edition has been revised throughout. It expands on the second edition with new and updated examples in the chapters on arithmetic, i/o, character data, modules, data structuring and generic programming with minor updates to the rest of the chapters.Key Features· lots of clear, simple examples highlighting the core language features of modern
... Read more
コンパイラ設計

by Knowledge Flow ...

Series series プログラミングとコンピュータサイエンスシリーズ
*Knowledge Flow社の『Compiler Design（コンパイラ設計）』**は、コンパイラ構築の基礎から高度な概念までを網羅する包括的なガイドです。本書は、字句解析、構文解析、意味解析、中間コード生成、最適化、コード生成技術を理解したい学生、ソフトウェアエンジニア、コンピュータサイエンス愛好家にとって理想的な一冊です。構文解析手法、エラー処理、記号表、メモリ管理など、コンパイラ設計への段階的なアプローチを提供します。明確な説明、実例、構造化された学習により、複雑なトピックを簡素化し、コンパイラ理論を習得するための必須のリソースとなっています。 ... Read more

$3.99 USD or Free with Kobo Plus

*Knowledge Flow社の『Compiler Design（コンパイラ設計）』**は、コンパイラ構築の基礎から高度な概念までを網羅する包括的なガイドです。本書は、字句解析、構文解析、意味解析、中間コード生成、最適化、コード生成技術を理解したい学生、ソフトウェアエンジニア、コンピュータサイエンス愛好家にとって理想的な一冊です。構文解析手法、エラー処理、記号表、メモリ管理など、コンパイラ設計への段階的なアプローチを提供します。明確な説明、実例、構造化された学習により、複雑なトピックを簡素化し、コンパイラ理論を習得するための必須のリソースとなっています。
... Read more
Options and Derivatives Programming in C++23

Algorithms and Programming Techniques for the Financial Industry

by Carlos Oliveira ...

Series series Professional and Applied Computing (R0)
This book is a hands-on guide for programmers who want to learn how C++ is used to develop solutions for options and derivatives trading in the financial industry. It explores the main algorithms and programming techniques used in implementing systems and solutions for trading options and derivatives. This updated edition will bring forward new advances in C++ software language and libraries, with ... Read more

$44.54 USD

This book is a hands-on guide for programmers who want to learn how C++ is used to develop solutions for options and derivatives trading in the financial industry. It explores the main algorithms and programming techniques used in implementing systems and solutions for trading options and derivatives. This updated edition will bring forward new advances in C++ software language and libraries, with
... Read more
Smart Card Research and Advanced Applications

15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

Edited by Kerstin Lemke-Rust, Michael Tunstall ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development, ... Read more

$44.54 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development,
... Read more
Instant Buildroot

by Daniel Manchón Vizuete ...

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. A concise guide full of step-by-step recipes to help you learn how to generate and configure an embedded Linux system using Buildroot.Instant Buildroot is for developers who want to know how to use Buildroot tools to generate and configure their own embedded system. It is assumed that ... Read more

$12.86 USD or Free with Kobo Plus

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. A concise guide full of step-by-step recipes to help you learn how to generate and configure an embedded Linux system using Buildroot.Instant Buildroot is for developers who want to know how to use Buildroot tools to generate and configure their own embedded system. It is assumed that
... Read more
C++ 2013 for C# Developers

by Dean C. Wills ...

C++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginning with a detailed explanation of the mechanics of C++'s execution sequence, its grammar, syntax and data access you'll quickly learn the similarities and differences between C++ and C#.The second and third partsof the of the book are devoted to a detailed deep ... Read more

$48.59 USD

C++ 2013 for C# Developers provides a fast-track to C++ proficiency forthose already using the C# language at an advanced level. Beginning with a detailed explanation of the mechanics of C++'s execution sequence, its grammar, syntax and data access you'll quickly learn the similarities and differences between C++ and C#.The second and third partsof the of the book are devoted to a detailed deep
... Read more
Thinking with Diagrams

Edited by Alan F. Blackwell ...

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... Read more

$120.68 USD

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research
... Read more
Guide to ILDJIT

by Simone Campanoni ...

Series series Computer Science (R0)
This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow ... Read more

$44.54 USD

This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow
... Read more
NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Edited by Aaron Dutle, César Muñoz, Anthony Narkawicz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... Read more

Was $80.09 USD Now $44.54 USD

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations
... Read more
Software Engineering and Formal Methods

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

Edited by Peter Csaba Ölveczky, Gwen Salaün ...

Series 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 ... Read more

Was $80.09 USD Now $44.54 USD

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
... Read more
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Read more

Was $71.99 USD Now $44.54 USD

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... Read more
Future Data and Security Engineering

4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Edited by Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Tran Khanh Dang, Nam Thoai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and ... Read more

Was $76.49 USD Now $44.54 USD

This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and
... Read more
Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Edited by Giovanna Di Marzo Serugendo, Michele Loreti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... Read more

Was $62.99 USD Now $44.54 USD

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide
... Read more
OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Edited by Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP. ... Read more

$60.74 USD

This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP.
... Read more
Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Edited by Mauricio Ayala-Rincón, César A. Muñoz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... Read more

Was $80.09 USD Now $44.54 USD

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... Read more
Conceptual Modeling

36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Read more

Was $80.09 USD Now $44.54 USD

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and
... Read more
High Performance Computing

ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Edited by Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International ... Read more

Was $98.09 USD Now $44.54 USD

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International
... Read more
Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Edited by Rupak Majumdar, Viktor Kunčak ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... Read more

Was $89.09 USD Now $44.54 USD

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is
... Read more
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Edited by Alexander Romanovsky, Elena A. Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Read more

Was $62.99 USD Now $44.54 USD

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... Read more
Creating Maintainable APIs

A Practical, Case-Study Approach

by Ervin Varga ...

Series series Professional and Applied Computing (R0)
Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message ... Read more

$40.49 USD

Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Compilers eBooks

Show: