Angličtina
Fiction & related items (1,845,169)
Children's, Teenage & educational (1,069,866)
Biography & True Stories (393,803)
Health & personal development (774,370)
Lifestyle, sport & leisure (997,543)
English language teaching (ELT) (40,825)
The arts (579,834)
Literature & literary studies (675,255)
Humanities (2,791,478)
Society & social sciences (2,663,652)
Language (229,954)
Economics, finance, business & management (973,261)
Computing & information technology (427,668)
Information technology: general issues (43,750)
Digital lifestyle (19,583)
Business applications (17,350)
Graphical & digital media applications (18,205)
Computer hardware (20,360)
Operating systems (5,880)
Computer programming / software development (69,948)
Program concepts / learning to program (378)
Algorithms & data structures (10,485)
Compilers (2,703)
Agile programming (179)
Aspect programming / AOP (35)
Extreme programming (38)
Functional programming (273)
Games development & programming (2,922)
Graphics programming (1,736)
Object-oriented programming (OOP) (1,637)
Microsoft programming (1,670)
Macintosh programming (509)
Network programming (122)
Mobile & handheld device programming / Apps programming (1,310)
Database programming (608)
Web programming (7,100)
Programming & scripting languages: general (10,450)
Software Engineering (15,986)
Databases (35,161)
Computer certification (2,500)
Computer security (18,890)
Computer networking & communications (26,386)
Computer science (146,477)
Technology, engineering, agriculture (578,908)
Medicine (615,352)
Mathematics & science (980,794)
Earth sciences, geography, environment, planning (301,245)
Law (373,153)
Reference, information & interdisciplinary subjects (297,218)
Němčina
Francouzština
Španělština
Italština
Ruština
Ostatní jazyky

Compilers

Compilers 

Refine your search
Angličtina
Fiction & related items (1,845,169)
Children's, Teenage & educational (1,069,866)
Biography & True Stories (393,803)
Health & personal development (774,370)
Lifestyle, sport & leisure (997,543)
English language teaching (ELT) (40,825)
The arts (579,834)
Literature & literary studies (675,255)
Humanities (2,791,478)
Society & social sciences (2,663,652)
Language (229,954)
Economics, finance, business & management (973,261)
Computing & information technology (427,668)
Information technology: general issues (43,750)
Digital lifestyle (19,583)
Business applications (17,350)
Graphical & digital media applications (18,205)
Computer hardware (20,360)
Operating systems (5,880)
Computer programming / software development (69,948)
Program concepts / learning to program (378)
Algorithms & data structures (10,485)
Compilers (2,703)
Agile programming (179)
Aspect programming / AOP (35)
Extreme programming (38)
Functional programming (273)
Games development & programming (2,922)
Graphics programming (1,736)
Object-oriented programming (OOP) (1,637)
Microsoft programming (1,670)
Macintosh programming (509)
Network programming (122)
Mobile & handheld device programming / Apps programming (1,310)
Database programming (608)
Web programming (7,100)
Programming & scripting languages: general (10,450)
Software Engineering (15,986)
Databases (35,161)
Computer certification (2,500)
Computer security (18,890)
Computer networking & communications (26,386)
Computer science (146,477)
Technology, engineering, agriculture (578,908)
Medicine (615,352)
Mathematics & science (980,794)
Earth sciences, geography, environment, planning (301,245)
Law (373,153)
Reference, information & interdisciplinary subjects (297,218)
Němčina
Francouzština
Španělština
Italština
Ruština
Ostatní jazyky
Advanced Search Advanced Search
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 Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -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 Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Testing Software and Systems

Testing Software and Systems

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642346903
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Runtime Verification

Runtime Verification

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642356315
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Formal Aspects of Component Software

Formal Aspects of Component Software

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642358609
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,211
Common price: CZK 1,346
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,346 -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 Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -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 Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -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 Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Reachability Problems

Reachability Problems

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642335112
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,211
Common price: CZK 1,346
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,346 -10%
World of Programming Languages

World of Programming Languages

Marcotty Michael
EnglishPaperback / softback
Springer-Verlag New York Inc.
ISBN: 9780387964409
On order
Delivery on Friday, 14. of February 2025
CZK 3,247
Common price: CZK 3,608
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 3,608 -10%
Practical Smalltalk

Practical Smalltalk

Shafer Dan
EnglishPaperback / softback
Springer-Verlag New York Inc.
ISBN: 9780387973944
On order
Delivery on Friday, 14. of February 2025
CZK 2,633
Common price: CZK 2,925
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 2,925 -10%
Model Checking Software

Model Checking Software

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783642223051
On order
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Algebraic Specifications in Software Engineering

Algebraic Specifications in Software Engineering

Horebeek Ivo Van
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783642750328
On order
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Functional and Constraint Logic Programming

Functional and Constraint Logic Programming

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783642225307
On order
Delivery on Friday, 14. of February 2025
CZK 1,211
Common price: CZK 1,346
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 1,346 -10%
Interaction Between Compilers and Computer Architectures

Interaction Between Compilers and Computer Architectures

EnglishHardback
Springer
ISBN: 9780792373704
On order
Delivery on Friday, 14. of February 2025
CZK 2,633
Common price: CZK 2,925
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 2,925 -10%
Types for Proofs and Programs

Types for Proofs and Programs

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540432876
On order
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Linkers and Loaders

Linkers and Loaders

Levine John
EnglishPaperback / softbackPrint on demand
Elsevier Science & Technology
ISBN: 9781558604964
Print on demand
Delivery on Thursday, 30. of January 2025
CZK 1,577
Common price: CZK 1,752
Discount 10%
(-10%)
Print on demand
Delivery on Thursday, 30. of January 2025
CZK 1,752 -10%
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642376573
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,211
Common price: CZK 1,346
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,346 -10%
Compiler Design

Compiler Design

Seidl Helmut
EnglishHardbackPrint on demand
Springer, Berlin
ISBN: 9783642175473
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,843
Common price: CZK 2,048
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 2,048 -10%
Open Source Software: New Horizons

Open Source Software: New Horizons

EnglishHardbackPrint on demand
Springer, Berlin
ISBN: 9783642132438
Print on demand
Delivery on Friday, 14. of February 2025
CZK 2,633
Common price: CZK 2,925
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 2,925 -10%
Software Architecture

Software Architecture

EnglishPaperback / softbackPrint on demand
Springer, Berlin
ISBN: 9783642151132
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
Print on demand
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Inductive Logic Programming

Inductive Logic Programming

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783642138393
On order
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Models in Software Engineering

Models in Software Engineering

Giese Holger
EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540690696
On order
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

EnglishPaperback / softback
Springer, Berlin
ISBN: 9783540857778
On order
Delivery on Friday, 14. of February 2025
CZK 1,317
Common price: CZK 1,463
Discount 10%
(-10%)
On order
Delivery on Friday, 14. of February 2025
CZK 1,463 -10%
Show more
25,879,252 books and 4,860,122 eBooks currently available
Free personal pick-up
at 9 locations throughout the Czech Republic
Free shipping for purchases over CZK 1,000
Books from all over the world
Facebook

Instagram
226 220 816

Call us:
Monday – friday:
08.30 – 12.15
13.00 – 15.45

Newsletter subscription

I am interested in discounts on titles, free shipping and other interesting promotions.

ISO 9001 Certification - Bureau Veritas

ISO 27001 Certification - Bureau Veritas

Asociace pro elektronickou komerci

CZECH Stability Award

Company
Documents
Bookshops
Shopping

Visa

Visa Electron

Mastercard

Maestro

Endered Card

Sodexo Pluxee

© 2022 MEGABOOKS CZ, spol. s r. o. - foreign literature. Exclusive distributor of Oxford University Press

All prices include VAT

25,879,252 books and 4,860,122 eBooks currently available
Free personal pick-up
at 9 locations throughout the Czech Republic
Free shipping for purchases over CZK 1,000
Books from all over the world

Visa

Visa Electron

Mastercard

Maestro

Endered Card

Sodexo Pluxee

ISO 9001 Certification - Bureau Veritas

ISO 27001 Certification - Bureau Veritas

CZECH Stability Award

Asociace pro elektronickou komerci

Company

Documents

Bookshops

Shopping

226 220 816

Call us:
Monday – friday:
08.30 – 12.15
13.00 – 15.45

Stay in touch with us

Sign up for news, updates and savings.

Facebook

Instagram

© 2022 MEGABOOKS CZ, spol. s r. o. - foreign literature. Exclusive distributor of Oxford University Press

All prices include VAT