Explore: Vérification

“Wills for Ontario” Metadata:

• Title: Wills for Ontario
• Author: David I. Botnick
• Language: English
• Number of Pages: Median: 104
• Publisher: ➤  Self-Counsel Press - McGraw-Hill Companies
• Publish Date: 1990 - 1992 - 1993 - 2001
• Publish Location: ➤  North Vancouver, B.C - Bellingham, Wash

“Wills for Ontario” Subjects and Themes:

• Subjects: ➤  Executors and administrators - Popular works - Probate law and practice - Wills - Wills, canada - Testaments - Ouvrages de vulgarisation - Vérification - Law, ontario
• Places: Ontario

Edition Identifiers:

• The Open Library ID: OL1622612M - OL1320939M - OL8212373M - OL19025698M
• Online Computer Library Center (OCLC) ID: 24547575 - 29470957 - 28181751 - 41312566
• Library of Congress Control Number (LCCN): 92196380 - 91167688
• All ISBNs: ➤  0889083797 - 9780889083790 - 0889084815 - 0889083908 - 9780889084810 - 9780889083905 - 155180249X - 9781551802497

“Computer program testing” Metadata:

• Title: Computer program testing
• Authors: ➤  Summer School on Computer Program Testing (1981 Urbino)B. ChandrasekaranS. Radicchi
• Language: English
• Number of Pages: Median: 325
• Publisher: ➤  North-Holland Pub. Co. - Sole distributors for the U.S.A. and Canada, Elsevier North-Holland - Elsevier - North-Holland
• Publish Date: 1981
• Publish Location: ➤  New York - Oxford - Amsterdam - New York, N.Y

“Computer program testing” Subjects and Themes:

• Subjects: ➤  Testing - Congresses - Computer programs - Logiciels - Essais - Congrès - Vérification - Programmierung - Prüfung - Softwaretest - Kongress - Software - Test

Edition Identifiers:

• The Open Library ID: OL4270655M - OL21436457M - OL7532783M
• Online Computer Library Center (OCLC) ID: 7875177
• Library of Congress Control Number (LCCN): 81016807
• All ISBNs: 0444862927 - 9780444862921

“Probate Kit for Alberta” Metadata:

• Title: Probate Kit for Alberta
• Author: Lynne Butler
• Language: English
• Number of Pages: Median: 268
• Publisher: ➤  Self-Counsel Press, Incorporated - Self-Counsel Press
• Publish Date: 2011 - 2018

“Probate Kit for Alberta” Subjects and Themes:

• Subjects: ➤  Law, alberta - Probate law and practice, canada - Probate law and practice - Popular works - Forms - Testaments - Ouvrages de vulgarisation - Vérification - Formulaires

Edition Identifiers:

• The Open Library ID: OL28819870M - OL34003198M
• All ISBNs: 9781770402744 - 1770400699 - 1770402748 - 9781770400696

“Saddam Defiant” Metadata:

• Title: Saddam Defiant
• Author: Richard Butler
• Language: English
• Number of Pages: Median: 320
• Publisher: ➤  Phoenix (an Imprint of The Orion Publishing Group Ltd ) - Orion Publishing Group, Limited - Weidenfeld & Nicolson
• Publish Date: 2000 - 2001

“Saddam Defiant” Subjects and Themes:

• Subjects: ➤  Disarmament - Arms control - International Security - Bewapening - Verenigde Naties - United Nations - Verification - Weapons of mass destruction - On-site inspection - Négociations internationales - Institutions spécialisées de l'ONU - Biographies - Armes biologiques - Armes nucléaires - Désarmement - Massenvernichtungswaffe - Militärische Bedrohung - Sicherheitspolitik - Armes de destruction massive - Armement - Contrôle - Vérification - Politique militaire - United Nations. Special Commission on Iraq - Nations Unies. Commission spéciale pour l'Irak - Nations Unies - Security, international - Hussein, saddam, 1937-2006 - Iraq, foreign relations

Edition Identifiers:

• The Open Library ID: OL7988248M - OL10315344M
• Online Computer Library Center (OCLC) ID: 43418798
• All ISBNs: 9780753811160 - 0753811162 - 0297646001 - 9780297646006

“Will Draftsman's Handbook” Metadata:

• Title: Will Draftsman's Handbook
• Author: Robin E. Riddett
• Language: English
• Number of Pages: Median: 224
• Publisher: FT Law & Tax - The Law Society
• Publish Date: 1995 - 2004
• Publish Location: London

“Will Draftsman's Handbook” Subjects and Themes:

• Subjects: Wills - Probate law and practice - Testaments - Vérification

Edition Identifiers:

• The Open Library ID: OL19849672M - OL8979078M
• Online Computer Library Center (OCLC) ID: 56652596
• All ISBNs: 9781853288265 - 1853288268

“Verification of sequential and concurrent programs” Metadata:

• Title: ➤  Verification of sequential and concurrent programs
• Author: Krzysztof R. Apt
• Language: English
• Number of Pages: Median: 403
• Publisher: Springer-Verlag
• Publish Date: 1991 - 1997
• Publish Location: New York

“Verification of sequential and concurrent programs” Subjects and Themes:

• Subjects: ➤  Verification - Computer software - Vérification - Logiciels - Programmverifikation - Software - Verificatie

Edition Identifiers:

• The Open Library ID: OL2029951M - OL991370M
• Online Computer Library Center (OCLC) ID: 36138298 - 23142102
• Library of Congress Control Number (LCCN): 91007267 - 96029771
• All ISBNs: ➤  0387948961 - 9780387975320 - 9780387948966 - 9783540975328 - 3540975322 - 0387975322

“The Politics of Verification” Metadata:

