Suggested Topics within your search.
Showing 1 - 20 results of 67 for search '"Checks."', query time: 0.62s Refine Results
1
International Conference for the Unification of the Laws Relating to Bills of Exchange, Promissory Notes and Cheques : second session, February 23rd, 1931 : replies by the governments to the questionnaire regarding cheques; execution of recommendation no. V of the Final act of the conference, signed at Geneva on June 7th, 1930.
[Geneva, Switzerland] : League of Nations, 1930
Subjects: “...Checks (International law) Congresses....”

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
2
Records of the International Conference for the Unification of Laws on Bills of Exchange, Promissory Notes and Cheques, Geneva, May 13th-June 7th, 1930. First session. : Bills of exchange and promissory notes.
[Geneva], [publisher not identified], 1930
Subjects: “...Checks (International law) http://id.loc.gov/authorities/subjects/sh85022836...”

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
3
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Berlin ; New York : Springer-Verlag, 2006
1st ed.
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
4
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
Berlin ; New York : Springer, 2004
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
5
Payments in the financial services industry of the 1980s : conference proceedings /
Westport, Conn. : Quorum Books, 1984
Subjects: “...Check collection systems Congresses....”

Book
6
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
Berlin ; New York : Springer, 2004
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
7
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
Berlin ; New York : Springer, 2004
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
8
Proceedings of a conference on the future of the U.S. payments system : Federal Reserve Bank of Atlanta, June 23-25, 1981.
Subjects: “...Check collection systems United States Congresses....”

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
9
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Berlin ; New York : Springer, 2007
Subjects: “...Model checking...”

Conference Proceeding Book
10
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Berlin ; New York : Springer, 2005
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
11
Model checking software : 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings /
Berlin : Springer, 2005
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
12
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Berlin ; New York : Springer, 2002
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
13
The U.S. payment system : efficiency, risk, and the role of the Federal Reserve : proceedings of a Symposium on the U.S. Payment System /
Boston : Kluwer Academic Publishers, 1990
Subjects: “...Check collection systems United States Congresses....”

Conference Proceeding Book
14
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /
Berlin ; Hong Kong : Springer-Verlag, 2004
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
15
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings /
Berlin ; New York : Springer, 2005
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
16
Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Berlin ; New York : Springer, 2003
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
17
Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Berlin ; New York : Springer, 2008
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
18
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings /
Berlin ; New York : Springer, 2000
Subjects: “...Abstrakter Automat Verifikation Model checking Kongress Monte Verità <2000>. swd...”

Book
19
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
Berlin ; New York : Springer, 2004
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
20
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /
Berlin ; New York : Springer, 2005
Subjects: “...Model Checking gnd...”

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search