General Computers in 1991

Rigorous Results in Quantum Dynamics - Proceedings of the Conference by

Visions of Aesthetics, the Environment & Development: the Legacy of Joachim F. Wohlwill by

Visualisierung Von Umweltdaten: Rostock, 20. November 1990 Proceedings by

Organisation Und Betrieb Von Informationssystemen: 9. GI -- Fachgespräch Über Rechenzentren Dortmund, 14. Und 15. März 1991 Proceedings by

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 8th International Conference, Aaecc-8, Tokyo, Japan, August 20-24, 1990. Proceedings by

Technikfolgenabschätzung in Der Telekommunikation by

Chipkarten ALS Sicherheitswerkzeug: Grundlagen Und Anwendungen by Pfau, Axel, Beutelspacher, Albrecht, Kersten, Annette G.

Common LISP Modules: Artificial Intelligence in the Era of Neural Networks and Chaos Theory by Watson, Mark

Computer Und Musik: Eine Einführung in Die Digitale Klang- Und Musikverarbeitung by Ackermann, Philipp

High-Tech Ventures by Bell, C. Gordon, McNamara, John E.

Algorithms and Data Structures: 2nd Workshop, Wads '91, Ottawa, Canada, August 14-16, 1991. Proceedings by

An Approach to Knowledge Base Management by Mattos, Nelson M.

Eurocode '90: International Symposium on Coding Theory and Applications, Udine, Italy, November 5-9, 1990. Proceedings by

The Programming and Proof System Ates: Advanced Techniques Integration Into Efficient Scientific Software by

Truth Maintenance Systems: Ecai-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings by

Temporally Distributed Symptoms in Technical Diagnosis by Nökel, Klaus

Risc-Workstation-Architekturen: Prozessoren, Systeme Und Produkte by

Hypertext by Kuhlen, Rainer

Formal Methods in Artificial Intelligence by Ramsay, Allan M.

Database and Expert Systems Applications: Proceedings of the International Conference in Berlin, Federal Republic of Germany, 1991 by

The Art of the Metaobject Protocol by Bobrow, Daniel G., Kiczales, Gregor, Des Rivieres, Jim

Applications of Artificial Intelligence in Engineering VI by

Computer Integrated Manufacturing: Revolution in Progress by Ayres, R. U.

Managing Uncertainty in Expert Systems by Grzymala-Busse, Jerzy W.

Foundations of Real-Time Computing: Scheduling and Resource Management by

Proceedings of the Fifth European Conference on Mathematics in Industry by

Partitioned Representations: A Study in Mental Representation, Language Understanding and Linguistic Structure by Dinsmore, J., Dinsmore, John

Understanding the Artificial: On the Future Shape of Artificial Intelligence by

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 by

Nonlinear Evolution Equations and Dynamical Systems: Needs '90 by

Computing in the 90's: The First Great Lakes Computer Science Conference, Kalamazoo Michigan, Usa, October 18-20, 1989. Proceedings by

Flexible, Realzeitfähige Kollisionsvermeidung in Mehrroboter-Systemen by Borgolte, Ulrich

CAD/CAM Robotics and Factories of the Future '90: Volume 2: Flexible Automation by

Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings by

Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings by Tarlecki, Andrzej

Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, Ma, Usa, August 26-30, 1991 Proceedings by

Computer Simulation: A Practical Perspective by McHaney, Roger W.

Basic Category Theory for Computer Scientists by Pierce, Benjamin C.

Instantiation Theory by Williams, James G.

Programming Language Implementation and Logic Programming: 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991. Proceedings by

Advances in Spatial Databases: 2nd Symposium, Ssd '91, Zurich, Switzerland, August 28-30, 1991. Proceedings by

Concur '91: 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991. Proceedings by

Computer Integrated Manufacturing: Volume I: Revolution in Progress by Ayres, Robert U.

Strukturierte Planung Flexibel Automatisierter Montagesysteme Für Flächige Bauteile by Götz, Robert

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings by

Artificial Neural Networks: International Workshop Iwann '91, Granada, Spain, September 17-19, 1991. Proceedings by

European Workshop on Planning: Ewsp'91, Sankt Augustin, Frg, March 18-19, 1991. Proceedings by

Fundamentals of Computation Theory: 8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Proceedings by

Advances in Petri Nets 1991 by

Theoretical Aspects of Computer Software: International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings by

Fundamentals of Artificial Intelligence Research: International Workshop Fair '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings by

Applications of Supercomputers in Engineering II by

