Pagina nr. 91 di 837 |
Software frameworks and embedded control systems / Alessandro Pasetti Berlin (etc.) - Springer, c2002 Testo Monografico Muller, Peter Modular specification and verification of object-oriented programs / Peter Muller Berlin (etc.) - Springer, c2002 Testo Monografico Information retrieval techniques for speech applications / Anni R. Coden, Eric W. Brown, Savitha Srinivasan (eds.) Berlin (etc.) - Springer, c2002 Testo Monografico International symposium on foundations of information and knowledege systems (2. ; 2002 ; Kiel) Foundations of information and knowledge systems - second international symposium, FoIKS 2002 - Salzau Castle, Germany, Febraury 20-23, 2002 - proceedings / Thomas Eiter, Klaus-Dieter Schewe (eds.) Berlin etc. - Springer, c2002 Testo Monografico Annual conference on intelligent text processing and computational linguistics (3. ; 2002 ; Citta del Messico) Computational linguistics and intelligent text processing - third international conference, CICLing 2002 - Mexico City, Mexico, Febraury 17-23, 2002 - proceedings / Alexander Gelbukh (ed.) Berlin etc. - Springer, c2002 Testo Monografico Types for proofs and programs - international workshop, TYPES 2000 - Durham, UK, december 8-12, 2000 - Selected Papers / Paul Callaghan ...ed altri Berlin (etc.) - Springer, c2002 Testo Monografico ACM conference on hypertext and Hypermedia (12. ; 2001 ; Aarhus) Hypermedia - openess, structural awareness, and adaptivity - international workshops OHS-7, SC-3, and AH-3 - Aarhus, Denmark, august 14-18, 2001 - revised papers / Siegfried Reich, Manolis M. Tzagarakis, Paul M. E. De Bra (eds.) Berlin (etc.) - Springer, c2002 Testo Monografico Ursino, Domenico Extraction and exploitation of intensional knowledge from heterogeneous information sources - semi-automatic approaches and tools / Domenico Ursino Berlin (etc.) - Springer, c2002 Testo Monografico Renz, Jochen Qualitative spatial reasoning with topological information / Jochen Renz Berlin (etc.) - Springer, c2002 Testo Monografico Naumann, Felix Quality-driven query answering for integrated information systems / Felix Naumann Berlin (etc.) - Springer, c2002 Testo Monografico Pflanz, Mathias On-line error detection and fast recover techniques for dependable embedded processors / Matthias Pflanz Berlin (etc) - Springer, c2002 Testo Monografico International symposium on graph drawing (9. ; 2001 ; Vienna) Graph drawing - 9th international symposium, GD 2001 - Vienna, Austria, September 23-26, 2001 - revised papers / Petra Mutzel, Michael Junger, Sebastian Leipert (eds.) Berlin (etc.) - Springer, c2002 Testo Monografico International workshop on hybrid systems- computation and contol (5. ; 2002 ; Stanford) Hybrid systems- computation and control - 5th international workshop, HSCC 2002 - Stanford, CA, USA, March 25-27, 2002 - proceedings / Claire J. Tomlin, Mark R. Greenstreet (eds.) Berlin etc. - Springer, c2002 Testo Monografico Jurgens, Marcus Index structures for data warehouses / Marcus Jurgens Berlin (etc.) - Springer, c2002 Testo Monografico British Computer Society - Information Retrieval Specialist Group Advances in information retrieval - 24th BCS-IRSG European colloquium on IR research - Glasgow, UK, march 25-27, 2002 - proceedings / Fabio Crestani, Mark Girolami, Cornelis Joost Van Rijsbergen (eds.) Berlin etc. - Springer, c2002 Testo Monografico |