- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Atlantis Studies in Computing
-
Instruction Sequences for Computer Science
Jan A Bergstra, Cornelis a Middelburg
- Hardcover | Engels | Atlantis Studies in Computing | nr. 2
- This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in compu... Lees meer
€ 124,74Levering 1 à 2 weken€ 124,74Levering 1 à 2 weken -
Instruction Sequences for Computer Science
Jan A Bergstra, Cornelis a Middelburg
- Paperback | Engels | Atlantis Studies in Computing | nr. 2
- This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in compu... Lees meer
€ 124,74Levering 1 à 2 weken€ 124,74Levering 1 à 2 weken -
Logics in Computer Science
Fabio Mogavero
- Paperback | Engels | Atlantis Studies in Computing | nr. 3
- In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verificati... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha
- Hardcover | Engels | Atlantis Studies in Computing | nr. 7
- In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to ... Lees meer
€ 93,72Levering 1 à 2 weken€ 93,72Levering 1 à 2 weken -
Code Generation with Templates
Jeroen Arnoldus, Mark Van Den Brand, A Serebrenik, J J Brunekreef
- Paperback | Engels | Atlantis Studies in Computing | nr. 1
- Templates are used to generate all kinds of text, including computer code. The last decade, the use of templates gained a lot of popularity due to the... Lees meer
€ 154,44Levering 1 à 2 weken€ 154,44Levering 1 à 2 weken -
Logics in Computer Science
Fabio Mogavero
- Hardcover | Engels | Atlantis Studies in Computing | nr. 3
- In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verificati... Lees meer
€ 98,99Levering 1 à 2 weken€ 98,99Levering 1 à 2 weken -
Constraints Meet Concurrency
Jacopo Mauro
- Hardcover | Engels | Atlantis Studies in Computing | nr. 5
- This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used ... Lees meer
€ 110,95Levering 1 à 2 weken€ 110,95Levering 1 à 2 weken -
Compressed Data Structures for Strings
Rossano Venturini
- Hardcover | Engels | Atlantis Studies in Computing | nr. 4
- Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the form... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Code Generation with Templates
Jeroen Arnoldus, Mark Van Den Brand, A Serebrenik, J J Brunekreef
- Hardcover | Engels | Atlantis Studies in Computing | nr. 1
- Templates are used to generate all kinds of text, including computer code. The last decade, the use of templates gained a lot of popularity due to the... Lees meer
€ 154,44Levering 1 à 2 weken€ 154,44Levering 1 à 2 weken -
Analysis and Enumeration
Andrea Marino
- Hardcover | Engels | Atlantis Studies in Computing | nr. 6
- In this work we plan to revise the main techniques for enumeration algorithms and to show four examples of enumeration algorithms that can be applied ... Lees meer
€ 83,15Levering 1 à 2 weken€ 83,15Levering 1 à 2 weken
10 van 10 resultaten getoond