Synchronization in Real-Time Systems: A Priority Inheritance Approach by Rajkumar, Ragunathan

Advanced Methods of Pharmacokinetic and Pharmacodynamic Systems Analysis by

Foundations of Real-Time Computing: Formal Specifications and Methods by

Monte Carlo Device Simulation: Full Band and Beyond by

Microprocessors in Process Control by Borer, J.

Constructing Predictable Real Time Systems by Stoyenko, Alexander D.

Generalized Lr Parsing by

Logik für Software-Ingenieure by Matthiessen, Günter

Supercomputing in Engineering Analysis by

Oversampling Delta-SIGMA Data Converters: Theory, Design, and Simulation by

Strategische Informations-System-Planung: Konzept Und Instrumente by Neu, Peter

Operations Research Und Wissenbasierte Systeme: Modelle, Konzepte, Perspektiven Für Betriebliche Anwendungen Ergebnisse Der Arbeitsgruppe "Wirtschafts by

The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling by Jain, Raj

Foundations of Coding: Theory and Applications of Error-Correcting Codes with an Introduction to Cryptography and Information Theory by Adamek, Jiri

Pattern Recognition: Statistical, Structural and Neural Approaches by Schalkoff, Robert J.

Maschinelle Übersetzung: Ein Überblick Über Theorie Und PRAXIS by Reimann, Martina

Gwai-91 15. Fachtagung Für Künstliche Intelligenz: Bonn, 16.-20. September 1991 Proceedings by

Angewandte Informatik Und Software / Applied Computer Science and Software: Wissenschaft Für Die Praxisi / Turning Theory Into Practice by

Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International Gi/Itg/GMA Conference Nürnberg, September 25-27, 1991 Proceeding by

Messung, Modellierung Und Bewertung Von Rechensystemen: 6. Gi/Itg-Fachtagung, Neubiberg, 18.-20. September 1991 by

Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings by

Uncertainty in Knowledge Bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Ipmu' by

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings by

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee by

7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.-27. September 1991 Proc by

Qualität Von Pps-Systemen: Ein Verfahren Zur Analyse Des Informationsgehaltes by Loeffelholz, Friedrich V.

Information Systems Management: Opportunities and Risks by Smithson, Steve, Angell, Ian O.

Formal Methods for Embedded Distributed Systems: How to Master the Complexity by

Modellbildung, Wissensrevision Und Wissensrepräsentation Im Maschinellen Lernen by Emde, Werner

Scientific Computing and Differential Equations: An Introduction to Numerical Methods by Golub, Gene H., Ortega, James M.

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings by

Visual Structures and Integrated Functions by

Software-Ergonomie: Gestaltung Von Edv-Systemen -- Kriterien, Methoden Und Werkzeuge by Tjoa, A. Min, Koch, Manfred, Reiterer, Harald

Epia'91: 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings by

Systemtechnik: Ingenieurwissenschaftliche Methodik Zur Interdisziplinären Systementwicklung by Bruns, Michael

Supercomputer and Chemistry 2: Debis Workshop 1990 Ottobrunn, November 19-20, 1990 by

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 9th International Symposium, Aaecc-9, New Orleans, La, Usa, October 7-11, 1991. Proc by

Wissensbasierte Systeme in Produktionsplanung Und -Steuerung: Implementierungs- Und Integrationsaspekte, Dargestellt an Einem Beispiel Aus Dem Beschaf by Blumberg, Frank

Methodologies for Intelligent Systems: 6th International Symposium, Ismis '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings by

Text Understanding in Lilog: Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany Lilog-Project by

Vocabulary Control and Search Strategies in Online Searching by Chamis, Alice Yanosko

Topology and Category Theory in Computer Science by

Information Und Die Innere Struktur Des Universums by Stonier, Tom

Parallel Processing in Computational Mechanics by

Logic and Information by

Connectionist Approaches to Language Learning by

Parallel Algorithms and Architectures for DSP Applications by

Source and Channel Coding: An Algorithmic Approach by Mohan, Seshadri, Anderson, John B.

Proceedings of the Second European Conference on Computer-Supported Cooperative Work: Ecscw '91 by

Expert Systems: Uncertainty and Learning by Alvarez, E., Castillo, Enrique

Computational Methods for General Sparse Matrices by Zlatev, Zahari

Self-Organization, Emerging Properties, and Learning by

Conceptual Information Retrieval: A Case Study in Adaptive Partial Parsing by Mauldin, Michael L.

