[PDF] verification free ebooks download




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

Library Search


608 books found   ►also search"verification" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension 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
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
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
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
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
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
244258 Rolf Drechsler Advanced Formal Verification
1-4020-2530-0
Kluwer 2004 276 English 4 Mb pdf GET
833081 Rolf Drechsler Advanced Formal Verification [1 ed.]
1402077211, 9781402077210, 9781402025303
Springer 2004 277 English 4 Mb pdf GET
245580 Rolf Drechsler Advanced Formal Verification
1-4020-2530-0
Kluwer 2004 276 English 4 Mb pdf GET
597084 Drechsler R. (ed.) Advanced formal verification
1402077211, 9781402077210
Springer 2004 276 English 2 Mb pdf GET
110689 Rolf Drechsler Advanced formal verification [1 ed.]
9781402077210, 1402077211
Springer 2004 277 English 2 Mb pdf GET
  ►
 Мартенс Л.К. (гл. ред.)
Перельмутер А.В.
Артюхин, Грибов.
Копытов В.М., Медведев Н.Я.
Мостовский А. (Mostowski)
Nanny Fröman, Per Olof Fröman
G. Fischer
Wilbur R. LePage
Эльсгольц Л.Э., Норкин С.Б.
Konrad Knopp
Кудрявцев Л.Д., Кутасов А.Д., и др.
Arnold D.N.
E.C. Titchmarsh
N. Ya. Vilenkin, R. E. Flaherty
Werner Schindler (auth.)
Блашке В.
Marcelo Aguilar, Samuel Gitler, Carlos Prieto, S.B. Sontz
Isaac Chavel
V. Ovsienko, S. Tabachnikov
Куратовский К.

chemical analysisstrategic planningdiagnosismixed effects modelx ray diffractionhydrogeninterviewspulsemetabolismsilicon wafer