[PDF] verification free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


New Fictions

662 books found   ►also search"verification" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
2153648 Progyna Khondkar (auth.) Low-Power Design and Power-Aware Verification [1 ed.]
978-3-319-66618-1, 978-3-319-66619-8
Springer International Publishing 2018 XV, 155 English 2 Mb pdf GET
419110 Brian Scaddan 16th Edition IEE Wiring Regulations: Design & Verification of Electrical Installations, Fifth Edition [5 ed.]
0750665408, 9780750665407, 9780080488042
2004 128 English 3 Mb pdf GET
1375464 Brian Scaddan IEng; MIIE (elec) 16th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations [16 Sub ed.]
0750621362, 9780750621366
Butterworth-Heinemann 1995 144 English 5 Mb pdf GET
1183261 Brian Scaddan 17th edition IEE wiring regulations : design and verification of electrical installations [6th ed]
9780750687218, 0750687215
Oxford ; Newnes 2008 ix, 124 p. : ill ; 22 cm English 2 Mb pdf GET
229032 Brian Scaddan IEng; MIIE (elec) 17th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations, Sixth Edition (IEE Wiring Regulations, 17th edition) [4 ed.]
0750687347, 9780750687348, 9780080878898
Newnes 2008 131 English 2 Mb pdf GET
229043 Brian Scaddan IEng; MIIE (elec) 17th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations, Sixth Edition (IEE Wiring Regulations, 17th edition) [6 ed.]
0750687215, 9780750687218, 9780750687195, 9780750687355, 9780750687362, 9780750687348
Newnes 2008 155 English 4 Mb pdf GET
543199 Brian Scaddan 17th Edition IEE Wiring Regulations: Design and Verification of Electrical Installations, Sixth Edition (IEE Wiring Regulations, 17th edition) [6 ed.]
0750687215, 9780750687218, 9780080879055
2008 132 English 2 Mb pdf GET
2107058 Rafael de la Llav, and Tere M. Seara Amadeu Delshams Memoirs AMS 844
A Geometric Mechanism for Diffusion in Hamiltonian Systems Overcoming the Large Gap Problem: Heuristics And Rigorous Verification on a Model
0821838245, 9780821838242
American Mathematical Society 2005 141 English 1 Mb djvu GET
1461808 Frank Barnaby (eds.) A Handbook of Verification Procedures [1 ed.]
978-1-349-11043-8, 978-1-349-11041-4, 978-0-312-03258-6, 36-1990-327-1
Palgrave Macmillan UK 1990 VIII, 357 English 31 Mb pdf GET
1928444 Takami S., Uchijima Z. A model of the greenhouse with a storage type heat exchanger and its verification English 1 Mb pdf GET
779187 Sharon Rosenberg, Kathleen Meade A Practical Guide to Adopting the Universal Verification Methodology (UVM) [1ST edition]
057805955X, 9780578059556
Cadence Design Systems 2010 296 English 4 Mb pdf GET
274516 Pallab Dasgupta A roadmap for formal property verification [1 ed.]
1402047576, 9781402047572
Springer 2006 260 English 2 Mb pdf GET
941733 Pallab DasGupta (auth.) A Roadmap for Formal Property Verification [1 ed.]
978-1-4020-4757-2, 978-1-4020-4758-9
Springer Netherlands 2006 252 English 4 Mb pdf GET
28097 Hans Kleine Büning, Theodor Lettmann Software Tools for Technology Transfer
A Survey of Recent Advances in SAT-Based Formal Verification
9780521630177, 0521630177
1999 18 English 181 kb pdf GET
25758 Jain J., Narayan A., Fujita M. A survey of techniques for formal verification of combinational circuits 1997 10 English 299 kb pdf GET
596253 Howard Barringer (auth.) Lecture Notes in Computer Science 191
A Survey of Verification Techniques for Parallel Programs [1 ed.]
3540152393, 9783540152392
Springer-Verlag Berlin Heidelberg 1985 120 English 781 kb djvu GET
962774 Howard Barringer (auth.) Lecture Notes in Computer Science 191
A Survey of Verification Techniques for Parallel Programs [1 ed.]
978-3-540-15239-2, 978-3-540-39416-7
Springer-Verlag Berlin Heidelberg 1985 120 English 1 Mb pdf GET
1692962 Kekang He Lecture Notes in Educational Technology
A Theory of Creative Thinking: Construction and Verification of the Dual Circulation Model
Springer 2017 220 English 3 Mb pdf GET
938458 Mukund Sivaraman, Andrzej J. Strojwas (auth.) A Unified Approach for Timing Verification and Delay Fault Testing [1 ed.]
978-1-4613-4639-5, 978-1-4419-8578-1
Springer US 1998 155 English 5 Mb pdf GET
225846 Wang A wavelet-based watermarking algorithm for ownership verification of digital images 29 English 2 Mb pdf GET
634639 Daniel Lieberman, Matthias Jonas, Zbigniew Nahorski, Sten Nilsson Accounting for Climate Change: Uncertainty in Greenhouse Gas Inventories - Verification, Compliance, and Trading [1 ed.]
1402059299, 9781402059292, 9781402059308
Springer 2007 160 English 6 Mb pdf GET
982070 Daniel Lieberman, Matthias Jonas, Wilfried Winiwarter (auth.), Daniel Lieberman, Matthias Jonas, Zbigniew Nahorski, Sten Nilsson (eds.) Accounting for Climate Change: Uncertainty in Greenhouse Gas Inventories — Verification, Compliance, and Trading [1 ed.]
978-1-4020-5929-2, 978-1-4020-5930-8
Springer Netherlands 2007 160 English 6 Mb pdf GET
1038524 Olli Mali, Pekka Neittaanmäki, Sergey Repin (auth.) Computational Methods in Applied Sciences 32
Accuracy Verification Methods: Theory and Algorithms [1 ed.]
978-94-007-7580-0, 978-94-007-7581-7
Springer Netherlands 2014 355 English 5 Mb pdf GET
1183248 Olli Mali, Pekka Neittaanmäki, Sergey Repin (auth.) Computational Methods in Applied Sciences 32
Accuracy Verification Methods: Theory and Algorithms [1 ed.]
978-94-007-7581-7, 9400775814, 978-94-007-7580-0
Springer Netherlands 2014 355 English 5 Mb pdf GET
55238 Drechsler R. (ed.) Advanced Formal Verification
1402025300
2004 276 English 4 Mb pdf GET
  ►

