Angličtina

Kompilátory

Kompilátory 

Interactive Theorem Proving

Interactive Theorem Proving

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642140518
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 633 Kč
Bežná cena: 2 925 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 925 Kč -10 %
ECOOP 2010 -- Object-Oriented Programming

ECOOP 2010 -- Object-Oriented Programming

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642141065
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 633 Kč
Bežná cena: 2 925 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 925 Kč -10 %
CONCUR 2010 - Concurrency Theory

CONCUR 2010 - Concurrency Theory

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642153747
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 633 Kč
Bežná cena: 2 925 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 925 Kč -10 %
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642156427
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Software Technologies for Embedded and Ubiquitous Systems

Software Technologies for Embedded and Ubiquitous Systems

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642162558
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642163098
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Implementation and Application of Functional Languages

Implementation and Application of Functional Languages

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642164774
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Formal Methods and Software Engineering

Formal Methods and Software Engineering

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642169007
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 633 Kč
Bežná cena: 2 925 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 925 Kč -10 %
Programming for Software Sharing

Programming for Software Sharing

AngličtinaMěkká vazbaTisk na objednávku
Springer
ISBN: 9789400971479
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Integrated Formal Methods

Integrated Formal Methods

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783319101804
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Software Engineering and Formal Methods

Software Engineering and Formal Methods

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783319104300
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Algebraic Specifications in Software Engineering

Algebraic Specifications in Software Engineering

Horebeek Ivo Van
AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN: 9783642750328
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 416 Kč
Bežná cena: 1 573 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 573 Kč -10 %
Advances in Object-Oriented Graphics I

Advances in Object-Oriented Graphics I

AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN: 9783642763052
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 831 Kč
Bežná cena: 3 146 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
3 146 Kč -10 %
Logic Programming and Databases

Logic Programming and Databases

Ceri Stefano
AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN: 9783642839542
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 123 Kč
Bežná cena: 2 359 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 359 Kč -10 %
Workload Characterization for Computer System Design

Workload Characterization for Computer System Design

AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag New York Inc.
ISBN: 9781461369738
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 633 Kč
Bežná cena: 2 925 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 925 Kč -10 %
Software Engineering Techniques

Software Engineering Techniques

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642223853
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Combinatorial Programming: Methods and Applications

Combinatorial Programming: Methods and Applications

AngličtinaMěkká vazbaTisk na objednávku
Springer
ISBN: 9789401175593
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Runtime Verification

Runtime Verification

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642407864
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
On Object-Oriented Database Systems

On Object-Oriented Database Systems

AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN: 9783642843761
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
2 831 Kč
Bežná cena: 3 146 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
3 146 Kč -10 %
Reachability Problems

Reachability Problems

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642335112
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 211 Kč
Bežná cena: 1 346 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 346 Kč -10 %
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
ISBN: 9783642333859
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Language Equations

Language Equations

Leiss Ernst L.
AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag New York Inc.
ISBN: 9781461274360
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Natural Language Generation Systems

Natural Language Generation Systems

AngličtinaMěkká vazbaTisk na objednávku
Springer-Verlag New York Inc.
ISBN: 9781461283744
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Tisk na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

AngličtinaMěkká vazba
Springer, Berlin
ISBN: 9783642192364
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 317 Kč
Bežná cena: 1 463 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 17. června 2024
1 463 Kč -10 %