Atlantis Studies in Computing – serie
Visar alla böcker i serien Atlantis Studies in Computing. Handla med fri frakt och snabb leverans.
8 produkter
Compressed Data Structures for Strings
On Searching and Extracting Strings from Compressed Textual Data
Inbunden, 2013
569 kr
Lägg i varukorg
Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the former aims at minimizing data redundancies, whereas the latter augments the dataset with auxiliary information to speed up the query resolution. In this …
Logics in Computer Science
A Study on Extensions of Temporal and Strategic Logics
Häftad, 2015
621 kr
Lägg i varukorg
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two …
Constraints Meet Concurrency
Av Jacopo Mauro
Inbunden, 2014
569 kr
Lägg i varukorg
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, …
Analysis and Enumeration
Algorithms for Biological Graphs
Inbunden, 2015
769 kr
Lägg i varukorg
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 to efficiently deal with some biological problems modelled by using biological networks: enumerating central and peripheral nodes of a network, …
Type Systems for Distributed Programs: Components and Sessions
Inbunden, 2016
1043 kr
Lägg i varukorg
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems …
Code Generation with Templates
Av Jeroen Arnoldus, Mark van den Brand m. fl.
Inbunden, 2012
1126 kr
Lägg i varukorg
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 increase of dynamic web applications. Templates are a tool for programmers, and implementations of template engines are most times based on …
Instruction Sequences for Computer Science
Av Jan A Bergstra, Cornelis A. Middelburg
Inbunden, 2012
1126 kr
Lägg i varukorg
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously …
Logics in Computer Science
A Study on Extensions of Temporal and Strategic Logics
Inbunden, 2013
550 kr
Lägg i varukorg
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two …
