Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-8 of 8 results
Real-time systems : specification, verification, and analysis / edited by Mathai Joseph.
- Text
- London ; New York : Prentice Hall, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .R4298 1995 Off-site Der "Skandal der Philosophie" und die Semantik : kritische und systematische Untersuchungen zur analytischen Ontologie und Erfahrungstheorie / Rolf Zimmermann.
- Text
- Freiburg [Breisgau] : K. Alber, ©1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text B840 .Z5 1981 Off-site On theory and verification in sociology, by Hans L. Zetterberg.
- Text
- [Totowa, N.J.] Bedminster Press, 1963.
- 1963
- 1 Item
Item details Format Call Number Item Location Text HM24 .Z21 Off-site Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall International, ©1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .B335 Off-site Industrial applications of evolutionary algorithms / Ernesto Sanchez, Giovanni Squillero, and Alberto Tonda.
- Text
- Heidelberg ; New York : Springer, ©2012.
- 2012
- 1 Item
Item details Format Call Number Item Location Text QA76.618 .S26 2012 Off-site Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text TK7874 .C55 1993 Off-site Verification of disarmament or limitation of armaments : instruments, negotiations, proposals / edited by Serge Sur.
- Text
- New York : United Nations, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text GV.92.O.10 Off-site La vérification des accords sur le désarmement et la limitation des armements : moyens, méthodes et pratiques / sous la direction de Serge Sur.
- Text
- New York : Nations Unies, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text GV.91.O.9 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
