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 Saggio 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 Saggio 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 Saggio 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 Saggio 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, Depa Salerno - CUES, (1996) Saggio Monografico International workshop on applied mathematics and performance, reliability models of computer, communication systems (2. ; Roma - 1987) 2. 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 Saggio Monografico International workshop on approximation algorithms for combinatorial optimization problems (4. ; 2001 ; Berkeley) Approximation, randomization, and combinatorial optimization - algorithms and techniques - 4th international workshop on approximation, algorithms for combinatorial optimization problems, APPROX 2001 and 5th international workshop on randomization and approximation techniques in computer science, RANDOM 2001 - Berkeley, CA, USA August 2001 - proceedings / Michel Goemas...et al Berlin (etc.) - Springer, c2001 Saggio Monografico International workshop on approximation algorithms for combinatorial optimization problems (6. ; 2003 ; Princeton, NJ) Approximation, randomization and combinatorial optimization - algorithms and techniques - 6th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2003 and 7th international workshop on randomization and approximation techniques in computer science, RANDOM 2003 - Princeton, NJ, USA, August 24-26, 2003 - proceedings / Sanjeev Arora ... ed altri (eds.) Berlin etc. - Springer, c2003 Saggio Monografico International workshop on biologically motivated computer vision (2. ; 2002 ; Tubinga) Biologically motivated computer vision - Second international workshop, BMCV 2002 - Tubingen, Germany, November 22-24, 2002 - proceedings / Heinrich H. Bulthoff ... ed altri (eds.) Berlin etc. - Springer, c2002 Saggio Monografico International workshop on CASC (8. ; 2005 ; Kalamata) Computer Algebra in Scientific Computing - 8th International Workshop, CASC 2005 - Kalamata, Greece, September 2005 - proceedings / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) Berlin (etc.) - Springer, c2005 Saggio Monografico International workshop on computer aided systems theory (1. ; 1995 ; Innsbruck) Computer aided system theory - EUROCAST '95 - a selection of papers from the first International workshop on computer aided system theory - Innsbruck, Austria, May 22-25, 1995 - proceedings / F. Pichler, R. Moreno-Diaz, R. Albrecht (eds.) Berlin etc. - Springer, c1996 Saggio Monografico International workshop on computer aided systems theory (2. ; 1991 ; Krems) Computer aided systems theory - EUROCAST '91 - a selection of papers from the second International workshop on computer aided systems theory - Krems, Austria, April 15-19, 1991 - proceedings / F. Pichler, R. Moreno Diaz (eds.) Berlin etc. - Springer, c1992 Saggio Monografico International workshop on computer aided systems theory (3. ; 1993 ; Las Palmas) Computer aided systems theory - EUROCAST '93 - a selection of papers from the 3. International workshop on computer aided systems theory - Las Palmas, Spain, February 22-26, 1993 - proceedings / F. Pichler, R. Moreno Diaz (eds.) Berlin etc. - Springer, c1994 Saggio Monografico International workshop on computer aided systems theory (4. ; 1994 ; Ottawa) Computer aided systems theory - CAST '94 - 4. international workshop - Ottawa, Ontario, Canada, May 16-20, 1994 - selected papers / Tuncer I. Oren, George J. Klir (eds.) Berlin etc. - Springer, c1996 Saggio Monografico International Workshop on computer aided systems theory (5.; 1995 ; Innsbruck) Computer aided systems theory-EUROCAST '95 - a selection of papers from the 5th International Workshop on computer aided systems theory - Innsbruck, Austria, May 22-25, 1995 - proceedings / F. Pichler, R. Moreno-Diaz, R. Albrecht (eds.) Berlin ; New York - Springer-Verlag, 1996 Saggio Monografico |