• Title: The Politics of Verification
• Author: Nancy W. Gallagher
• Language: English
• Number of Pages: Median: 324
• Publisher: ➤  The Johns Hopkins University Press - Johns Hopkins University Press
• Publish Date: 1999 - 2003
• Publish Location: Baltimore

“The Politics of Verification” Subjects and Themes:

• Subjects: ➤  Nuclear arms control - Nuclear disarmament - Verification - Foreign relations - United states, foreign relations - Désarmement nucléaire - Armes nucléaires - Contrôle - Vérification - Relations extérieures - Diplomatic relations
• Places: United States

Edition Identifiers:

• The Open Library ID: OL374721M - OL7871138M
• Online Computer Library Center (OCLC) ID: 39533801 - 57356139
• Library of Congress Control Number (LCCN): 98036543
• All ISBNs: 0801877393 - 9780801860171 - 0801860172 - 9780801877391

“Verification, compliance and confidence-building” Metadata:

• Title: ➤  Verification, compliance and confidence-building
• Author: ➤  Ottawa Verification Symposium (13th 1996 Montebello, Quebec)
• Language: English
• Number of Pages: Median: 174
• Publisher: ➤  Centre for International and Security Studies, York University
• Publish Date: 1996
• Publish Location: Toronto, Canada

“Verification, compliance and confidence-building” Subjects and Themes:

• Subjects: ➤  Congresses - Arms control - Nuclear nonproliferation - Disarmament - Verification - Armements - Contrôle - Congrès - Non-prolifération nucléaire - Désarmement - Vérification

Edition Identifiers:

• The Open Library ID: OL8352924M - OL314575M
• Online Computer Library Center (OCLC) ID: 41712710
• Library of Congress Control Number (LCCN): 97225819 - 96931374 - cn96931374
• All ISBNs: 0920231225 - 9780920231227

“Probate Law and Practice in Ireland” Metadata:

• Title: ➤  Probate Law and Practice in Ireland
• Author: Albert Keating
• Number of Pages: Median: 543
• Publisher: Round Hall Ltd
• Publish Date: 1998

“Probate Law and Practice in Ireland” Subjects and Themes:

• Subjects: Probate law and practice - Inheritance and succession - Testaments - Vérification - Successions et héritages

Edition Identifiers:

• The Open Library ID: OL12252677M
• Online Computer Library Center (OCLC) ID: 41159460
• All ISBNs: 9781899738908 - 1899738908

“Probate Without a Will in Colorado” Metadata:

• Title: ➤  Probate Without a Will in Colorado
• Author: Karen Brady
• Language: English
• Number of Pages: Median: 62
• Publisher: Bradford Publishing Company
• Publish Date: 2002

“Probate Without a Will in Colorado” Subjects and Themes:

• Subjects: Probate law and practice - Forms - Testaments - Vérification - Formulaires

Edition Identifiers:

• The Open Library ID: OL12151063M
• Online Computer Library Center (OCLC) ID: 53175530
• All ISBNs: 188372662X - 9781883726621

“Wills and Estate Planning for Oregon” Metadata:

• Title: ➤  Wills and Estate Planning for Oregon
• Author: Rees Johnson
• Number of Pages: Median: 175
• Publisher: Self Counsel Pr
• Publish Date: 1987

“Wills and Estate Planning for Oregon” Subjects and Themes:

• Subjects: ➤  Wills - Popular works - Estate planning - Probate law and practice - Testaments - Ouvrages de vulgarisation - Planification successorale - Vérification

Edition Identifiers:

• The Open Library ID: OL11267594M
• Online Computer Library Center (OCLC) ID: 16181803
• All ISBNs: 9780889088207 - 0889088209

“Open skies” Metadata:

• Title: Open skies
• Author: Michael Slack
• Language: English
• Number of Pages: Median: 168
• Publisher: ➤  Centre for International and Strategic Studies, York University
• Publish Date: 1990
• Publish Location: Toronto

“Open skies” Subjects and Themes:

• Subjects: ➤  Arms control - Verification - Aerial reconnaissance - International cooperation - International Security - Disarmament - Armements - Contrôle - Désarmement - Sécurité internationale - Vérification - Reconnaissance aérienne - Coopération internationale - Organisation du traité de l'Atlantique Nord

Edition Identifiers:

• The Open Library ID: OL16511800M
• Online Computer Library Center (OCLC) ID: 22988321
• All ISBNs: 9780920231098 - 0920231098

“Guiding those left behind in Washington” Metadata:

• Title: ➤  Guiding those left behind in Washington
• Author: Amelia E. Pohl
• Language: English
• Number of Pages: Median: 290
• Publisher: ➤  Eagle Pub. Co. - Eagle Publishers
• Publish Date: 2002
• Publish Location: Boca Raton, FL

“Guiding those left behind in Washington” Subjects and Themes:

• Subjects: ➤  Probate law and practice - Executors and administrators - Estate planning - Testaments - Vérification - Planification successorale
• Places: Washington (State) - Washington (État)

Edition Identifiers:

• The Open Library ID: OL39209534M
• Online Computer Library Center (OCLC) ID: 50805210
• Library of Congress Control Number (LCCN): 2001088893
• All ISBNs: 1892407434 - 9781892407436

“Guiding those left behind in New Jersey” Metadata:

• Title: ➤  Guiding those left behind in New Jersey
• Authors: Amelia E. Pohl Esq.Barry E. Levine
• Language: English
• Publisher: Eagle Publishing Company (FL)
• Publish Date: 2001

“Guiding those left behind in New Jersey” Subjects and Themes:

• Subjects: ➤  Probate law and practice - Executors and administrators - Estate planning - Testaments - Vérification - Planification successorale
• Places: New Jersey

Edition Identifiers:

