Pārbaude

Pārbaude – šajā kategorijā atradīsi 70 grāmatas. No atzītas klasikas līdz jaunākajiem izdevumiem. Pasūti internetā ar piegādi visā Latvijā.

Pārbaude

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