Tikrinimas

Tikrinimas – šioje kategorijoje rasite 70 knygų. Nuo pripažintos klasikos iki naujausių leidimų. Užsakykite internetu, pristatome visoje Lietuvoje.

Tikrinimas

Rodoma 1-50 iš 63+
12
Explore It!
Elisabeth Hendrickson
€28,88-4%
€30,24
Turime sandėlyje
Explore It!
Elisabeth Hendrickson
€27,88-3%
€28,74
Turime sandėlyje
The Politics of Weapons Inspections
Nathan E. Busch
€25,46-35%
€38,99
Turime sandėlyje
Iraq
Gerhard Beestermoeller
€140,44-3%
€145,25
Turime sandėlyje
Principles of Model Checking
Christel Baier
€39,69
Turime sandėlyje
The Politics of Weapons Inspections
Nathan E. Busch
€24,46-35%
€37,49
Turime sandėlyje
Verification
Allan S. Krass
€146,50-3%
€151,50
Pristatymas 3-4 sav.
Verification
Allan S. Krass
€43,43-4%
€45,24
Pristatymas 3-4 sav.
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe
€55,55-4%
€57,74
Pristatymas 3-4 sav.
21 CFR Part 11
Orlando Lopez
€243,50-3%
€251,50
Pristatymas 3-4 sav.
Computer Aided Verification
Rupak Majumdar
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Industrial Use of Formal Methods
Jean-Louis Boulanger
€169,48-3%
€175,19
Pristatymas 3-4 sav.
Libya and Nuclear Proliferation
Wyn Q. Bowen
€34,94-4%
€36,49
Pristatymas 3-4 sav.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tiziana Margaria
€110,12-3%
€113,99
Pristatymas 3-4 sav.
Libya and Nuclear Proliferation
Wyn Q. Bowen
€219,25-3%
€226,50
Pristatymas 3-4 sav.
Listening For The Bomb
Philip G. Schrag
€116,18-3%
€120,24
Pristatymas 3-4 sav.
Modeling in Event-B
Jean-Raymond Abrial
€154,99-3%
€160,25
Pristatymas 3-4 sav.
Computer Aided Verification
Rupak Majumdar
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Model Checking Software
Bernd Fischer
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Model Checking Software
Ezio Bartocci
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Model Checking Software
Dragan Bošnački
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Modeling and Verification of Real-time Systems
France)) Navet Nicolas (Real-Time Systems at INRIA Lorraine (Nancy
€257,99-3%
€266,44
Pristatymas 3-4 sav.
Numerical Software Verification
Alessandro Abate
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Numerical Software Verification
Sergiy Bogomolov
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Permanent Magnet Motor Technology
Jacek F. Gieras
€334,44-3%
€345,25
Pristatymas 3-4 sav.
Practical Design Verification
Dhiraj K. (University of Bristol) Pradhan
€141,65-3%
€146,50
Pristatymas 3-4 sav.
Program Logics for Certified Compilers
Andrew W. Appel
€101,64-3%
€105,25
Pristatymas 3-4 sav.
Computer Aided Verification
Daniel Kroening
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Reactive Systems
Luca Aceto
€102,85-3%
€106,50
Pristatymas 3-4 sav.
Reconfigurable System Design and Verification
Pao-Ann Hsiung
€164,69-3%
€170,25
Pristatymas 3-4 sav.
Runtime Verification
Shuvendu Lahiri
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Runtime Verification
Ylies Falcone
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Runtime Verification
Turkey) RV (Conference) (3rd 2012 Istanbul
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Runtime Verification
Ezio Bartocci
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Tests and Proofs
Bernhard K. Aichernig
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Theory and Applications of Satisfiability Testing -- SAT 2015
Marijn Heule
€67,68-4%
€70,24
Pristatymas 3-4 sav.
Transactions on Foundations for Mastering Change I
Bernhard Steffen
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Trust and Trustworthy Computing
Mauro Conti
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Data Refinement
W.-P. de Roever
€66,47-4%
€69,00
Pristatymas 3-4 sav.
Trustworthy Global Computing
Pierre Ganty
€43,43-4%
€45,24
Pristatymas 3-4 sav.
Formal Methods for Safety and Security
Manju Nanda
€134,37-3%
€138,99
Pristatymas 3-4 sav.
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria
€73,74-4%
€76,49
Pristatymas 3-4 sav.
Listening For The Bomb
Philip G. Schrag
€39,79-4%
€41,49
Pristatymas 3-4 sav.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao
€146,49-3%
€151,49
Pristatymas 3-4 sav.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Mitsuhiro T. Nakao
€146,49-3%
€151,49
Pristatymas 3-4 sav.
Formal Methods for Safety and Security
Manju Nanda
€122,24-3%
€126,49
Pristatymas 3-4 sav.
Model Checking Software
Thomas Neele
€55,55-4%
€57,74
Pristatymas 3-4 sav.
Semi-physical Verification Technology for Dynamic Performance of Internet of Things System
Xiaolei Yu
€110,12-3%
€113,99
Pristatymas 3-4 sav.
Strategic Disarmament, Verification and National Security
Stockholm International Stockholm International Peace Research Institute
€122,24-3%
€126,49
Pristatymas 3-4 sav.
EDA for IC System Design, Verification, and Testing
Louis (Cadence Design Systems, San Jose, California, USA) Scheffer
€207,12-3%
€214,00
Pristatymas 3-4 sav.
12