autor: tytuł
Jean E. Pin: Formal Properties of Finite Automata and Applications
Formal Properties of Finite Automata and Applications
Claude Carasso: Nonlinear Hyperbolic Problems
Virginio Cantoni: Recent Issues in Pattern Analysis and Recognition
Recent Issues in Pattern Analysis and Recognition
Tapan P. Bagchi: Interactive Relational Data Base Design
Interactive Relational Data Base Design
Szymon Dolecki: Optimization
Dmitrii Vladim Alekseevskii: Geometry
Gerd Faltings: Degeneration of Abelian Varieties
Degeneration of Abelian Varieties
Conjeevaram E. Veni Madhavan: Foundations of Software Technology and Theoretical Computer
Foundations of Software Technology and Theoretical Computer
Rolf Klein: Concrete and Abstract Voronoi Diagrams
Concrete and Abstract Voronoi Diagrams
Joseph Sifakis: Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems
Mamoru Mimura: Homotopy Theory and Related Topics
Homotopy Theory and Related Topics
Margherita Galbiati: Real Analytic and Algebraic Geometry
Real Analytic and Algebraic Geometry
autor: tytuł
Helmut A. Partsch: Specification and Transformation of Programs
Specification and Transformation of Programs
August-Wilhelm Scheer: Edv-Orientierte Betriebswirtschaftslehre
Edv-Orientierte Betriebswirtschaftslehre
Hebe de Azeved Biagioni: Nonlinear Theory of Generalized Functions
Nonlinear Theory of Generalized Functions
Olivier Faugeras: Computer Vision - ECCV 90
Peter Gorny: Visualization in Human/ Computer Interaction
Visualization in Human/ Computer Interaction
Klaus Ambos-Spies: Recursion Theory Week
Takayasu Ito: Parallel Lisp - Languages and Systems
Parallel Lisp - Languages and Systems
Friedrich L. Bauer: Informatik 1
Hvedri Inassaridze: K-theory and Homological Algebra
K-theory and Homological Algebra
Emilio Bujalance: Automorphism Groups of Compact Bordered Klein Surfaces
Automorphism Groups of Compact Bordered Klein Surfaces
Pierre Deransart: Programming Language Implementation and Logic Programming
Programming Language Implementation and Logic Programming
Luigi Accardi: Quantum Probability and Applications
Quantum Probability and Applications
Volker Diekert: Combinatorics on Traces
Pierre Deransart: Attribute Grammars and Their Applications
Attribute Grammars and Their Applications
Helene Kirchner: Algebraic and Logic Programming
Algebraic and Logic Programming
Yu.V. Egorov: Partial Differential Equations
Partial Differential Equations
Hiroshi Fujita: Functional-analytic Methods for Partial Differential Equatio
Functional-analytic Methods for Partial Differential Equatio
Jrgen Dassow: Aspects and Prospects of Theoretical Computer Science
Aspects and Prospects of Theoretical Computer Science
Fred Long: Software Engineering Environments
Software Engineering Environments
Francesco Baldassari: P-Adic Analysis
autor: tytuł
Dimitris Karagiannis: Information Systems and Artificial Intelligence
Information Systems and Artificial Intelligence
Ivan B. Damgard: Advances in Cryptology
Peter Schroeder-Heist: Extensions of Logic Programming
Extensions of Logic Programming
Dieter Hammer: Compiler Compilers
Mark Roberts: Singularity Theory and Its Applications
Singularity Theory and Its Applications
David Mond: Singularity Theory and Its Applications
Singularity Theory and Its Applications
Helmut Schmidt: Meta-level Control for Deductive Data Base Systems
Meta-level Control for Deductive Data Base Systems
Guy David: Wavelets and Singular Integrals on Curves and Surfaces Subse
Wavelets and Singular Integrals on Curves and Surfaces Subse
autor: tytuł
Janis Barzdins: Baltic Computer Science
Pierre America: Parallel Database Systems
Edward E.; Jr. Odell: Functional Analysis
Richard; Selten: Game Equilibrium Models
autor: tytuł
autor: tytuł
Klaus Nkel: Temporally Distributed Symptoms in Technical Diagnosis
Temporally Distributed Symptoms in Technical Diagnosis
Stephane Kaplan: Conditional and Typed Rewriting Systems
Conditional and Typed Rewriting Systems
James G. Williams: Instantiation Theory
Marie-Paule Malliavin: Topics in Invariant Theory
Spencer Bloch: Algebraic Geometry
Jan Chabrowski: Dirichlet Problem with L2-Boundary Data for Elliptic Linear
Dirichlet Problem with L2-Boundary Data for Elliptic Linear
Egon Brger: Computer Science Logic
Hartmut Ehrig: Recent Trends in Data Type Specification
Recent Trends in Data Type Specification
Masakazu Kojima: Unified Approach to Interior Point Algorithms for Linear Com
Unified Approach to Interior Point Algorithms for Linear Com
autor: tytuł
Applications and Systems: Attribute Grammars
Jacques Azema: Seminaire De Probabilites Xxv
Yu V. Egorov: Partial Differential Equations
Partial Differential Equations
Christian; Pommerenke: Boundary Behaviour of Conformal Maps
Boundary Behaviour of Conformal Maps
Martin Lorenz: Basic Algebraic Geometry 1
Hermann Maurer: New Results and New Trends in Computer Science
New Results and New Trends in Computer Science
Jean-Marie Jacquet: Conclog
autor: tytuł
Jozef Hooman: Specification and Compositional Verification of Real-time Sy
Specification and Compositional Verification of Real-time Sy
Somenath Biswas: Foundations of Software Technology and Theoretical Computer
Foundations of Software Technology and Theoretical Computer
Salahoddin Shokranian: Selberg-Arthur Trace Formula
Reinhard; Selten: Rational Interaction
Kim G. Larsen: Computer Aided Verification
Jaume Aguade: Algebraic Topology
Thomas Beth: Public Key Cryptography
Bernd Krieg-Brckner: ESOP 92
autor: tytuł
Utpal Banerjee: Languages and Compilers for Parallel Computing
Languages and Compilers for Parallel Computing
Andrei Voronkov: Logic Programming
Mark W. Short: Primitive Soluble Permutation Groups of Degree Less Than 256
Primitive Soluble Permutation Groups of Degree Less Than 256
autor: tytuł
J.W.de Bakker: Real-Time - Theory in Practice
Real-Time - Theory in Practice
Michael P. Papazoglou: Next Generation of Information Systems
Next Generation of Information Systems
J.Paul Jr. Myers: Constructivity in Computer Science
Constructivity in Computer Science
Kurt Jensen: Application and Theory of Petri Nets
Application and Theory of Petri Nets
Andrei Voronkov: Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
David Pearce: Nonclassical Logics and Information Processing
Nonclassical Logics and Information Processing
Jean-Marc Delort: F.B.I.Transformation
Egon Brger: Computer Science Logic
Paul J.J. Welfens: Market-oriented Systemic Transformations in Eastern Europe
Market-oriented Systemic Transformations in Eastern Europe
James Pustejovsky: Lexical Semantics and Knowledge Representation
Lexical Semantics and Knowledge Representation
Friedrich L. Bauer: Logic and Algebra of Specification
Logic and Algebra of Specification
Matthias Stiess: Mechanische Verfahrenstechnik
Armando F.da Rocha: Neural Nets
Uwe Kastens: Compiler Construction
Carles Casacuberta: Mathematical Research Today and Tomorrow
Mathematical Research Today and Tomorrow
Sanne Dijkstra: Instructional Models in Computer-Based Learning Environments
Instructional Models in Computer-Based Learning Environments
George Isac: Complementarity Problems
Toshihide Ibaraki: Algorithms and Computation
Alberto Pettorossi: Meta-Programming in Logic
John A. Wise: Verification and Validation of Complex Systems
Verification and Validation of Complex Systems