• The Open Library ID: OL12214455M
• Online Computer Library Center (OCLC) ID: 46862967
• Library of Congress Control Number (LCCN): 00190355
• All ISBNs: 9781892407238 - 189240723X

“Relationship Breakdown Wills & Probate (Current Legal Topics)” Metadata:

• Title: ➤  Relationship Breakdown Wills & Probate (Current Legal Topics)
• Author: John Thurston
• Language: English
• Number of Pages: Median: 80
• Publisher: Hyperion Books
• Publish Date: 1992

“Relationship Breakdown Wills & Probate (Current Legal Topics)” Subjects and Themes:

• Subjects: Probate law and practice - Marriage law - Testaments - Vérification

Edition Identifiers:

• The Open Library ID: OL11952458M
• Online Computer Library Center (OCLC) ID: 27769229
• All ISBNs: 9781851901708 - 1851901701

“Software testing for financial services firms” Metadata:

• Title: ➤  Software testing for financial services firms
• Authors: Hal McIntyreMegan JohnsonDeborah Fortuna
• Number of Pages: Median: 335
• Publisher: The Summit Group Press
• Publish Date: 2003

“Software testing for financial services firms” Subjects and Themes:

• Subjects: Logiciel - Services financiers - Test - Vérification - Logiciel - vérification

Edition Identifiers:

• The Open Library ID: OL11744907M
• Online Computer Library Center (OCLC) ID: 717492176
• All ISBNs: 0966917847 - 9780966917840

“Security Without Star Wars” Metadata:

• Title: Security Without Star Wars
• Author: Betty G. Lall
• Number of Pages: Median: 106
• Publisher: Council on Economic Priorities
• Publish Date: 1987

“Security Without Star Wars” Subjects and Themes:

• Subjects: ➤  Ballistic missile defenses - Nuclear arms control - Verification - Défense antimissile - Défense antimissile balistique - Armes nucléaires - Contrôle - Vérification - Abrüstung - ABM - Treaty between the United States of America and the Union of Soviet Socialist Republics on the Limitation of Antiballistic Missile Systems - Treaty between the United States of America and the Union of Soviet Socialist Republics on the Limitation of Antiballistic Missile Systems (1972 May 26) - Arms control - Military policy - United States. 1972 May 26 - Soviet Union. 1972 May 26 ABM - Strategic Defense Initiative - International Security

Edition Identifiers:

• The Open Library ID: OL11175102M
• Online Computer Library Center (OCLC) ID: 15138928
• All ISBNs: 0878710523 - 9780878710522

“Model checking” Metadata:

• Title: Model checking
• Authors: Edmund M. Clarke Jr.Orna GrumbergDoron A. Peled
• Language: English
• Number of Pages: Median: 377
• Publisher: The MIT Press - MIT Press
• Publish Date: 1999 - 2018

“Model checking” Subjects and Themes:

• Subjects: ➤  Datenverarbeitungssystem - Computersystemen - Engenharia de software - Modellen - Verificação e validação de software - Vérification - Model Checking - Verification - Logiciels - Computer systems - Verificatie - Operating systems (computers) - Computer software, verification - COMPUTERS - Software Development & Engineering - Systems Analysis & Design - Modellen (theorie) - Engineering & Applied Sciences - Computer Science - Sat (educational test) - Models and modelmaking

Edition Identifiers:

• The Open Library ID: OL29803635M - OL53279753M - OL9769008M - OL27372221M - OL29709655M
• Online Computer Library Center (OCLC) ID: 1030446194 - 49568935 - 40675218
• Library of Congress Control Number (LCCN): 99017979 - 2018014965
• All ISBNs: ➤  0585385580 - 0262270455 - 0262032708 - 9780262032704 - 0262349442 - 9780262038836 - 9780585385587 - 0262038838 - 9780262270458 - 9780262349444

“The Art Of Application Performance Testing” Metadata:

• Title: ➤  The Art Of Application Performance Testing
• Author: Ian Molyneaux
• Language: English
• Number of Pages: Median: 218
• Publisher: ➤  O'Reilly Media - O'Reilly Media, Incorporated - O'Reilly Media, Inc.
• Publish Date: 2009 - 2014
• Publish Location: Sebastopol, Calif

“The Art Of Application Performance Testing” Subjects and Themes:

• Subjects: ➤  Application software - Computer software, quality control - Testing - Computer software - Quality control - Qualité - Contrôle - Informatique - Logiciels - Vérification - Computer software, validation - Application software, development - Application software -- Testing - Web services

Edition Identifiers:

• The Open Library ID: ➤  OL36717600M - OL36721555M - OL28540901M - OL26014115M - OL36721492M - OL33470531M - OL34618349M - OL50195606M
• Online Computer Library Center (OCLC) ID: 317877837 - 899528102
• Library of Congress Control Number (LCCN): 2010278788 - 2016498286
• All ISBNs: ➤  0596555431 - 0596155859 - 1491900520 - 9781491900529 - 1491900547 - 9781306814836 - 9780596555436 - 1306814839 - 9781491900543 - 1491900504 - 0596551053 - 9781491900505 - 9780596155858 - 9780596520663 - 0596520662 - 9780596551056

“Verification 1995” Metadata:

• Title: Verification 1995
• Author: J. B. Poole
• Language: English
• Number of Pages: Median: 411
• Publisher: ➤  Taylor & Francis Group - Brand: Westview Pr (Short Disc) - Westview Press
• Publish Date: 1995 - 2019 - 2020

“Verification 1995” Subjects and Themes:

• Subjects: ➤  Arms control - Verification - International Environmental law - International police - Armements - Contrôle - Vérification - Police internationale - POLITICAL SCIENCE - General

Edition Identifiers:

• The Open Library ID: ➤  OL33711370M - OL39266441M - OL11349531M - OL39265866M - OL39228417M - OL34658403M - OL36748305M
• Online Computer Library Center (OCLC) ID: 1120691216 - 34099212
• All ISBNs: ➤  9780813389455 - 0367212846 - 9780429266928 - 9780367212841 - 0367215659 - 0813389453 - 0429266928 - 9781000010350 - 9780367215651 - 9781000016871 - 100001035X - 1000016870 - 9781000003512 - 1000003515

“Verification 1996” Metadata:

• Title: Verification 1996
• Authors: J. B. PooleR. Guthrie
• Language: English
• Number of Pages: Median: 480
• Publisher: ➤  Westview Press - Taylor & Francis Group
• Publish Date: 1996 - 2019 - 2020

“Verification 1996” Subjects and Themes:

• Subjects: ➤  Arms control - United nations, armed forces - Environmental monitoring - Verification - Armements - Contrôle - Vérification - POLITICAL SCIENCE - General

Edition Identifiers:

• The Open Library ID: ➤  OL34671157M - OL33695663M - OL54029170M - OL11349533M - OL54037371M - OL36753906M - OL36699628M
• Online Computer Library Center (OCLC) ID: 1120692026
• All ISBNs: ➤  0813390052 - 0367212854 - 1000002489 - 9780429266935 - 9780367215668 - 9780813390055 - 100001584X - 0429266936 - 9781000015843 - 9780367212858 - 0367215667 - 9781000002485 - 9781000009323 - 1000009327

“Verification” Metadata:

• Title: Verification
• Author: Allan S. Krass
• Language: English
• Number of Pages: Median: 282
• Publisher: ➤  Taylor & Francis Group - Lexington Books - Routledge, Chapman & Hall, Incorporated
• Publish Date: 1985 - 2020 - 2022
• Publish Location: Lexington, Mass

“Verification” Subjects and Themes:

• Subjects: ➤  Verification - Nuclear arms control - Arms control - Armements - Contrôle - Vérification - Armes nucléaires - POLITICAL SCIENCE - General

Edition Identifiers:

• The Open Library ID: ➤  OL34675730M - OL21586864M - OL29519036M - OL29518923M - OL29519328M - OL39052763M - OL29518839M
• Online Computer Library Center (OCLC) ID: 1222941317
• All ISBNs: ➤  9781000200621 - 1000200698 - 0669131512 - 9781000200690 - 1000200558 - 036752340X - 1000200620 - 9780367523442 - 0367523442 - 9780669131512 - 9781000200553 - 9781003057529 - 9780367523404 - 1003057527

“Data flow analysis” Metadata:

• Title: Data flow analysis
• Authors: Uday KhedkerAmitabha SanyalBageshri Karkare
• Language: English
• Number of Pages: Median: 395
• Publisher: Taylor & Francis Group - CRC
• Publish Date: 2008 - 2009 - 2017

“Data flow analysis” Subjects and Themes:

• Subjects: ➤  Computer software - Compilers (Computer programs) - Verification - Software engineering - Data flow computing - Computer programming - Compilateurs (Logiciels) - Flux de données (Informatique) - Génie logiciel - Logiciels - Vérification - COMPUTERS - Systems Architecture - Distributed Systems & Computing

Edition Identifiers:

• The Open Library ID: ➤  OL34594190M - OL33792566M - OL33749360M - OL33647417M - OL33544724M - OL11559604M
• Online Computer Library Center (OCLC) ID: 300030552 - 449661968
• Library of Congress Control Number (LCCN): 2009002056
• All ISBNs: ➤  1322627509 - 1351838237 - 1315222345 - 1351829548 - 9781315222349 - 9781322627502 - 9781351838238 - 9781351829540 - 0849328802 - 9780849328800 - 9780849332517 - 0849332516

“Dismantling the Iraqi Nuclear Programme” Metadata:

• Title: ➤  Dismantling the Iraqi Nuclear Programme
• Author: Gudrun Harrer
• Language: English
• Number of Pages: Median: 296
• Publisher: ➤  Routledge - Taylor & Francis Group
• Publish Date: 2013 - 2014

“Dismantling the Iraqi Nuclear Programme” Subjects and Themes:

• Subjects: ➤  International atomic energy agency - Nuclear arms control - Nuclear disarmament - Iraq, politics and government - Nuclear weapons - Nuclear facilities - Inspection - Verification - Disarmament - On-site inspection - HISTORY / Middle East / General - POLITICAL SCIENCE / International Relations / Arms Control - POLITICAL SCIENCE / Political Freedom & Security / International Security - Armes nucléaires - Installations nucléaires - Contrôle - Vérification - Désarmement - Inspection sur place - HISTORY - General - POLITICAL SCIENCE - International Relations - Arms Control - Political Freedom & Security - International Security - Government - International - IAEA - Facilities - Nuclear energy - Nuclear reactors

Edition Identifiers:

• The Open Library ID: ➤  OL35796777M - OL53920772M - OL28767490M - OL54054516M - OL46043158M - OL35832062M
• Online Computer Library Center (OCLC) ID: 875894439 - 858914298
• Library of Congress Control Number (LCCN): 2013027541
• All ISBNs: ➤  1134115644 - 9780415828390 - 1134115504 - 9781134115570 - 9781134115501 - 9781306570848 - 0203628691 - 9780203628690 - 9781134115648 - 1134115571 - 1306570840 - 0415828392

“Libya and Nuclear Proliferation” Metadata:

• Title: ➤  Libya and Nuclear Proliferation
• Author: Wyn Q. Bowen
• Language: English
• Number of Pages: Median: 108
• Publisher: ➤  Taylor & Francis Group - Routledge
• Publish Date: 2006 - 2017

“Libya and Nuclear Proliferation” Subjects and Themes:

• Subjects: ➤  Nuclear weapons - Nuclear nonproliferation - Nuclear arms control - Verification - Foreign relations - United states, foreign relations, libya - Libya, foreign relations - Great britain, foreign relations, africa - Armes nucléaires - Non-prolifération nucléaire - Contrôle - Vérification - Relations extérieures - HISTORY - Military - Other - TECHNOLOGY & ENGINEERING - Military Science - Diplomatic relations - Kernwaffe - Sicherheitspolitik - Rüstungspolitik - Außenpolitik - Rüstungsbegrenzung - Proliferation - Veiligheidspolitiek - Buitenlandse politiek - Proliferatie (kernwapens)

Edition Identifiers:

• The Open Library ID: ➤  OL53258004M - OL33646720M - OL35815142M - OL35815141M - OL7494760M - OL53971457M
• Online Computer Library Center (OCLC) ID: 1005586737 - 69665570
• Library of Congress Control Number (LCCN): 2006361361
• All ISBNs: ➤  1351225529 - 1138452122 - 9780415412384 - 1351225545 - 0415412382 - 9781351225540 - 9781351225526 - 9781351225533 - 1351225510 - 1351225537 - 9781138452121 - 9781351225519

“The UN inspections in Iraq” Metadata:

• Title: The UN inspections in Iraq
• Author: Kathleen C. Bailey
• Language: English
• Number of Pages: Median: 151
• Publisher: ➤  Westview Press - Taylor & Francis Group
• Publish Date: 1995 - 2019
• Publish Location: Boulder

“The UN inspections in Iraq” Subjects and Themes:

• Subjects: ➤  Arms control - Verification - Iraq - Armements - Contrôle - Vérification - POLITICAL SCIENCE - General
• Places: Iraq

Edition Identifiers:

• The Open Library ID: ➤  OL36756894M - OL1276014M - OL40084082M - OL33729680M - OL40067416M - OL36756893M
• Online Computer Library Center (OCLC) ID: 32199545 - 1107880673
• Library of Congress Control Number (LCCN): 95007621
• All ISBNs: ➤  9780429315626 - 0429315627 - 9781000270730 - 9781000234794 - 1000270734 - 1000234797 - 036729687X - 9781000306675 - 9780367296872 - 9780813389257 - 0813389259 - 1000306674

“Challenges of Verification” Metadata:

• Title: Challenges of Verification
• Author: Heinz Gaertner
• Language: English
• Number of Pages: Median: 94
• Publisher: Taylor & Francis Group
• Publish Date: 1989 - 2019

“Challenges of Verification” Subjects and Themes:

• Subjects: ➤  Arms control - Developing countries, military policy - Verification - Military policy - Small States - Armements - Contrôle - Vérification - Politique militaire - Petits États - POLITICAL SCIENCE - Government - International - International Relations - General

Edition Identifiers:

• The Open Library ID: ➤  OL33341936M - OL33664465M - OL36753597M - OL40091518M - OL36756445M - OL40070793M
• Online Computer Library Center (OCLC) ID: 1102071189
• All ISBNs: ➤  9780429733987 - 9780429693960 - 9780367013462 - 9780429713972 - 0429713975 - 0813377986 - 0429733984 - 9780429043321 - 0429693966 - 0367013460 - 0429043325 - 9780813377988

“Listening for the Bomb” Metadata:

• Title: Listening for the Bomb
• Author: Philip G. Schrag
• Language: English
• Number of Pages: Median: 152
• Publisher: Taylor & Francis Group
• Publish Date: 2019 - 2021

“Listening for the Bomb” Subjects and Themes:

• Subjects: ➤  Nuclear arms control - Verification - Military relations - Military policy - Armes nucléaires - Contrôle - Vérification - Relations militaires - Natural Resources Defense Council

Edition Identifiers:

• The Open Library ID: ➤  OL35551871M - OL35555882M - OL35545880M - OL33916279M - OL35545863M - OL33713908M
• Online Computer Library Center (OCLC) ID: 1112671675
• All ISBNs: ➤  9780429042508 - 9780367162511 - 042969363X - 9780429713644 - 0367012642 - 0429042507 - 9780429733659 - 0429713649 - 0429733658 - 0367162512 - 9780429693632 - 9780367012649

“Strategic Disarmament, Verification and National Security” Metadata:

• Title: ➤  Strategic Disarmament, Verification and National Security
• Author: ➤  Stockholm International Stockholm International Peace Research Institute
• Language: English
• Number of Pages: Median: 186
• Publisher: Taylor & Francis Group
• Publish Date: 2020

“Strategic Disarmament, Verification and National Security” Subjects and Themes:

• Subjects: ➤  Nuclear arms control - Verification - Arms control - Armes nucléaires - Contrôle - Vérification - Armements - POLITICAL SCIENCE / General

Edition Identifiers:

• The Open Library ID: OL29518665M - OL34675647M - OL29519144M - OL29519182M - OL29518795M
• Online Computer Library Center (OCLC) ID: 1200027524
• All ISBNs: ➤  1000200485 - 9781003052739 - 9780367511616 - 1000200388 - 9781000200485 - 0367511614 - 9781000200430 - 9781000200386 - 1003052738 - 1000200434

“Verifying Nuclear Disarmament” Metadata:

• Title: Verifying Nuclear Disarmament
• Author: Thomas E. Shea
• Language: English
• Number of Pages: Median: 240
• Publisher: Taylor & Francis Group
• Publish Date: 2018

“Verifying Nuclear Disarmament” Subjects and Themes:

• Subjects: ➤  Nuclear arms control - Nuclear nonproliferation - Nuclear disarmament - Verification - Nuclear weapons (International law) - Désarmement nucléaire - Armes nucléaires - Contrôle - Vérification - Armes nucléaires (Droit international) - POLITICAL SCIENCE - Government - International - International Relations - General - HISTORY - Proliferation

Edition Identifiers:

• The Open Library ID: OL40091158M - OL40044633M - OL36741294M - OL36730432M - OL28915948M
• Online Computer Library Center (OCLC) ID: 1054366699 - 1053984026 - 1203915006
• All ISBNs: ➤  1351592149 - 1315102463 - 9781351592130 - 9781138103887 - 9781351592123 - 9781351592147 - 1138103888 - 1351592130 - 1351592122 - 9781315102467

“Verification 1997” Metadata:

• Title: Verification 1997
• Author: Richard Guthrie
• Language: English
• Publisher: Taylor & Francis Group
• Publish Date: 2018

“Verification 1997” Subjects and Themes:

• Subjects: Arms control - Verification - Armements - Contrôle - Vérification

Edition Identifiers:

• The Open Library ID: OL39265218M - OL36741322M - OL36745560M - OL39262105M
• Online Computer Library Center (OCLC) ID: 1103972823
• All ISBNs: ➤  0429982909 - 0429993986 - 0429971826 - 9780429993985 - 9780429503276 - 042950327X - 9780429971822 - 9780429982903

“Verification of computer codes in computational science and engineering” Metadata:

• Title: ➤  Verification of computer codes in computational science and engineering
• Authors: Patrick M. KnuppPatrick KnuppKambiz Salari
• Language: English
• Number of Pages: Median: 160
• Publisher: ➤  Chapman & Hall/CRC Press - Taylor & Francis Group - Chapman & Hall/CRC
• Publish Date: 2002 - 2003
• Publish Location: Boca Raton, Fla

“Verification of computer codes in computational science and engineering” Subjects and Themes:

• Subjects: ➤  Numerical calculations - Numerical solutions - Partial Differential equations - Verification - Differential Equations - Partial - MATHEMATICS - Engineering: general - Mathematical theory of computation - Programming - Software Development - Engineering - Civil - Coding Techniques - Software Quality Control - Science/Mathematics - Computers - Engineering - Mechanical - Applied - Mathematics / Number Systems - Programming - Systems Analysis & Design - Differential equations, Partia - Differential equations, Partial - Differential equations, parabolic, numerical solutions - Calculs numériques - Vérification - Équations aux dérivées partielles - Solutions numériques

Edition Identifiers:

• The Open Library ID: OL33731112M - OL29023720M - OL8795288M - OL18180108M
• Online Computer Library Center (OCLC) ID: 50164835 - 276796519
• Library of Congress Control Number (LCCN): 2002073821
• All ISBNs: ➤  9780429122750 - 1584882646 - 9781584882640 - 1420035428 - 9781420035421 - 0429122756

“Verification and validation of complex systems” Metadata:

• Title: ➤  Verification and validation of complex systems
• Authors: John A. WiseV. David HopkinPaul Stager
• Language: English
• Number of Pages: Median: 705
• Publisher: Springer-Verlag - Springer
• Publish Date: 1993 - 2010
• Publish Location: New York - Berlin

“Verification and validation of complex systems” Subjects and Themes:

• Subjects: ➤  Utilisateur - Systèmes homme-machine - Circulation aérienne - Software engineering - Système complexe - Congrès - Vérification - Contrôle - Erreur - System analysis - Performance - Validation - Contrôle trafic aérien - Système homme-machine - Interaction homme-machine - Human-machine systems - Air traffic control - Congresses - Génie logiciel - Mens-machine-systemen - Systèmes, Analyse de - Systems engineering

Edition Identifiers:

• The Open Library ID: OL9060984M - OL7447273M - OL28000397M - OL1397485M
• Library of Congress Control Number (LCCN): 93004994
• All ISBNs: ➤  364208155X - 9783540565741 - 9783642081552 - 9780387565743 - 3540565744 - 0387565744

“Standardized Functional Verification” Metadata:

• Title: ➤  Standardized Functional Verification
• Author: Alan Wiemann
• Language: English
• Number of Pages: Median: 295
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2007 - 2010

“Standardized Functional Verification” Subjects and Themes:

• Subjects: Vérification - Integrated circuits - Verification - Circuits intégrés

Edition Identifiers:

• The Open Library ID: OL37109477M - OL28269594M - OL7447859M
• Online Computer Library Center (OCLC) ID: 176804489
• Library of Congress Control Number (LCCN): 2007929789
• All ISBNs: ➤  9780387717333 - 9781441944078 - 9780387717326 - 0387717323 - 0387717331 - 1441944079

“Verification, Model Checking, and Abstract Interpretation” Metadata:

• Title: ➤  Verification, Model Checking, and Abstract Interpretation
• Author: Radhia Cousot
• Language: English
• Number of Pages: Median: 483
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2005 - 2008

“Verification, Model Checking, and Abstract Interpretation” Subjects and Themes:

• Subjects: ➤  Vérification - Congresses - Verification - Logiciels - Computer programs - Congrès

Edition Identifiers:

• The Open Library ID: OL37093246M - OL28275903M - OL9856824M
• All ISBNs: ➤  9783540806752 - 354024297X - 3540305793 - 354080675X - 9783540305798 - 9783540242970

“Formal methods for hardware verification” Metadata:

• Title: ➤  Formal methods for hardware verification
• Author: ➤  International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)
• Language: English
• Number of Pages: Median: 243
• Publisher: Springer
• Publish Date: 2006
• Publish Location: New York - Berlin

“Formal methods for hardware verification” Subjects and Themes:

• Subjects: ➤  Congresses - Formal methods (Computer science) - Verification - Integrated circuits - Circuits intégrés - Congrès - Vérification - Méthodes formelles (Informatique) - Informatique - Telecommunication systems

