Pagina nr. 771 di 1129

%

International Symposium on Theoretical Aspects of Computer Software (4. ; 2001 ; Sendai) Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001 - Sendai, Japan, October 29-31, 2001 - Proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.) Berlin (etc.) - Springer, c2001 Testo Monografico International symposium TACS (2. ; 1994 ; Sendai) Theoretical aspects of computer software - International symposium TACS '94 - Sendai, Japan, April 19-22, 1994 - proceedings / Masami Hagiya, John C. Mitchell (eds.) Berlin (etc.) - Springer, c1994 Testo Monografico International telecommunication and computer exposition Intelcom 80 - International telecommunication and computer exposition - Rio de Janeiro, Brasil 19-23 May 1980 - conference proceedings / editor Jara Uzenda (Luogo di pubblicazione non indicato - Publicaçoes técnicas internacionais Pubblicazione Periodica International Test Conference (1984) The three faces of test - design, characterization, production - International Test Conference, 1984 proceedings, October 16, 17, 18, 1984 / sponsored by the IEEE Computer Society, Test Technology Committee, IEEE Philadelphia Section Silver Spring, MD - IEEE Computer Society Press, c1984 Testo Monografico International test conference (1986) Testing's impact on design & technology - International test conference; also- ITC; (cover & spine title- IEEE test conference; Washington), September 8-11, 1986; proceedings / spons.- IEEE Computer Society & IEEE Philadelphia Section Washington - IEEE Computer Society Press, 1986 Testo Monografico International Test Conference (1987 ; Washington) Integration of test with design and manufacturing - proceedings - September 1, 2, 3, 1987, Sheraton Washington Hotel, Washington, D.C. / International Test Conference 1987 ; sponsored by- The IEEE Computer Society, IEEE Philadelphia Section Washington, D.C. - Computer Society Press of the IEEE, c1987 Testo Monografico International Test Conference (1988 ; Washington) New frontiers in testing - proceedings - September 12, 13, 14, 1988, Sheraton Washington Hotel, Washington, DC / International Test Conference 1988 ; sponsored by the Computer Society of the IEEE, Test Technology Technical Committee and IEEE Philadelphia Section Washington - Computer society press of the IEEE, c1988 Testo Monografico International water erosion symposium (1970 ; Praha) AI, telecommunications (and) computer systems - specialized conference - ninth International workshop expert syustems (and) their applications, Avignon, France, May 29 - June 2, 1989 = IA, telecommunications (et) informatique - conference specialisee - neuviemes journees internationales les systemes experts (and) leurs applications, Avignon, France, 29 mai - 2 juin 1989 . (Nanterre, France - EC2, 1989) - 218 p. . 24 cm Testo Monografico International Workshop CAV '92 (4. ; 1992 ; Montreal) Computer aided verification - fourth international workshop, CAV '92 - Montreal, Canada, June 29 - July 1, 1992 - proceedings / G. v. Bochmann, D. K. Probst (eds.) Berlin (etc.) - Springer-Verlag, c1993 Testo Monografico International workshop conference on Scientific and statistical database management (7. ; 1994 ; Charlottesville) Seventh international working conference on Scientific and statistical database management - proceedings - Charlottesville, Virginia, September 28-30, 1994 / edited by James C. French and Hans Hinterberger Los Alamitos etc. - IEEE computer society, c1994 Testo Monografico International workshop CSL (22. ; 2008 ; Bertinoro) Computer science logic - 22. International workshop, CSL 2008 17. Annual conference of the EACSL, Bertinoro, Italy, september 16-19, 2008 proceedings / Michael Kaminski, Simone Martini (eds.) Berlin (etc.) - Springer, c2008 Testo Monografico International workshop DNA based computers (9. ; 2003 ; Madison) DNA computing - 9th international workshop on DNA based computers, DNA9 - Madison, WI, USA, June 1-3, 2003 - revised papers / Junghuei Chen, John Reif (eds.) Berlin (etc.) - Springer, ©2004 Testo Monografico International workshop EUROCAST (1989 ; Las Palmas) Computer aided systems theory-EUROCAST '89 - a selection of papers from the International workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 - proceedings / F. Pichler, R. Moreno-Diaz (eds.) Berlin etc. - Springer, copyr. 1990 Testo Monografico International workshop on ADC modelling (1996 ; Smolenice Caste) International workshop on ADC modelling - Smolenice castle, Slovakia, May 7-9, 1996 / organized by IMEKO TC-4 Technical committee on measurement of electrical quantities, Slovak metrological society, School of computer engineering in Benevento, Department of electrical engineering and computer science, University of Salerno Salerno - CUES, 1996 Testo Monografico International workshop on applied mathematics and performance, reliability models of computer, communication systems (2. ; Roma - 1987) international workshop on applied mathematics and performance, reliability models of computer, communication systems - University of Rome II May 25-29 1987 / ed. by G. Iazeolla, P. J. Courtois, O. J. Boxma Roma - University of Rome, 1987 Testo Monografico