Computer-Aided Mechanical Assembly Planning by Sukhan Lee, Homem De Mello, Luis S.

A System Administrator's Guide to Sun Workstations by Becker, G., Becker, George

Informatik Und Schule 1991: Informatik: Wege Zur Vielfalt Beim Lehren Und Lernen Gi-Fachtagung Oldenburg, 7.-9. Oktober 1991 Proceedings by

Symbolic and Quantitative Approaches to Uncertainty: European Conference Ecsqau, Marseille, France, October 15-17, 1991. Proceedings by

Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP by Norvig, Peter

Software-Ergonomie Und Benutzerangemessene Auswahl Von Werkzeugen Der Dialoggestaltung by Urbanek, Waldemar

Mustererkennung 1991: 13. Dagm-Symposium München, 9.-11. Oktober 1991 by

Architectures for Intelligence: The 22nd Carnegie Mellon Symposium on Cognition by

Expertensysteme in CIM by

Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings by

Bmvc91: Proceedings of the British Machine Vision Conference, Organised for the British Machine Vision Association by the Turi by

Parallel Computing and Mathematical Optimization: Proceedings of the Workshop on Parallel Algorithms and Transputers for Optimization, Held at the Uni by

Telekommunikation Und Multimediale Anwendungen Der Informatik: Gi-21. Jahrestagung, Darmstadt, 14.-18. Oktober 1991 by

Verteilte Künstliche Intelligenz Und Kooperatives Arbeiten: 4. Internationaler Gi-Kongreß Wissensbasierte Systeme München, 23.-24. Oktober 1991 Procee by

Computational Morphology: Practical Mechanisms for the English Lexicon by Ritchie, Graeme Donald, Black, Alan, Pulman, Stephen Guy

Trends in Artificial Intelligence: 2nd Congress of the Italian Association for Artificial Intelligence, Ai*ia, Palermo, Italy, October, 29-31, 1991. P by

The SPARC Technical Papers by

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee by

Advanced Quantum Theory: And Its Applications Through Feynman Diagrams by Scadron, Michael D.

Connectionist Symbol Processing by

Patterns and Dynamics in Reactive Media by

Wissenbasierte Unternehmensstrategieentwicklung: Perspektiven Für Die Architektur Integrierter, Computergestützte Führungssysteme by Müller-Wünsch, Michael

Category Theory: Proceedings of the International Conference Held in Como, Italy, July 22-28, 1990 by

Kommunikation in Rechnernetzen: Eine Anwenderorientierte Einführung in Betriebssysteme Und Netzwerke by Kroll, Michael, Kreft, Wolfgang, Gabele, Eduard

Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship by Olderog, E. -R

Advances in Computer Technology and Applications in Japan by

Nichtphysikalische Grundlagen Der Informationstechnik: Interpretierte Formalismen by Wendt, Siegfied

Diskrete Simulation: Eine Einführung Mit Modula-2 by Page, Bernd

Telecommunications and Rural Development: A Study of Private and Public Sector Innovation by

Cognitive Science and Concepts of Mind: Toward a General Theory of Human and Artificial Intelligence by Wagman, Morton

The Transparent PROLOG Machine: Visualizing Logic Programs by Brayshaw, Mike, Paine, Jocelyn, Eisenstadt, Marc

Digital Speech Processing: Speech Coding, Synthesis and Recognition by

Assessing Fault Model and Test Quality by Butler, Kenneth M., Mercer, M. Ray

Computer Integrated Manufacturing: The Past, the Present and the Future by Ayres, R. U., Haywood, W., Merchant, M. E.

Analysis and Modeling of Neural Systems by

Microprocessors in Robotic and Manufacturing Systems by

Computing with T.Node Parallel Architecture by

Arrays, Functional Languages, and Parallel Systems by

Optimal VLSI Architectural Synthesis: Area, Performance and Testability by Elmasry, Mohamed I., Gebotys, Catherine H.

Computer Integrated Manufacturing: Models, Case Studies and Forecasts of Diffusion by Haywood, W., Tchijov, I., Ayres, R. U.

Computer Integrated Manufacturing: Economic and Social Impacts by Haywood, W., Dobrinsky, R., Ayres, R. U.

Syntactic Parsing Strategies in Italian: The Minimal Chain Principle by De Vincenzi, M.

Rough Sets: Theoretical Aspects of Reasoning about Data by Pawlak, Z.

The Computer, the Writer and the Learner by Williams, Noel

