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

Pro TBB

C++ Parallel Programming with Threading Building Blocks

af Michael Voss, Rafael Asenjo, James Reinders ...

Serier serie Professional and Applied Computing (R0)
This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices ... Læs mere

Gratis

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices
... Læs mere
Today's TBB

C++ Parallel Programming with Threading Building Blocks

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

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

Gratis

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,
... Læs mere
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Redigeret af Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Simona Tiribelli, Kary Främling ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI ... Læs mere

479,11 kr.

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI
... Læs mere
CODING INTERVIEWS G U I D E

Essential Guide to Prepare You with the Most Effective Case Studies and Coding Interview Questions

af Olivia Miller ...

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike. ... Læs mere

39,22 kr.

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike.
... Læs mere
Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Redigeret af Isil Dillig, Serdar Tasiran ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Læs mere

Gratis

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... Læs mere
Formal Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Redigeret af Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the ... Læs mere

420,24 kr.

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the
... Læs mere
OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Redigeret af Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy. ... Læs mere

394,99 kr.

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
... Læs mere
Testing Software and Systems

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

Redigeret af Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko ...

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

420,24 kr.

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
... Læs mere
Inductive Logic Programming

27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Redigeret af Nicolas Lachiche, Christel Vrain ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.The 12 full papers presented were carefully reviewed and selected from numerous submissions.Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic ... Læs mere

420,24 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.The 12 full papers presented were carefully reviewed and selected from numerous submissions.Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic
... Læs mere
Theory and Practice of Model Transformations

8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Redigeret af Dimitris Kolovos, Manuel Wimmer ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse ... Læs mere

394,99 kr.

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse
... Læs mere
Dynamic Logic. New Trends and Applications

Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Redigeret af Luís Soares Barbosa, Alexandru Baltag ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 ... Læs mere

466,89 kr.

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26
... Læs mere
Clean Ruby

A Guide to Crafting Better Code for Rubyists

af Carleton DiLeo ...

Serier serie Professional and Applied Computing (R0)
Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity. ... Læs mere

410,20 kr.

Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-learned lessons gained from years of experience across numerous codebases both large and small. Each chapter covers the topics you need to know to make better decisions and optimize your productivity.
... Læs mere
Graphical Models for Security

5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Redigeret af George Cybenko, David Pym, Barbara Fila ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for ... Læs mere

466,89 kr.

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for
... Læs mere
Deploying Raspberry Pi in the Classroom

af Guy Hart-Davis ...

Serier serie Professional and Applied Computing (R0)
Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face.Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT administrators at schools will see how to set up the hardware and software swiftly on ... Læs mere

261,79 kr.

Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face.Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT administrators at schools will see how to set up the hardware and software swiftly on
... Læs mere
Code Generation with Roslyn

af Nick Harrison ...

Serier serie Professional and Applied Computing (R0)
Learn how Roslyn's new code generation capability will let you write software that is more concise, runs faster, and is easier to maintain. You will learn from real-world business applications to create better software by letting the computer write its own code based on your business logic already defined in lookup tables.Code Generation with Rosyln is the first book to cover this new capability. ... Læs mere

235,55 kr.

Learn how Roslyn's new code generation capability will let you write software that is more concise, runs faster, and is easier to maintain. You will learn from real-world business applications to create better software by letting the computer write its own code based on your business logic already defined in lookup tables.Code Generation with Rosyln is the first book to cover this new capability.
... Læs mere
MATLAB Matrix Algebra

af Cesar Lopez ...

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

462,50 kr.

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
... Læs mere
Accelerator Programming Using Directives

8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

Redigeret af Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel ... Læs mere

513,59 kr.

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel
... Læs mere
Genetic Algorithms in Java Basics

af Burak Kanber, Lee Jacobson ...

Serier serie Professional and Applied Computing (R0)
Genetic Algorithms in Java Basics is a brief introduction to solving problems using genetic algorithms, with working projects and solutions written in the Java programming language. This brief book will guide you step-by-step through various implementations of genetic algorithms and some of their common applications, with the aim to give you a practical understanding allowing you to solve your own ... Læs mere

549,82 kr.

Genetic Algorithms in Java Basics is a brief introduction to solving problems using genetic algorithms, with working projects and solutions written in the Java programming language. This brief book will guide you step-by-step through various implementations of genetic algorithms and some of their common applications, with the aim to give you a practical understanding allowing you to solve your own
... Læs mere
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

af Mikael Olsson ...

Serier Bog 7 - Professional and Applied Computing (R0)
This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... Læs mere

235,55 kr.

This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code
... Læs mere
Database Systems for Advanced Applications. DASFAA 2022 International Workshops

BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings

Redigeret af Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy ...

Serier serie Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on ... Læs mere

714,49 kr.

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on
... Læs mere
Runtime Verification

25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

Redigeret af Bettina Könighofer, Hazem Torfah ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring, ... Læs mere

546,36 kr.

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring,
... Læs mere
Service-Oriented Computing – ICSOC 2016 Workshops

ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Redigeret af Yuhong Yan, Sami Bhiri, François Charoy, Jan Mendling, Qi Yu, Khalil Drira, Zhongjie Wang, Yan Wang, Mohamed Mohamed, Hongbing Wang ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst ... Læs mere

420,24 kr.

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst
... Læs mere
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Redigeret af Jonathan P. Bowen, Huibiao Zhu ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of
... Læs mere
Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Redigeret af Tiago Massoni, Mohammad Reza Mousavi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical ... Læs mere

479,11 kr.

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical
... 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

Pro TBB

Today's TBB

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

CODING INTERVIEWS G U I D E

Computer Aided Verification

Formal Aspects of Component Software

OpenMP: Heterogenous Execution and Data Movements

Testing Software and Systems

Inductive Logic Programming

Theory and Practice of Model Transformations

Dynamic Logic. New Trends and Applications

Clean Ruby

Graphical Models for Security

Deploying Raspberry Pi in the Classroom

Code Generation with Roslyn

MATLAB Matrix Algebra

Accelerator Programming Using Directives

Genetic Algorithms in Java Basics

C# 7 Quick Syntax Reference

Database Systems for Advanced Applications. DASFAA 2022 International Workshops

Runtime Verification

Service-Oriented Computing – ICSOC 2016 Workshops

Unifying Theories of Programming

Formal Methods: Foundations and Applications