[PDF] verification free ebooks download




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

Library Search


 Fiction Pdf Search   Sci-hubs

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

Random Recommend
















Zsolt Filetoth(auth.)
Kenneth G. Simone(auth.)
R. H. Garrett(auth.)


Colin Jones, Craig Watkins(auth.)
Laurence A. Connors, Cesar Alvarez(auth.)
James W. Cortada(auth.)
Terri Duhon(auth.)
Mike Davis, Judy McKimm, Kirsty Forrest(auth.)
Lisa Norton(auth.)
Jason Matthiopoulos(auth.)



James R. Flynn(auth.)
Joseph P. Kennedy, Wayne H. Watkins, Elyse N. Ball(auth.)
Stephen Hetherington(auth.)
Farine Clarke, Laurence Slavin(auth.)


Peter Donnelly, Joel Benson, Paul Kirk(auth.)
Chris Smith, Darryl Meeking(auth.)

Ilene R. Brenner(auth.)
Neville Robinson, George Hall(auth.)
Neville Robinson, George Hall, William Fawcett(auth.)
Jenny Firth-Cozens, Jamie Harrison
Allan Hackshaw(auth.)
George M. Hall (ed.)
Charlie Wing(auth.)
Marvin C. McMaster(auth.)

Ed Tittel, Jeff Noble(auth.)
 Prof. Zengchang Qin, Prof. Yongchuan Tang (auth.)
Helga Kirchner, Markus Flesch (eds.)
Prof. Dr. Dr. h.c. Helmut Schatz, Prof. Dr. Andreas F. H. Pfeiffer (eds.)
Teresa Radziejewska (auth.)
Pierre M. Nugues (auth.)
Birgit Weber (auth.)
Juliane Bräuer (auth.)
Florian Mildenberger, Bernd Herrmann (eds.)
Helmut Herrmann, Herbert Bucksch (auth.)
Peter Bertau (auth.)
Wolfgang W. Osterhage (auth.)
Christoph Berger (auth.)
M. D. Lechner, Klaus Gehrke, Eckhard H. Nordmeier (auth.)
Richard Elwes (auth.)
Alexander Seidl (auth.)
Peter Bertau (auth.)
Prof. Weicheng Cui, Prof. Xiaoping Huang, Dr. Fang Wang (auth.)
Georg F. Hoffmann, Michael J. Lentze, Jürgen Spranger, Fred Zepp (eds.)
Irene Spirgi-Gantert, Barbara Suppé (eds.)
Ralf Takors (auth.)
Karl-Michael Haus (auth.)
Stefan Behringer (auth.)
Prof. Dr. Bernd A. Neubauer, PD Dr. Andreas Hahn (eds.)
David Müller (auth.)
Abhay Ashtekar, Vesselin Petkov (eds.)
Prof. Dr. Martin Schuster (auth.)
Dr. Michael Fresenius, Dr. Michael Heck, Prof. Dr. Wolfgang Zink (auth.)
Hans-Ulrich Schmelz, Christoph Sparwasser, Wolfgang Weidner (eds.)
Christoph Schließmann (auth.)
Dr. Peter Hien, Dr. Simone Claudi-Böhm, Bernhard Böhm (auth.)
Jürgen Adamy (auth.)
Helmut Wannenwetsch (auth.)
Matthew Cotton (auth.)
Jan vom Brocke, Michael Rosemann (eds.)
Jan vom Brocke, Michael Rosemann (eds.)
Frank De Proft, Paul Geerlings (eds.)
Melvin A. Shiffman, Alberto Di Giuseppe, Franco Bassetto (eds.)
Florian Steger, Simone Ehm, Michael Tchirikov (eds.)
Ulrike Baumann, Elke Franz, Andreas Pfitzmann (auth.)
Nils Bickhoff, Svend Hollensen, Marc Opresnik (auth.)
Alfred Neudörfer (auth.)
Springer-Verlag Berlin Heidelberg (eds.)
Arthur Balog, Salomon Sygall (auth.)
Alexander Stahr, Ewald Langenscheidt (auth.)
H. Naujoks, H. Kirchhoff (auth.)
Ulrich Harten (auth.)
Holger Göbel (auth.)
Valentin L. Popov, Markus Heß (auth.)
Dagmar Hülsenberg (auth.)
Jan Lunze (auth.)

currentsmathematical modelsocial mobilitysystems biologysoilsamino acidlipid metabolismevolutionstepfamiliesrdimolecular dynamicdielectric materialsdata managementpopulationspectral theoryscatteringmonoclonal antibodyphotovoltaic systemssocializationinternational relationsmeasurement problemmultivariate analysislinear particle acceleratorprotein structurepollutionqualitative studycapillary permeabilityhumanidadesdetection limitoccupational safetycopperkalman filtersensitivity analysisgrouped dataassessmentdata protectionbiologyart educationspatial memorybosonsmineralogyembryosmean residence timeprotein kinase cvisual systemreflectionhuman factorsnonlinear optics