springer verlag - page 6

• systems and software verification - BERARD
• classical decision problem 2nd ed. - BOERGER
• foundations of fluid dynamics - GALLAVOTTI
• higher-order numerical methods for transient wave equations - COHEN
• quantum information - ALBER
• wave scattering theory - EOM
• xplore: the interactive statistical computing environment - KLINKE
• ct-rsa'2001: topics in cryptology - NACCACHE
• genetic programming - MILLER
• knowledge discovery and data mining - pakdd 2001 - CHEUNG
• multi-agent systems-based simulation lnai 1979 - MOSS
• information hiding: 4th international workshop, ih 2001 - MOSKOWITZ
• formal approaches in agent-based systems - RASH
• object-oriented application development using the cache - KIRSTEN
• agent-oriented software lncs 1957 - CIANCARINI
• photonic analmog to digital conversion - SHOOP
• analyse mathematique i : convergence fonctions elementaires 2eme - GODEMENT
• information measures - ARNDT
• algoritmic beauty of seaweeds, sponges and corals - KAANDORP
• next generation networks - RAO
• tools and algorithms for the construction and analysis of - MARGARIA
• lectures on formal methods and performance analysis - HERZOG
• compiler construction - WILHELM
• foundations of software science and computation structures - HONSELL
• cindirella version 1.2:die interaktive geometrie software - RICHTER GEBERT
• fundamental approaches to software engineering - HUSSMANN
• programming languages and systems - SANDS
• security protocols - CHRISTIANSON
• fse'2000: fast software encryption 7th international workshop - SCHNEIER
• hybrid systems:computation and control - DI BENEDETTO
• objects and databases - DITTRICH
• discrete and computational geometry - AKIYAMA
• acisp'2001: information security and privacy 6th australasian - VARADHARAJAN
• self adaptive software - ROBERTSON
• practical aspects of declarative languages - RAMAKRISHNAN
• fme 2001:formal methods for increasing software productivity - OLIVEIRA
• information and communications security - QING
• software quality - WIECZOREK
• 3d structure from images (smile 2000) - POLLEFEYS
• performance of communication systems - OST
• life insurance mathematics 3rd edition - GERBER
• public key cryptography 4th workshop february 2001 - KIM
• informatics 10 years black. 10 years ahead - WILHELM
• theory of eveolution strategies - BEYER
• elp'93: extensions of logic programming 3rd workshop - LAMMA
• seize problemes d'informatiques en caml - PETAZZONI
• petri net algebra - BEST
• solaris 7 system administration guide: basic and system - HANDSCHUCH
• market-oriented technology management - PHILLIPS
• distributed virtual worlds: foundations and implementation - DIEHL
• analyse au fil de l'histoire - HAIRER
• agent-mediated electronic commerce - DIGNUM
• atomic and molecular spectroscopy 3rd edition - SVANBERG
• spectral analysis and filter theory in applied geophysics - BUTTKUS
• policies for distributed systems and networks - SLOMAN
• fundamentals of computational fluid dynamics - LOMAX
• advances in cryptology asiacrypt'2001 - BOYD
• linear optimization and extension - ALEVRAS
• solid surfaces interfaces and thin films - LUTH
• agent mediated electronic commerce vol 3 - DIGNUM
• modelling and computation of boudary layer flows - CECECI
• quality of service iwqos 2001 - WOLF
• iccs 2001 - ALEXANDROV
• software process technology - AMBRIOLA
• relational data mining - DZEROSKI
• financial pricing models in continuous time - KELLERHALLS
• functional and logic programming 5th symposium tokyo - KUCHEN
• evolutionary multi-criterion optimization - ZITZLER