Top 1200 international amast workshop arts 99 5th 1999 st dtliche volkshochschule in bamberg PDF Book
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
International AMAST Workshop, ARTS'99 (5th : 1999 : Städtliche Volkshochschule in Bamberg)
·364 Pages
·1999
·4.5 MB
Integrated spatial databases : digital images and GIS : International Workshop ISD '99, Portland, ME, USA, June 1999 : selected papers
International Workshop ISD'99 (1999 : Portland, Me.)
·319 Pages
·1999
·6.7 MB
Computing and combinatorics : 5th annual international conference, COCOON '99, Tokyo, Japan, July 26-28, 1999 : proceedings
COCOON '99 (1999 : Tokyo, Japan)
·508 Pages
·1999
·6.2 MB
Algorithm engineering : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings
International Workshop on Algorithm Engineering (3rd : 1999 : London, England)
·369 Pages
·1999
·6.6 MB
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)
·363 Pages
·1999
·5.61 MB
Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
International Workshop on Implementing Automata (4th : 1999 : Potsdam, Germany)
·191 Pages
·2001
·2.2 MB
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
LPAR '99 (1999 : Tʻbilisi, Georgia)
·410 Pages
·1999
·23.8 MB
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
SPIN'99 (1999 : Toulouse, France)
·287 Pages
·1999
·4.3 MB
Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings
TPHOLs '99 (1999 : Nice, France)
·363 Pages
·1999
·2.8 MB
Public key cryptography : second International Workshop on Practice and Theory in Public Key Cryptography, PKC'99, Kamakura, Japan, March 1-3, 1999 : proceedings
International Workshop on Practice and Theory in Public Key Cryptography (2nd : 1999 : Kamakura, Japan)
·337 Pages
·1999
·3.6 MB
Computer safety, reliability, and security : 18th international conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings
SAFECOMP '99 (1999 : Toulouse, France)
·500 Pages
·1999
·7.8 MB
Intelligent agents for telecommunication applications : Third International Workshop, IATA'99, Stockholm, Sweden, August 1999 : proceedings
International Workshop on Intelligent Agents for Telecommunication Applications (3rd : 1999 : Stockholm, Sweden)
·199 Pages
·1999
·4.6 MB
UML '99 : the unified modeling language : beyond the standard : Second International Conference Fort Collins, CO, October 28-30, 1999 : proceedings
UML '99 (1999 : Fort Collins, Colo.)
·739 Pages
·1999
·11.8 MB
Physics of rotating fluids : selected topics of the 11th International Couette-Taylor Workshop, held at Bremen, Germany, 20-23 July 1999
International Couette-Taylor Workshop (11th : 1999 Bremen, Germany)
·446 Pages
·2000
·12.3 MB
Scale-space theories in computer vision : second international conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999 : proceedings
Scale-Space'99 (1999 : Kerkyra, Greece)
·544 Pages
·1999
·15.3 MB
Arts and Collections International – Issue 02, 2023
Arts and Collections International
·84 Pages
·44 MB
Parallel Computing Technologies: 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6–10, 1999 Proceedings
R. Aversa, N. Mazzocca, U. Villano (auth.), Victor Malyshkin (eds.)
·538 Pages
·1999
·6.951 MB
Arts and Collections International – Volume 4, 2024
Arts and Collections International
·100 Pages
·84 MB
Arts and Collections International – Volume 3, 2024
Arts and Collections International
·100 Pages
·81 MB
Foundations of software science and computation structures : Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceed
FOSSACS '99 (1999 : Amsterdam, Netherlands)
·334 Pages
·1999
·33.5 MB
Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings
Krzysztof R. Apt (auth.)
·511 Pages
·1999
·6.91 MB
Information security and privacy : 4th Australasian Conference, ACISP '99, Wollongong, NSW, Australia, April 7-9, 1999 : proceedings
ACISP '99 (1999 : Wollongong, N.S.W.)
·337 Pages
·1999
·3.3 MB
Alien Workshop 1999-2000 Catalog
Alien Workshop
·14 Pages
·2000
·11.4 MB
Africon '99: 5th Africon Conference in Africa, Electrotechnological Services for Africa;28 September - 1 October 1999 Hosted by Cape Technikon Cape Town, South afr
South Africa) African Electrical Technology Conference (5th : 1999 : Cape Town
·5 Pages
·1999
·0.425 MB
