|
Interactive Systems. Design, Specification, and Verification
|
Joaquim A. JorgeNuno Jardim NunesJo�o Falc�o e Cunha |
Springer |
_ |
2003 |
|
|
Interactive Systems. Design, Specification, and Verification
|
T. C. Nicholas GrahamPhilippe Palanque |
Springer |
_ |
2008 |
|
|
Interactive Systems. Design, Specification, and Verification
|
Stephen W. GilroyMichael D. Harrison |
Springer |
_ |
2006 |
|
|
Interactive Systems. Design, Specification, and Verification
|
Gavin DohertyAnn Blandford |
Springer |
_ |
2007 |
|
|
Interactive Systems: Design, Specification, and Verification
|
Chris Johnson |
Springer |
_ |
2001 |
|
|
Interactive Systems:Design, Specification, and Verification
|
Peter ForbrigQuentin LimbourgJean VanderdoncktBodo Urban |
Springer |
_ |
2002 |
|
|
Interactive Technologies and Sociotechnical Systems
|
Hongbin ZhaZhigeng PanHal ThwaitesAlonzo C. AddisonMaurizio Forte |
Springer |
_ |
2006 |
|
|
Interactive Theorem Proving
|
Marko van EekelenHerman GeuversJulien SchmaltzFreek Wiedijk |
Springer |
_ |
2011 |
|
|
Interactive Theorem Proving
|
Lennart BeringerAmy Felty |
Springer |
9783642323478 |
2012 |
|
|
Interactive Theorem Proving
|
Matt KaufmannLawrence C. Paulson |
Springer |
_ |
2010 |
|
|
Interactive TV: a Shared Experience
|
Pablo CesarKonstantinos ChorianopoulosJens F. Jensen |
Springer |
_ |
2007 |
|
|
Intercultural Collaboration
|
Toru IshidaSusan R. FussellPiek T. J. M. Vossen |
Springer |
_ |
2007 |
|
|
Interfaces: Explorations in Logic, Language and Computation
|
Thomas IcardReinhard Muskens |
Springer |
_ |
2010 |
|
|
Intermediate Solid Mechanics
|
Lubarda/Lubarda |
Cambridge University Press |
9781108589000 |
2019 |
|
|
Intermetallic Chemistry
|
R. Ferro, A. Saccone (ed.) |
Elsevier |
9780080440996 |
2008 |
|
|
Intermodal Freight Transport
|
David Lowe |
Elsevier |
9780750659352 |
2005 |
|
|
International Agronomy Training and Education
|
J. Ritchie Cowan and L. S. Robertson (ed.) |
ASA CSSA SSSA |
9780891182825 |
1969 |
|
|
International and National Outlook The Necessity for Effi cient Nutrient Utilization
|
Noble R. Usherwood andEugene C. Doll (ed.) |
ASA CSSA |
9780891182917 |
1975 |
|
|
International Crop Science I
|
D.R. Buxton, R. Shibles,R.A. Forsberg, B.L. Blad,K.H. Asay, G.M. Paulsen andR.F. Wilson (ed.) |
CSSA |
9780891185680 |
1993 |
|
|
International Germplasm Transfer: Past and Present
|
Ronny R. Duncan (ed.) |
CSSA ASA |
9780891186021 |
1995 |
|
|
International Symposium on Fundamentals of Software Engineering
|
Farhad ArbabMarjan Sirjani |
Springer |
_ |
2007 |
|
|
International Symposium on Programming
|
Mariangiola Dezani-CiancagliniUgo Montanari |
Springer |
_ |
1982 |
|
|
International Symposium on Programming
|
Prof. Bernard Robinet |
Springer |
_ |
1980 |
|
|
International Symposium on Programming
|
M. PaulB. Robinet |
Springer |
_ |
1984 |
|
|
International Symposium on Theoretical Programming
|
Andrei ErshovValery A. Nepomniaschy |
Springer |
_ |
1974 |
|