If no results, Please search verification here Again

  Terje Wagener
Susanne Niemeier, Martin Pütz
John Stanley, Linda Stanley
Блаватский В.Д.
Емельянов В.В., Курейчик В.В., Курейчик В.М.
William Hoffman, James E. Smith
Кнут Д.
Victoriano Gaviño Rodríguez
Hudson Orsine Assumpção
National Council of Teachers of Mathematics traducción de Federico Galván Anaya
Ştefan Drăgan
Gillian Flynn, Héloïse Esquié
Pamela M. Huby
R.J. Ruppenthal
David Lewis
Akiva Goldsman, Sylvia Nassar
Болотин В.В.
Немировский Ю.В., Резников Б.С.
Guerino Mazzola, Gérard Milmeister, Jody Weissmann
Luchezar L. Avramov, Mark Green, Craig Huneke, Karen E. Smith, Bernd Sturmfels

aquifersball valvesqualitative datacalorimetrymanrnadigital signal processingdesign rulesdepressioncharge transferpleistoceneelasticitykineticshigh resolutionheat transferin uterostatisticsbreast cancermagnetisationmarine ecologybiological scienceselementsclinical researchfast fourier transformsglycoproteinsclimate changeentertainmentreadingsystems thinkingdigital filterspeech processingtheologysuperconductorslinear systemsnegationpersonendocrinologytotal variation diminishingmatrix representationhuman performancesatellitesenergy storageself efficacyknockout mousedirect numerical simulationsizefrequencytestosteronemagnetic hysteresis