A Proof Theory for General Unification by Snyder, W.

Integrationspfad Qualität by

Symbolische Und Konnektionistische Modelle Der Menschlichen Informationsverarbeitung: Eine Kritische Gegenüberstellung by Helm, Gerhard

2. Workshop Sichtsysteme --: Visualisierung in Der Simulationstechnik Bremen, 18./19. November 1991 by

Theory and Applications of Neural Networks: Proceedings of the First British Neural Network Society Meeting, London by

The Computer, the Writer and the Learner by Williams, Noel

Computer-Aided Manufacturing and Women's Employment: The Clothing Industry in Four EC Countries: For the Directorate-General Employment, Social Affair by

New Results and New Trends in Computer Science: Graz, Austria, June 20-21, 1991 Proceedings by

The Problem of Incomplete Information in Relational Databases by Grahne, Gösta

Computational Geometry - Methods, Algorithms and Applications: International Workshop on Computational Geometry CG '91 Bern, Switzerland, March 21-22, by

Delta-4: A Generic Architecture for Dependable Distributed Computing by

Degeneracy Graphs and Simplex Cycling by Zörnig, Peter

Pearl 91 - Workshop Über Realzeitsysteme: 12. Fachtagung Des Pearl-Vereins E.V. Unter Mitwirkung Von GI Und Gma, Boppard, 28./29. November 1991 Procee by Halang, Wolfgang a.

Manufacturing Systems Design and Analysis by Wu, B.

Fundamental Algorithms for Computer Graphics: NATO Advanced Study Institute Directed by J.E. Bresenham, R.A. Earnshaw, M.L.V. Pitteway by

Lösungsansätze Der Wirtschaftsinformatik Im Lichte Der Praktischen Bewährung by

Specification and Compositional Verification of Real-Time Systems by Hooman, Jozef

Informatik Für Den Umweltschutz / Computer Science for Environmental Protection: 6. Symposium, München, 4.-6. Dezember 1991 Proceedings by

Conclog: A Methodological Approach to Concurrent Logic Programming by Jacquet, Jean-Marie

ISA '91 Algorithms: 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings by

Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings by

Fundamental Algorithms for Permutation Groups by Butler, Gregory

Three-Dimensionl Int Circuit L by Harter, A. C.

Processor Networks and Aspects of the Mapping Problem by Hilbers, Peter A. J.

Communication Theory by Pinch, Richard G. E., Goldie, Charles M.

Circuit Design for CMOS VLSI by Uyemura, John P.

New Perspectives on Cybernetics: Self-Organization, Autonomy and Connectionism by

Adaptive Parsing: Self-Extending Natural Language Interfaces by Fain Lehman, Jill

Sequential Logic Testing and Verification by Ghosh, Abhijit, Devadas, Srinivas, Newton, A. Richard

Sequential Logic Synthesis by Ashar, Pranav, Devadas, S., Newton, A. Richard

Microprocessor Based Protection Systems by

de Motu and the Analyst: A Modern Edition, with Introductions and Commentary by Berkeley, G.

Computer Algebra with LISP and Reduce: An Introduction to Computer-Aided Pure Mathematics by Constales, D., Brackx, F.

Digital Transmission Design and Jitter Analysis by Takasaki, Yoshitaka

Algebraic Specification Techniques in Object Oriented Programming Environments by Breu, Ruth

Featurebasierte Integration Von Cad/Cam-Systemen by Ruf, Thomas

Parallelism, Learning, Evolution: Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel Processi by

Processing Declarative Knowledge: International Workshop Pdk '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings by

Graphics and Communications: Proceedings of an International Workshop Breuberg, Frg, October 15-17, 1990 by

First-Order Programming Theories by Gergely, Tamas, Ury, Laszlo

Analyse Dynamischer Systeme in Medizin, Biologie Und Ökologie: 4. Ebernburgerer Gespräch Bad Münster, 5.-7. April 1990 by

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings by

Parallel Execution of Logic Programs: Iclp '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings by

A Resolution Principle for a Logic with Restricted Quantifiers by Bürckert, Hans-Jürgen

Quattro Pro(r) for Scientific and Engineering Spreadsheets by Parks, Robert G.

Public Data Networks: From Separate Pdns to the ISDN by Puzman, Josef, Kubin, Boris

The Art of Programming Embedded Systems by Ganssle, Jack

From Memex to Hypertext by Kahn, Paul, Nyce, James M.

Integrated System for Intelligent Control by Rao, Ming

Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13-15, 1991 by