Search Results

ENGLISH

Compressed Data Structures For Strings - On Searching And Extracting Strings From Compressed Textual Data

by Rossano Venturini

59,61€ + 10% CARD

 Data compression is mandatory to manage massive datasets, indexing is fundamental to query them.
ENGLISH

Constraints Meet Concurrency

by Jacopo Mauro

59,61€ + 10% CARD

 Constraints Meet Concurrency
ENGLISH

Analysis And Enumeration - Algorithms For Biological Graphs

by Andrea Marino

83,46€ + 10% CARD

 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, enumerating stories, enumerating paths or cycles, and enumerating bubbles. Notice that the corresponding computational problems we define are of more general interest and our results hold in the case of arbitrary graphs. Enumerating all the most and less central vertices in a network according to their eccentricity is an example of an enumeration problem whose solutions are polynomial and can be listed in polynomial time, very often in linear or almost linear time in practice. Enumerating stories, i.e. all maximal directed acyclic subgraphs of a graph G whose sources and targets belong to a predefined subset of the vertices, is on the other hand an example of an enumeration problem with an exponential number of solutions, that can be solved by using a non trivial brute-force approach. Given a metabolic network, each individual story should explain how some interesting metabolites are derived from some others through a chain of reactions, by keeping all alternative pathways between sources and targets. Enumerating cycles or paths in an undirected graph, such as a protein-protein interaction undirected network, is an example of an enumeration problem in which all the solutions can be listed through an optimal algorithm, i.e. the time required to list all the solutions is dominated by the time to read the graph plus the time required to print all of them. By extending this result to directed graphs, it would be possible to deal more efficiently with feedback loops and signed paths analysis in signed or interaction directed graphs, such as gene regulatory networks. Finally, enumerating mouths or bubbles with a source s in a directed graph, that is enumerating all the two vertex-disjoint directed paths between the source s and all the possible targets, is an example of an enumeration problem in which all the solutions can be listed through a linear delay algorithm, meaning that the delay between any two consecutive solutions is linear, by turning the problem into a constrained cycle enumeration problem. Such patterns, in a de Bruijn graph representation of the reads obtained by sequencing, are related to polymorphisms in DNA- or RNA-seq data.
ENGLISH

Type Systems For Distributed Programs: Components And Sessions

by Ornela Dardha

94,08€ + 10% CARD

 <div>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 are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.</div><div>The main contributions of this book are twofold.<br><br></div><div>i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.<br><br></div><div>ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.</div>
ENGLISH

Code Generation With Templates

by A. Serebrenik, J.J. Brunekreef, Jeroen Arnoldus e Mark Van Den Brand

118,59€ + 10% CARD

 Covers the topic of templates in software engineering. This book discusses the theoretical background of templates. It shows that the metalanguage can be limited to the power of a tree-to-string transducer. It discusses an approach where the template evaluator explicitly guarantees syntactical correctness of the output.
ENGLISH

Instruction Sequences For Computer Science

by Cornelis A. Middelburg e Jan A Bergstra

118,59€ + 10% CARD

 Demonstrates that the concept of an instruction sequence offers a useful viewpoint on issues relating to diverse subjects in computer science. This title investigates selected issues relating to well-known subjects from the theory of computation and the area of computer architecture in terms of a common model of computation.
ENGLISH

Logics In Computer Science - A Study On Extensions Of Temporal And Strategic Logics

by Fabio Mogavero

59,61€ + 10% CARD

 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.
ENGLISH

Logics In Computer Science - A Study On Extensions Of Temporal And Strategic Logics

by Fabio Mogavero

~~60,82€~~ 42,57€ 30% OFF

free shipping

 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.
ENGLISH

Compressed Data Structures For Strings - On Searching And Extracting Strings From Compressed Textual Data

by Rossano Venturini

~~44,60€~~ 31,22€ 30% OFF

free shipping

 Data compression is mandatory to manage massive datasets, indexing is fundamental to query them.
ENGLISH

The Essential Knuth

by Donald E (Stanford University California) Knuth

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Turing Tales

by Edgar G Daylight

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Spanish Pyrenees - And Steppes Of Huesca - Spain

by Dirk Hilbers e Kees Woutersen

23,39€

free shipping

OUT OF STOCK OR NOT AVAILABLE

 This is the new edition of the successful Spanish Pyrenees and steppes of Huesca - Spain. This Crossbill Guide covers all aspects of this region: Wildlife and landscape: birdwatching sites, the most intact wilderness areas, the butterflies and wildflowers and geological phenomena.
ENGLISH

Canary Islands - Fuerteventura And Lanzarote - Spain

by Dirk Hilbers e Kees Woutersen

21,72€

free shipping

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Rijks - Masters Of The Golden Age

by Marcel Wanders

118,29€

free shipping

OUT OF STOCK OR NOT AVAILABLE

 An homage to the 17th-century Dutch masterpieces from the Rijksmuseum's prestigious Gallery of Honour, with over 60 iconic paintings.
ENGLISH

Decorations - Kasper Bosmans

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Wdwxxv - In Light Of 25 Years

by Defne Ayas e Samuel Saelemakers

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Art In The Age Of...

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

End Note - Moderation 2012-2014

by Nadim Abbas

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Rotterdam Zuid - Home

by Erik Van Lieshout

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Angela Bulloch - Source Book 10

by George Van Dam, Nav Haq e Nicolaus Schafhausen

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

One Leg In The Grave Revisited

22,53€

free shipping

OUT OF STOCK OR NOT AVAILABLE

 This book offers over 80 reproductions of representations of the Miracle of the Black Leg, quite a number of which have never been published before. Articles by art historians (De Jong, Fracchia), medievalists (Santing), and an Introduction by Zimmerman himself, shed light on different aspects of the legend.
ENGLISH

The Occupied Coast - Living In The Shadow Of The Atlantic Wall

by Aline Sax, Hannelore Vandebroek e Jonas Raats

22,53€

free shipping

OUT OF STOCK OR NOT AVAILABLE

 Telling the story of the English, French and Belgian people who were living where Hitler built his Atlantic Wall, and including testimonies, documents from archives world wide, and previously unpublished images.
ENGLISH

Limits Of Patriarchy - How Female Networks Of Pilfering And Gossip Sparked The First Debates On Rural Gender Rights In The 19th-Century Finnish-Language Press

by Laura Stark

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Hardly Ever Otherwise

by Maria Matios

OUT OF STOCK OR NOT AVAILABLE

 Stories of several Ukrainian families in the Carpathian mountains during the last decade of the Austro-Hungarian Empire told as seen through the eyes of Ukrainian women, highlighting aspects of culture and daily life.
Loading results...

View more results