Basin, David books & textbook
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758)
Springer /2003-08-21 Paperback / 376 Pages
isbn-10: 3540406646 / isbn-13: 9783540406648
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew
Cambridge University Press /2005-08-08 Hardcover / 216 Pages
isbn-10: 052183449X / isbn-13: 9780521834490
The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)
Chuat, Laurent Legner, Markus Basin, David Hausheer, David Hitz, Samuel Müller, Peter Perrig, Adrian
Springer /2022-05-17 Hardcover / 677 Pages
isbn-10: 3031052870 / isbn-13: 9783031052873
Applied Information Security: A Hands-on Approach
Basin, David Schaller, Patrick Schläpfer, Michael
Springer /2011-10-28 Hardcover / 216 Pages
isbn-10: 3642244734 / isbn-13: 9783642244735
Reviving Japan's Economy: Problems and Prescriptions (Mit Press)
Ito, Professor Takatoshi Patrick, R D Calkins Professor of International Business Director of the Center on Japanese Economy and Business and Co-Director of the Pacific Basin Studies Program Hugh Weinstein, David E
MIT Press /2005-09-16 Hardcover / 425 Pages
isbn-10: 0262090406 / isbn-13: 9780262090407
Welding Test Number 170. Investigation of Welded Butts and Seams in S.T. S. Subjected to Ballistic Impact. Report of Tensile and Bend Tests
DAVID TAYLOR MODEL BASIN WASHINGTON DC
PN /1939T Paperback
Full Scale Turning Trials: DD 423 and DD 444. Report 522. Confidential.
US Navy, David Taylor Model Basin. Brooks & Wright.
GPO, 1943. /1943-01-01 Paperback
The Calculation of Propeller Induction Factors AML Problem 69-54.
DAVID TAYLOR MODEL BASIN WASHINGTON D C
PN /1957T Paperback
Time constants and frequency response of coated hot wires used as turbulence-sensing elements
David W. Taylor Model Basin. Hydromechanics Laboratory, .
University of Michigan Library /1957-01-01 Paperback / 68 Pages
Labelled Deduction (Applied Logic Series)
Basin, David D'Agostino, M. Gabbay, Dov M. Matthews, Seán Viganò, Luca
Springer /2012-10-08 Paperback / 278 Pages
isbn-10: 9401057818 / isbn-13: 9789401057813
