同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Verification)
該当件数:47件
Confirmation and confirmability / G. Schlesinger
Oxford ; New York : Clarendon Press , 1974
図書 <BB00019784>
Verificationism : its history and prospects / C.J. Misak
: pbk. - London ; New York : Routledge , 1995. - (Philosophical issues in science)
図書 <BB12935754>
Verifying nonproliferation treaties : obligation, process, and sovereignty / J. Christian Kessler
Washington, D.C. : National Defense University Press. - Washington, D.C. : For sale by the U.S. G.P.O. Supt. of Docs. , [1995]
図書 <BB10110138>
Das Verifikationsproblem in Rüstungskontrollvereinbarungen / Rüdiger Haubrock
Frankfurt am Main ; New York : P. Lang , c1992. - (Europäische Hochschulschriften = Publications universitaires européennes = European university studies ; Reihe II . Rechtswissenschaft ; Bd. 1170)
図書 <BB00255417>
Verification in all its aspects including the role of the united nations in the field of verification
New York : United Nations , 2008. - (Disarmament ; . Study series ; 32)
図書 <BB10343763>
Epistemetrics / Nicholas Rescher
: hardback. - Cambridge ; New York : Cambridge University Press , 2006
図書 <BB10223980>
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.)
pbk.,pbk.. - Berlin ; New York : Springer , c2005. - (Lecture notes in computer science ISSN:0302-9743 ; 3385)
電子書籍 <OB00834494>
Verifying temporal properties of systems / Julian Charles Bradfield
: Boston,: Basel. - Boston : Birkhäuser , c1992. - (Progress in theoretical computer science)
図書 <BB00173021>
Nuclear weapon tests : prohibition or limitation? / edited by Jozef Goldblat and David Cox
Oxford [Oxfordshire] : Oxford University Press , 1988
図書 <BB10032443>
Symbolic algebraic methods and verification methods / Göetz Alefeld ... [et al.] (eds.)
pbk. : alk. paper. - Wien ; New York : Springer , c2001
電子書籍 <OB01028244>
Verification and control of hybrid systems : a symbolic approach / Paulo Tabuada ; foreword by Rajeev Alur
cased - ebk.. - New York : Springer , c2009
電子書籍 <OB01028648>
Methodological pragmatism : a systems-theoretic approach to the theory of knowledge / Nicholas Rescher
Oxford : Blackwell , 1977
図書 <BB00159236>
HILT'12 : proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012 Boston, Massachusetts / sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, and Ada-Europe
print. - New York : ACM , 2012
電子書籍 <OB00745615>
Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / Ranjit Jhala, David Schmidt (eds.)
soft cover : alk. paper,soft cover : alk. paper,e-book. - New York : Springer , 2011
電子書籍 <OB00834495>
Science & global security
[London] : Gordon and Breach
電子ジャーナル <OJ00053737>
Validation and verification of knowledge based systems : theory, tools and practice / edited by Anca Vermesan and Frans Coenen
Dordrecht : Kluwer Academic , c1999
図書 <BB00458552>
Verification in economics and history : a sequel to scientifization / O.F. Hamouda and B.B. Price
London ; New York : Routledge , 1991
図書 <BB00154302>
Emerson's demanding optimism / Gertrude Reif Hughes
Baton Rouge, La. : Louisiana State University Press , c1984
図書 <BB00107119>
PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA / program chairs Koen Claessen, Nikhil Swamy ; sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
電子書籍 <OB00746597>
SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA / edited by Hakan Erdogmus and Klaus Havelund ; sponsored by ACM SIGSOFT
New York : ACM , 2017
電子書籍 <OB00765615>
Proceedings of Correctness 2017 : first International Workshop on Software Correctness for HPC Applications
電子書籍 <OB00765275>
PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 / sponsored by ACM SIGPLAN ; co-located with ICFP'07
New York, N.Y. : Association for Computing Machinery , c2007
電子書籍 <OB00746596>
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA / program chairs Ranjit Jhala, Wouter Swierstra ; sponsored by ACM SIGPLAN, ACM SIGACT
print. - New York : ACM , 2011
電子書籍 <OB00746593>
PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA / sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACT
print. - New York : ACM , 2014
電子書籍 <OB00746595>
PLPV '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 22, 2013, Rome, Italy / program chairs Andreas Abel, Tim Sheard ; sponsored by ACM SIGPLAN
print. - New York : ACM , 2013
電子書籍 <OB00746594>
PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN
pbk.,pbk.. - New York, N.Y. : Association for Computing Machinery , c2009
電子書籍 <OB00746592>
Formal methods in system design
Netherlands : Kluwer Academic Publishers. - [Dordrecht] : Springer Netherlands
電子ジャーナル <OJ00021450>
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 575)
図書 <BB00187625>
Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 663)
図書 <BB00235578>
Induction, probability, and confirmation / edited by Grover Maxwell and Robert M. Anderson, Jr., for the Minnesota Center for Philosophy of Science
Minneapolis : University of Minnesota Press , c1975. - (Minnesota studies in the philosophy of science / edited by William Aspray, Philip Kitcher ; v. 6)
図書 <BB00071900>
TAV-WEB 2006 : proceedings of the Workshop on Testing, Analysis, and Verification of Web Services and Applications : Portland, Maine, USA, July 17, 2006 / edited by Tevfik Bultan
print. - New York : ACM , 2006
電子書籍 <OB00751721>
Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 1991 / sponsored by ACM Sigsoft
New York : ACM Press. - Baltimore : ACM Order Dept. [distributor] , c1991
電子書籍 <OB00750764>
TAV-WEB 2008 : proceedings of the Workshop on Testing, Analysis and Verification of Web Software : Seattle, Washington, USA, July 21, 2008 / edited by Tevfik Bultan, Tao Xie
print. - New York : ACM , 2008
電子書籍 <OB00751722>
The Quinnipiac probate law journal
[Hamden, Conn.] : [Quinnipiac College, School of Law]
電子ジャーナル <OJ00050125>
Software testing, verification & reliability
[Chichester, Sussex, England] : John Wiley & Sons
電子ジャーナル <OJ00055540>
HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA / sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT
電子書籍 <OB00745614>
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.)
pbk. : alk. paper. - Berlin ; New York : Springer , 2001. - (Lecture notes in computer science ; 2057)
電子書籍 <OB00746310>
2012 10th Workshop on Parallel and Distributed Systems : Testing, Analysis, and Debugging (PADTAD) : proceedings : July 16, 2012, Minneapolis, MN, USA
電子書籍 <OB00824454>
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland / edited by Koen Claessen and Viktor Kuncak
print. - Austin, Texas : FMCAD , 2014
電子書籍 <OB00747654>
PADTAD 2010 : International Workshop on Parallel and Distributed Systems : Testing, Analysis, and Debugging : Trento, Italy, July 13, 2010 / João Lourenco, Eitan Farchi, Shmuel Ur, (eds.)
print. - New York : ACM , 2010
電子書籍 <OB00824717>
Proceedings of the 6th Workshop on Parallel and Distributed Systems : Testing, Analysis, and Debugging / general chair Shmuel Ur
電子書籍 <OB00747414>
HILT '13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA / sponsored by ACM SIGAda ; in cooperation with ACM SIGAPP, ACM SIGBED, ACM SIGCAS, ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT
電子書籍 <OB00745613>
2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 2014, San Jose, CA, USA / organizing committee, Neha Rungta and Oksana Tkachuk
電子書籍 <OB00744344>
Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013 : proceedings / Michael Huth ... [et al.] (eds.)
: [pbk.]. - Heidelberg : Springer , c2013. - (Lecture notes in computer science ; 7904)
図書 <BB12631562>
CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India / sponsored by ACM SIGPLAN
print. - New York : ACM , 2015
電子書籍 <OB00745078>
Probate and property
Vol. 1, no. 1 (June 1972)-v. 15, no. 2 (fall 1986); [new ser.], v. 1, no. 1 (Jan./Feb. 1987)-. - Chicago, Ill. : American Bar Association , ©1972-
電子ジャーナル <OJ00048798>
Real property, probate, and trust journal
Chicago, Ill. : Section of Real Property, Probate, and Trust Law, American Bar Association , ©1966-©2008
電子ジャーナル <OJ00050428>