Filter by
Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- Lecture Notes in Computer Science
- Call Number
- XXII, 583
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 subm…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- Lecture Notes in Computer Science
- Call Number
- XIV, 347
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- Lecture Notes in Computer Science
- Call Number
- XIV, 604
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99336-8
- Collation
- -
- Series Title
- -
- Call Number
- -
XcalableMP PGAS Programming Language: From Programming Model to Applications
XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address Space (PGAS) model for distributed memory parallel systems. This open access book presents XcalableMP language from its programming model and basic concept to the experience and performance of applications described in XcalableMP. XcalableMP was taken as a parallel…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Data Parallel C++
"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm University Learn how to accelerate C++ programs using data parallelism and SYCL. This open access book enables C++ programmers to be at the forefront of this exciting and important development that is help…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-9690-5
- Collation
- XXX, 630
- Series Title
- -
- Call Number
- -
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intellig…
This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023. The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-44899-7
- Collation
- XX, 195
- Series Title
- -
- Call Number
- -
Automated Reasoning with Analytic Tableaux and Related Methods
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from…
- Edition
- -
- ISBN/ISSN
- 978-3-031-43512-6
- Collation
- XXV, 482
- Series Title
- -
- Call Number
- -
Speaking Code: Coding as Aesthetic and Political Expression
Speaking Code begins by invoking the "Hello World" convention used by programmers when learning a new language, helping to establish the interplay of text and code that runs through the book. Interweaving the voice of critical writing from the humanities with the tradition of computing and software development, in Speaking Code Geoff Cox formulates an argument that aims to undermine the distinc…
- Edition
- -
- ISBN/ISSN
- 9780262305228
- Collation
- 1 online resource (xv, 149 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Computer Boys Take Over: Computers, Programmers, and the Politics of Tech…
"This book provides the most holistic approach to the history of the development of programming and computer systems so far written. By embedding this history in a sociological and political context, Ensmenger has added hugely to our understanding of how the world of computing and its work practices came to be." Martin Campbell-Kelly, Professor of Computer Science, Warwick University.;"The Comp…
- Edition
- -
- ISBN/ISSN
- 9780262289351
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography