English

Compilers

Compilers 

C Programming: The Essentials for Engineers and Scientists

C Programming: The Essentials for Engineers and Scientists

Brooks, David R.
EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461271611
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,698 -10%
Visual Language Theory

Visual Language Theory

EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461272403
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 2,612 -10%
Perspectives on Software Requirements

Perspectives on Software Requirements

EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461350903
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 2,612 -10%
Virtual Machines

Virtual Machines

Craig Iain D.
EnglishPaperback / softbackPrint on demand
Springer London Ltd
ISBN: 9781849969802
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 3,918 -10%
Domain Theory, Logic and Computation

Domain Theory, Logic and Computation

EnglishPaperback / softbackPrint on demand
Springer
ISBN: 9789048165230
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 3,918 -10%
World of Programming Languages

World of Programming Languages

Marcotty Michael
EnglishPaperback / softback
Springer-Verlag New York Inc.
ISBN: 9780387964409
On order
Delivery on Monday, 20. of July 2026
On order
Delivery on Monday, 20. of July 2026
CZK 3,221 -10%
Practical Smalltalk

Practical Smalltalk

Shafer Dan
EnglishPaperback / softback
Springer-Verlag New York Inc.
ISBN: 9780387973944
On order
Delivery on Monday, 20. of July 2026
On order
Delivery on Monday, 20. of July 2026
CZK 2,612 -10%
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642333859
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Language Equations

Language Equations

Leiss Ernst L.
EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461274360
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Natural Language Generation Systems

Natural Language Generation Systems

EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461283744
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Reachability Problems

Reachability Problems

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642335112
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,202 -10%
Model Checking Software

Model Checking Software

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783642223051
On order
Delivery on Monday, 20. of July 2026
On order
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642340253
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642340314
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Testing Software and Systems

Testing Software and Systems

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642346903
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Runtime Verification

Runtime Verification

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642356315
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Formal Aspects of Component Software

Formal Aspects of Component Software

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642358609
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,202 -10%
Generative and Transformational Techniques in Software Engineering IV

Generative and Transformational Techniques in Software Engineering IV

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642359910
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Constraint and Integer Programming

Constraint and Integer Programming

EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461347194
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 3,918 -10%
Algebraic Specifications in Software Engineering

Algebraic Specifications in Software Engineering

Horebeek Ivo Van
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783642750328
On order
Delivery on Monday, 20. of July 2026
On order
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Logic Programming and Databases

Logic Programming and Databases

Ceri Stefano
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783642839542
On order
Delivery on Monday, 20. of July 2026
On order
Delivery on Monday, 20. of July 2026
CZK 1,959 -10%
Workload Characterization for Computer System Design

Workload Characterization for Computer System Design

EnglishPaperback / softbackPrint on demand
Springer-Verlag New York Inc.
ISBN: 9781461369738
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 2,612 -10%
Programming Environments for Massively Parallel Distributed Systems

Programming Environments for Massively Parallel Distributed Systems

EnglishPaperback / softbackPrint on demand
Springer, Basel
ISBN: 9783034896689
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 1,306 -10%
Computational Logic

Computational Logic

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642636707
Print on demand
Delivery on Monday, 20. of July 2026
Print on demand
Delivery on Monday, 20. of July 2026
CZK 3,918 -10%