Edition Identifiers:

• The Open Library ID: OL17176547M - OL12774119M
• Online Computer Library Center (OCLC) ID: 69983491
• Library of Congress Control Number (LCCN): 2006925529
• All ISBNs: 3540343040 - 9783540343042

“Software engineering reviews and audits” Metadata:

• Title: ➤  Software engineering reviews and audits
• Author: Boyd L. Summers
• Language: English
• Number of Pages: Median: 240
• Publisher: ➤  Auerbach Publishers, Incorporated - Taylor & Francis Group - CRC Press/Auerbach Publications
• Publish Date: 2011 - 2019
• Publish Location: Boca Raton

“Software engineering reviews and audits” Subjects and Themes:

• Subjects: ➤  Validation - Verification - Software engineering - Computer software - Computer software, validation - Computer software, verification - Quality control - Computer programs - Logiciels - Vérification - Qualité - Contrôle - COMPUTERS - Programming - Quality Assurance & Testing

Edition Identifiers:

• The Open Library ID: OL37946383M - OL34667976M - OL24852552M
• Online Computer Library Center (OCLC) ID: 702119743 - 635487085
• Library of Congress Control Number (LCCN): 2011006908
• All ISBNs: ➤  143985145X - 9781439851463 - 9780367383121 - 0367383128 - 9781439851456 - 1439851468

“Verification, model checking, and abstract interpretation” Metadata:

• Title: ➤  Verification, model checking, and abstract interpretation
• Author: ➤  VMCAI 2004 (2004 Venice, Italy)
• Language: English
• Number of Pages: Median: 324
• Publisher: Springer
• Publish Date: 2004
• Publish Location: New York - Berlin

“Verification, model checking, and abstract interpretation” Subjects and Themes:

• Subjects: ➤  Computer programs - Congresses - Verification - Logiciels - Congrès - Vérification - COMPUTERS - Software Development & Engineering - Quality Assurance & Testing - Abstrakte Interpretation - Formale Methode - Kongress - Model Checking - Programmanalyse - Programmverifikation - Vérification de logiciels - Model-checking (Informatique) - Méthode formelle

Edition Identifiers:

• The Open Library ID: OL18209567M - OL3303006M
• Online Computer Library Center (OCLC) ID: 54400193
• Library of Congress Control Number (LCCN): 2004043677
• All ISBNs: 9783540208037 - 3540208038

“Guidance for the verification and validation of neural networks” Metadata:

• Title: ➤  Guidance for the verification and validation of neural networks
• Authors: Laura L. PullumBrian J. TaylorMarjorie A. Darrah
• Language: English
• Number of Pages: Median: 133
• Publisher: ➤  Wiley-IEEE Computer Society Pr - Wiley & Sons, Limited, John
• Publish Date: 2007 - 2015

“Guidance for the verification and validation of neural networks” Subjects and Themes:

• Subjects: ➤  Neural networks (Computer science) - Computer programs - Validation - Verification - Réseaux neuronaux (Informatique) - Logiciels - Vérification - Neural networks (computer science) - Machine learning

Edition Identifiers:

• The Open Library ID: OL39918950M - OL7595757M
• Library of Congress Control Number (LCCN): 2010277955
• All ISBNs: 047008457X - 9781119134671 - 1119134676 - 9780470084571

“Reconfigurable System Design and Verification” Metadata:

• Title: ➤  Reconfigurable System Design and Verification
• Author: Jacek F. Gieras
• Language: English
• Number of Pages: Median: 268
• Publisher: CRC Press - CRC
• Publish Date: 2009

“Reconfigurable System Design and Verification” Subjects and Themes:

• Subjects: ➤  Permanent magnet motors - System design - Computer software, verification - Computer architecture - Embedded computer systems - Computer systems - Verification - Systèmes enfouis (Informatique) - Conception de systèmes - Systèmes informatiques - Vérification - COMPUTERS - Software Development & Engineering - Systems Analysis & Design - Moteurs à aimants permanents - TECHNOLOGY & ENGINEERING - Mechanical

Edition Identifiers:

• The Open Library ID: OL11816920M - OL11816862M
• Online Computer Library Center (OCLC) ID: 641702383 - 404025961 - 154683836
• Library of Congress Control Number (LCCN): 2009028498 - 2008044105
• All ISBNs: 9781420062663 - 1420064401 - 1420062662 - 9781420064407

“Computer aided verification” Metadata:

• Title: Computer aided verification
• Authors: Thomas BallJones, Robert B.
• Language: English
• Number of Pages: Median: 564
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2006

“Computer aided verification” Subjects and Themes:

• Subjects: ➤  Circuits intégrés - Congrès - Vérification - Congresses - Verification - Logiciels - Integrated circuits - Computer software - Computer software, verification

Edition Identifiers:

• The Open Library ID: OL37121857M - OL9056780M
• Online Computer Library Center (OCLC) ID: 71247056
• Library of Congress Control Number (LCCN): 2006930415
• All ISBNs: 354037406X - 9783540374060 - 9783540374114 - 3540374116

“Multilateral approaches to non-proliferation” Metadata:

• Title: ➤  Multilateral approaches to non-proliferation
• Author: ➤  Canadian Non-Proliferation Workshop (4th 1995 Ottawa, Ont.)
• Language: English
• Number of Pages: Median: 152
• Publisher: ➤  Centre for International and Security Studies, York University
• Publish Date: 1996
• Publish Location: Toronto, Canada

“Multilateral approaches to non-proliferation” Subjects and Themes:

• Subjects: ➤  Congresses - Arms control - Nuclear nonproliferation - Verification - Armements - Contrôle - Congrès - Vérification
• Places: Canada

Edition Identifiers:

• The Open Library ID: OL8352923M - OL294739M
• Online Computer Library Center (OCLC) ID: 35932562
• Library of Congress Control Number (LCCN): 96930284 - cn96930284 - 97200434
• All ISBNs: 0920231217 - 9780920231210

“Advanced topics in exception handling techniques” Metadata:

• Title: ➤  Advanced topics in exception handling techniques
• Authors: Jorgen Lindskov KnudsenAlexander Romanovsky
• Language: English
• Number of Pages: Median: 301
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2006

“Advanced topics in exception handling techniques” Subjects and Themes:

• Subjects: ➤  Development - Computer software - Congresses - System design - Object-oriented programming (Computer science) - Computer networks - Artificial intelligence - Computer science - Software engineering - Operating systems (Computers) - Computer software, development - Logiciels - Développement - Vérification

Edition Identifiers:

• The Open Library ID: OL37121859M - OL9056785M
• Online Computer Library Center (OCLC) ID: 72145623 - 71298953
• Library of Congress Control Number (LCCN): 2006930921
• All ISBNs: 9783540374435 - 3540374434 - 9783540374459 - 3540374450

“La vérification dans un contexte mondial” Metadata:

• Title: ➤  La vérification dans un contexte mondial
• Author: ➤  Canada. Direction de la non-prolifération et du contrôle des armements et du désarmement.
• Language: fre
• Number of Pages: Median: 48
• Publisher: ➤  Ministère des affaires étrangères et du commerce international
• Publish Date: 1996
• Publish Location: Ottawa, Ont

“La vérification dans un contexte mondial” Subjects and Themes:

• Subjects: ➤  Armements - Contrôle - Désarmement - Nations Unies - Sécurité internationale - Vérification

Edition Identifiers:

• The Open Library ID: OL20655348M
• All ISBNs: 9780662810506 - 0662810503

“Les rôles convergents de la vérification du contrôle des armements, des mesures propres à accroître la confiance et des opérations de paix” Metadata:

• Title: ➤  Les rôles convergents de la vérification du contrôle des armements, des mesures propres à accroître la confiance et des opérations de paix
• Author: ➤  Canada. Direction de la non-prolifération et du contrôle des armements et du désarmement.
• Language: fre
• Number of Pages: Median: 96
• Publisher: ➤  Ministère des affaires étrangères et du commerce international
• Publish Date: 1994
• Publish Location: Ottawa, Ont

“Les rôles convergents de la vérification du contrôle des armements, des mesures propres à accroître la confiance et des opérations de paix” Subjects and Themes:

• Subjects: Sécurité internationale - Vérification - Paix - Contrôle - Armements

Edition Identifiers:

• The Open Library ID: OL20451699M
• All ISBNs: 9780662994862 - 0662994868

“La vérification des limites visant les effectifs en personnel militaire” Metadata:

• Title: ➤  La vérification des limites visant les effectifs en personnel militaire
• Author: George Lindsey
• Language: fre
• Number of Pages: Median: 68
• Publisher: ➤  Affaires extérieures et commerce extérieur Canada
• Publish Date: 1991
• Publish Location: Ottawa, Ont

“La vérification des limites visant les effectifs en personnel militaire” Subjects and Themes:

• Subjects: ➤  Armements - Contrôle - Désarmement - Inspection sur place - Sécurité internationale - Vérification

Edition Identifiers:

• The Open Library ID: OL21022279M
• All ISBNs: 9780662972402 - 0662972406

“Des satellites qui en endommagent d'autres” Metadata:

• Title: ➤  Des satellites qui en endommagent d'autres
• Author: Hughes, Peter C.
• Language: fre
• Number of Pages: Median: 56
• Publisher: ➤  Affaires extérieures et commerce extérieur Canada
• Publish Date: 1991
• Publish Location: Ottawa, Ont

“Des satellites qui en endommagent d'autres” Subjects and Themes:

• Subjects: ➤  Antisatellites - Armements - Armes spatiales - Contrôle - Poursuite - Satellites artificiels - Vérification

Edition Identifiers:

• The Open Library ID: OL20059073M
• Online Computer Library Center (OCLC) ID: 24379490
• All ISBNs: 9780662969839 - 0662969839

“VERIFICATION” Metadata:

• Title: VERIFICATION
• Author: FRANCESCO CALOGERO
• Language: English
• Number of Pages: Median: 286
• Publisher: ROUTLEDGE
• Publish Date: 2018
• Publish Location: ➤  [Place of publication not identified]

“VERIFICATION” Subjects and Themes:

• Subjects: ➤  Nuclear disarmament - Nuclear arms control - Verification - Désarmement nucléaire - Armes nucléaires - Contrôle - Vérification

Edition Identifiers:

• The Open Library ID: OL44008127M
• Online Computer Library Center (OCLC) ID: 1105150757
• All ISBNs: 9780429267079 - 042926707X - 9780367212995 - 0367212994

“Macdonell, Sheard, and Hull on probate practice” Metadata:

• Title: ➤  Macdonell, Sheard, and Hull on probate practice
• Author: Rodney Hull
• Language: English
• Number of Pages: Median: 636
• Publisher: Carswell
• Publish Date: 1996
• Publish Location: Scarborough, Ont

“Macdonell, Sheard, and Hull on probate practice” Subjects and Themes:

• Subjects: Probate law and practice - Testaments - Vérification
• Places: Ontario

Edition Identifiers:

• The Open Library ID: OL3369833M
• Online Computer Library Center (OCLC) ID: 35930880
• Library of Congress Control Number (LCCN): 2004445260
• All ISBNs: 045955378X - 9780459553784

“Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994” Metadata:

• Title: ➤  Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994
• Author: David L. Dill
• Language: English
• Number of Pages: Median: 480
• Publisher: Springer
• Publish Date: 1994