John A. Wise: Verification and Validation of Complex Systems
Verification and Validation of Complex Systems
Hans J. Ohlbach: Gwai-92 Advances in Artificial Intelligence
Gwai-92 Advances in Artificial Intelligence
Charles M. Reigeluth: Comprehensive Systems Design
Algebraic Algorithms and Error-correcting C: Applied Algebra
Thomas H. Reiss: Recognizing Planar Objects Using Invariant Image Features
Recognizing Planar Objects Using Invariant Image Features
Colette Rolland: Advanced Information Systems Engineering
Advanced Information Systems Engineering
George J. Milne: Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods
Marco Ajmone Marsan: Application and Theory of Petri Nets
Application and Theory of Petri Nets
Tohsuke Urabe: Dynkin Graphs and Quadrilateral Singularities
Dynkin Graphs and Quadrilateral Singularities
Languages and Programming: Automata
Andrei Voronkov: Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
Joachim Hilgert: Lie Semigroups and Their Applications
Lie Semigroups and Their Applications
Paolo Atzeni: LOGIDATA
M.S. Agranovich: Partial Differential Equations
Partial Differential Equations
E. B.; Saff: Logarithmic Potentials with External Fields
Logarithmic Potentials with External Fields
Herbert Grnbacher: Field-programmable Gate Arrays - Architectures and Tools for
Field-programmable Gate Arrays - Architectures and Tools for
Christian Laugier: Geometric Reasoning for Perception and Action
Geometric Reasoning for Perception and Action
Frank Dehne: Algorithms and Data Structures
Algorithms and Data Structures
Sergej B. Kuksin: Nearly Integrable Infinite-Dimensional Hamiltonian Systems
Nearly Integrable Infinite-Dimensional Hamiltonian Systems
Georg Gottlob: Computational Logic and Proof Theory
Computational Logic and Proof Theory
Patrick Cousot: Static Analysis
Peter Mertens: Betriebliche Expertensystem-Anwendungen
Betriebliche Expertensystem-Anwendungen
Lorenzo Donatiello: Performance Evaluation of Computer and Communication Systems
Performance Evaluation of Computer and Communication Systems
David B. Lomet: Foundations of Data Organization and Algorithms
Foundations of Data Organization and Algorithms
Jens Volkert: Parallel Computation
Robert L. Grossman: Hybrid Systems
Jacques Calmet: Artificial Intelligence and Symbolic Mathematical Computing
Artificial Intelligence and Symbolic Mathematical Computing
Timothy W. Finin: Information and Knowledge Management
Information and Knowledge Management
Heather D. Pfeiffer: Conceptual Structures - Theory and Implementation
Conceptual Structures - Theory and Implementation
Jorge L. Diaz-Herrera: Software Engineering Education
Software Engineering Education
Klaus Henning: Informatik Im Maschinenbau
Roland L. Dobrushin: Statistical Mechanics and Fractals
Statistical Mechanics and Fractals
Bas Edixhoven: Diophantine Approximation and Abelian Varieties
Diophantine Approximation and Abelian Varieties
L. Pilato: Advanced Composite Materials
autor: tytuł
Philip R.van Loocke: Dynamics of Concepts
Brian C. Warboys: Software Process Technology
autor: tytuł
Wolfgang Gentzsch: High-Performance Computing and Networking
High-Performance Computing and Networking
Munidar P. Singh: Multiagent Systems
Daniel Hernandez: Qualitative Representation of Spatial Knowledge
Qualitative Representation of Spatial Knowledge
Michael Masuch: Knowledge Representation and Reasoning Under Uncertainty
Knowledge Representation and Reasoning Under Uncertainty
Winfried Schramm: Marine Benthic Vegetation
David L. Dill: Computer Aided Verification
Languages and Programming: Automata
autor: tytuł
Dominique Bakry: Lectures on Probability Theory
Lectures on Probability Theory
Felix Schmid: Computer Integrated Production Systems and Organizations
Computer Integrated Production Systems and Organizations
J.G. Kirk: Plasma Astrophysics
Ton Kloks: Treewidth
autor: tytuł
Anca Ralescu: Fuzzy Logic in Artificial Intelligence
Fuzzy Logic in Artificial Intelligence
Klaus Echtle: Dependable Computing - Edcc-1
Rafael C. Carrasco: Grammatical Inference and Applications
Grammatical Inference and Applications
Yuval Davidor: Parallel Problem Solving from Nature - Ppsn III
Parallel Problem Solving from Nature - Ppsn III
Luc Steels: Future for Knowledge Acquisition
Future for Knowledge Acquisition
Alan Borning: Principles and Practice of Constraint Programming
Principles and Practice of Constraint Programming
Bjorn O. Roos: Lecture Notes in Quantum Chemistry
Lecture Notes in Quantum Chemistry
Tosio Kato: Perturbation Theory for Linear Operators
Perturbation Theory for Linear Operators
autor: tytuł
Jack Dongarra: Parallel Scientific Computing
Petra Steffens: Machine Translation and the Lexicon
Machine Translation and the Lexicon
Paul Vitanyi: Computational Learning Theory
Karl Cammann: Das Arbeiten Mit Ionenselektiven Elekt
Das Arbeiten Mit Ionenselektiven Elekt
Pierre-Yves Henin: Advances in Business Cycle Research
Advances in Business Cycle Research
Annette Huber: Mixed Motives and Their Realization in Derived Categories
Mixed Motives and Their Realization in Derived Categories
Pei-Dong Liu: Smooth Ergodic Theory of Random Dynamical Systems
Smooth Ergodic Theory of Random Dynamical Systems
Vasile Ene: Real Functions
Gnter Bckle: Exploitation of Fine-Grain Parallelism
Exploitation of Fine-Grain Parallelism
Dror G. Feitelson: Job Scheduling Strategies for Parallel Processing
Job Scheduling Strategies for Parallel Processing
David Pitt: Category Theory and Computer Science
Category Theory and Computer Science
Odile; Papini: Algebre Discrete Et Codes Correcteurs
Algebre Discrete Et Codes Correcteurs
Jiri Wiedermann: Mathematical Foundations of Computer Science
Mathematical Foundations of Computer Science
Jean-Michel Helary: Distributed Algorithms
E. Thomas Schubert: Higher Order Logic Theorem Proving and Its Applications
Higher Order Logic Theorem Proving and Its Applications
Carlo Braccini: Image Analysis and Processing
autor: tytuł
Izak Moerdijk: Classifying Spaces and Classifying Topoi
Classifying Spaces and Classifying Topoi
Afonso Ferreira: Parallel Algorithms for Irregularly Structured Problems
Parallel Algorithms for Irregularly Structured Problems
Carlos Pinto-Ferreira: Progress in Artificial Intelligence
Progress in Artificial Intelligence
Jacques Wainer: Advances in Artificial Intelligence
Advances in Artificial Intelligence
Martial Hebert: Object Representation in Computer Vision
Object Representation in Computer Vision
Springer: Trees
Valentin Koptyug: Sustainable Development of the Lake Baikal Region
Sustainable Development of the Lake Baikal Region
Subhash Bhalla: Information Systems and Data Management
Information Systems and Data Management
Manfred Broy: Korso
Hyman Bass: Cyclic Renormalization and Automorphism Groups of Rooted Tre
Cyclic Renormalization and Automorphism Groups of Rooted Tre
Null Spaces and Homotopy Localization: Cellular Spaces
P.S. Thiagarajan: Foundations of Software Technology and Theoretical Computer
Foundations of Software Technology and Theoretical Computer
Roland Chin: Image Analysis Applications and Computer Graphics
Image Analysis Applications and Computer Graphics
Gerhold K. Becker: Ethics in Business and Society
Ethics in Business and Society
Werner Gth: Theorie Der Marktwirtschaft
autor: tytuł
Gerhard Wei: Adaption and Learning in Multi-Agent Systems
Adaption and Learning in Multi-Agent Systems
Oliver Gunther: Environmental Information Systems
Environmental Information Systems
Berthold Butscher: Interactive Distributed Multimedia Systems and Services
Interactive Distributed Multimedia Systems and Services
Eduard H. Hovy: Computational and Conversational Discourse
Computational and Conversational Discourse
Kokichi Futatsugi: Object Technologies for Advanced Software
Object Technologies for Advanced Software
Tiziana Margaria: Tools and Algorithms for the Construction and Analysis of Sy
Tools and Algorithms for the Construction and Analysis of Sy
Rudolf Haag: Local Quantum Physics
Tibor Gyimothy: Compiler Construction