Séries : livres de la série Atlantis Studies in Computing

Tous les livres de la série Atlantis Studies in Computing

10 résultats

Trier par

Instruction Sequences for Computer Science

Jan A Bergstra, Cornelis a Middelburg
- Livre relié | Anglais | Atlantis Studies in Computing | n° 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... Savoir plus
124,74 €

Livraison 1 à 2 semaines

supprimer
124,74 €

Livraison 1 à 2 semaines
Instruction Sequences for Computer Science

Jan A Bergstra, Cornelis a Middelburg
- Livre broché | Anglais | Atlantis Studies in Computing | n° 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... Savoir plus
124,74 €

Livraison 1 à 2 semaines

supprimer
124,74 €

Livraison 1 à 2 semaines
Logics in Computer Science

Fabio Mogavero
- Livre broché | Anglais | Atlantis Studies in Computing | n° 3
- In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verificati... Savoir plus
83,95 €

Livraison 2 à 3 semaines

supprimer
83,95 €

Livraison 2 à 3 semaines
Type Systems for Distributed Programs: Components and Sessions

Ornela Dardha
- Livre relié | Anglais | Atlantis Studies in Computing | n° 7
- In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to ... Savoir plus
93,72 €

Livraison 1 à 2 semaines

supprimer
93,72 €

Livraison 1 à 2 semaines
Code Generation with Templates

Jeroen Arnoldus, Mark Van Den Brand, A Serebrenik, J J Brunekreef
- Livre broché | Anglais | Atlantis Studies in Computing | n° 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... Savoir plus
154,44 €

Livraison 1 à 2 semaines

supprimer
154,44 €

Livraison 1 à 2 semaines
Logics in Computer Science

Fabio Mogavero
- Livre relié | Anglais | Atlantis Studies in Computing | n° 3
- In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verificati... Savoir plus
98,99 €

Livraison 1 à 2 semaines

supprimer
98,99 €

Livraison 1 à 2 semaines
Constraints Meet Concurrency

Jacopo Mauro
- Livre relié | Anglais | Atlantis Studies in Computing | n° 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 ... Savoir plus
110,95 €

Livraison 1 à 2 semaines

supprimer
110,95 €

Livraison 1 à 2 semaines
Compressed Data Structures for Strings

Rossano Venturini
- Livre relié | Anglais | Atlantis Studies in Computing | n° 4
- Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the form... Savoir plus
83,95 €

Livraison 2 à 3 semaines

supprimer
83,95 €

Livraison 2 à 3 semaines
Code Generation with Templates

Jeroen Arnoldus, Mark Van Den Brand, A Serebrenik, J J Brunekreef
- Livre relié | Anglais | Atlantis Studies in Computing | n° 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... Savoir plus
154,44 €

Livraison 1 à 2 semaines

supprimer
154,44 €

Livraison 1 à 2 semaines
Analysis and Enumeration

Andrea Marino
- Livre relié | Anglais | Atlantis Studies in Computing | n° 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 ... Savoir plus
83,15 €

Livraison 1 à 2 semaines

supprimer
83,15 €

Livraison 1 à 2 semaines