General Computers in 1994

Parle '94 Parallel Architectures and Languages Europe: 6th International Parle Conference, Athens, Greece, July 4 - 8, 1994. Proceedings by

Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings by

Computer Algorithms by Aoe, Jun-Ichi

Operations Research Proceedings 1993: Dgor/Nsor Papers of the 22nd Annual Meeting of Dgor in Cooperation with Nsor / Vorträge Der 22. Jahrestagung Der by

Automata, Languages, and Programming: 21st International Colloquium, Icalp '94, Jerusalem, Israel, July 11-14, 1994. Proceedings by

Algorithm Theory - Swat '94: 4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings by

11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems: Sophia-Antipolis, June 15-16-17, 1994 by

Neuronale Netze by Kinnebrock, Werner

Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings by

Orders, Algorithms and Applications: International Workshop Ordal '94, Lyon, France, July 4-8, 1994. Proceedings by

Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications by Singh, Munidar P.

Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings by

A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4 by

Qualitative Representation of Spatial Knowledge by Hernandez, Daniel

Foundations of Knowledge Representation and Reasoning by

Knowledge Representation and Reasoning Under Uncertainty: Logic at Work by

Directions in Databases: 12th British National Conference on Databases, Bncod 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings by

Temporal Logic: First International Conference, Ictl '94, Bonn, Germany, July 11 - 14, 1994. Proceedings by

Advances in Robot Kinematics and Computational Geometry by

Computation in Neurons and Neural Systems by

Logic Synthesis for Control Automata by Baranov, Samary

Communications and Cryptography: Two Sides of One Tapestry by

A Designer's Guide to VHDL Synthesis by Wilderotter, Thomas J., Ott, Douglas E.

Current Issues in Computational Linguistics: In Honour of Don Walker by

Introduction to Convolutional Codes with Applications by Dholakia, Ajay

Graph Theoretical Approaches to Chemical Reactivity by

Making Hypermedia Work: A User's Guide to Hytime by Durand, D., DeRose, S. J.

Current Issues in Computational Linguistics: In Honour of Don Walker by

Algebraic Structures and Operator Calculus: Volume II: Special Functions and Computer Science by Schott, René, Feinsilver, P.

Latex: A Document Preparation System by Lamport, Leslie

Sigir '94: Proceedings of the Seventeenth Annual International Acm-Sigir Conference on Research and Development in Information Retrieval, Organised by by

Evolutionary Programming - Proceedings of the 3rd Annual Conference by

Cellular Robotics & Micro Robotic..(V10) by Fukuda, T., Ueyama, T.

Infopreneurs: The Hidden People Who Drive Strategic Information Systems by Dance, Stephen G.

Neural Network Modeling: Statistical Mechanics and Cybernetic Perspectives by Neelakanta, P. S., Degroff, Dolores

Artificial Social Systems: 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw '92, S. Martino Al Cimino, Italy, July by

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers by

Applications of Invariance in Computer Vision: Second Joint European - Us Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings by

Parallel Computing Using Prefix Problem by Lakshmivarahan, S., Dhall, Sudarshan K.

Logic Programming: The 11th International Conference by

Die X/Motif Umgebung: Eine Einführung Für Anwender Und Systemverwalter by Barton, Robert

Conceptual Structures: Current Practices: Second International Conference on Conceptual Structures, Iccs '94, College Park, Maryland, Usa, August 16 - by

Algorithms and Computation: 5th International Symposium, Isaac '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings by

Concur '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings by

Error Control, Cryptology, and Speech Compression: Workshop on Information Protection, Moscow, Russia, December 6 - 9, 1993. Selected Papers by

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected by

Entity-Relationship Approach - Er '93: 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, Usa, December 15 - 17, 199 by

Isabelle: A Generic Theorem Prover by Paulson, Lawrence C.

Herausforderungen Für Die Informationstechnik: Internationale Konferenz in Dresden, 15. - 17. Juni 1993 by

Geschäftsprozeßmanagement: Prozeßorientierte Organisationsgestaltung Und Informationstechnologie by

The Myth of the Electronic Library: Librarianship and Social Change in America by Birdsall, William Wilfred

Explorations in Automatic Thesaurus Discovery by Grefenstette, Gregory

Convex Functions and Optimization Methods on Riemannian Manifolds by Udriste, C.

Polytopes: Abstract, Convex and Computational by

Computer Control of Flexible Manufacturing Systems: Research and Development by

User Interface Design: A Structured Approach by Treu, Siegfried, Treu

Artificial Intelligence in Design '94 by

Design and Production of Multimedia and Simulation-Based Learning Material by

User Interface Evaluation: A Structured Approach by Treu, Siegfried

Compositional Translation by Rosetta, M. T.

Polynomial and Matrix Computations: Fundamental Algorithms by Bini, Dario, Pan, Victor Y.

Abhaengige Beschaeftigung Und Der Urheberrechtliche Schutz Des Arbeitsergebnisses: Eine Untersuchung Der Nutzungsrechte Und Verguetungspflichten Am Be by Hauptmann, Peter-Helge

Konzeptionelle Grundlagen Eines Logistikinformationssystems: Logistikverfahrens- Und -Kapazitaetsoptimierung, Dargestellt Am Beispiel Fluessiggas Und by Krause, Herbert

Advances in Cryptology -- Crypto '94: 14th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 21-25, 1994. Proceedings by

Mathematical Foundations of Computer Science 1994: 19th International Symposium, Mfcs'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings by

Natural Language Understanding by Allen, James

Rough Sets, Fuzzy Sets and Knowledge Discovery: Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (Rskd'93), Banff, Albe by

Environmental Information Management And Analysis: Ecosystem To Global Scales by

Logics in Artificial Intelligence: European Workshop Jelia '94, York, Uk, September 5-8, 1994. Proceedings by

Incompleteness and Uncertainty in Information Systems: Proceedings of the Softeks Workshop on Incompleteness and Uncertainty in Information Systems, C by

Computer Vision: Specialized Processors for Real-Time Image Analysis: Workshop Proceedings Barcelona, Spain, September 1991 by

Algebraic and Logic Programming: 4th International Conference, Alp '94, Madrid, Spain, September 14-16, 1994. Proceedings by

Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings by

Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings by

Field-Programmable Logic: Architectures, Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications, Fpl'94, by

Database and Expert Systems Applications: 5th International Conference, Dexa'94, Athens, Greece, September 7 - 9, 1994. Proceedings by

Visualizing with CAD: An Auto CAD Exploration of Geometric and Architectural Forms by Bertol, Daniela

Treewidth: Computations and Approximations by Kloks, Ton

Abductive Inference: Computation, Philosophy, Technology by

Lectures on Probability Theory: Ecole d'Ete de Probabilites de Saint-Flour XXII - 1992 by Bakry, Dominique, Gill, Richard D.

Topics in Case-Based Reasoning: First European Workshop, Ewcbr-93, Kaiserslautern, Germany, November 1-5, 1993. Selected Papers by

Turing Machines with Sublogarithmic Space by Szepietowski, Andrzej

Learning in Automated Manufacturing: A Local Search Approach by Pesch, Erwin

3d-Graphik Mit Hoops: Einführung in Die Programmierung by Gorzelanczyk, Markus, Christov, Ljubomir

Computergestützte Produktionsplanung: Datenmanagement Und Informationsverarbeitung in Pps-Systemen by Gubitz, Klaus-Martin

Towards a Pan-European Telecommunication Service Infrastructure - Is&n '94: Second International Conference on Intelligence in Broadband Services and by

Fuzzy Logic and Fuzzy Control: Ijcai '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991. Proceedings by

Mixed-Mode Simulation and Analog Multilevel Simulation by Newton, A. Richard, Saleh, Resve A., Shyh-Jye Jou

Computer Science 2: Research and Applications by

Mathematical Morphology and Its Applications to Image Processing by

Artificial Intelligence and Creativity: An Interdisciplinary Approach by

Encyclopedia of Computer Science and Technology: Volume 31 - Supplement 16: Artistic Computer Graphics to Strategic Information Systems Planning by

Techniques of Scientific Computing (Part 1) - Solution of Equations in RN: Volume 3 by Ciarlet, P. G.

Principles of Case Tool Integration by Brown, Alan W., Carney, David J., Morris, Edwin J.

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys by

Computers for Handicapped Persons: 4th International Conference, Icchp '94, Vienna, Austria, September 14-16, 1994. Proceedings (Large Print Edition) by

Software-Reengineering by Kaufmann, Achim H.

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings by

Ki-94: Advances in Artificial Intelligence: 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings by

Grammatical Inference and Applications: Second International Colloquium, Icgi-94, Alicante, Spain, September 21-23, 1994. Proceedings by

Foundations of Computer Technology by Anderson, Alexander John

Vowel Perception and Production by Pickering, J. B., Rosner, B. S.

Informatik. Eine Grundlegende Einführung: Teil III: Systemstrukturen Und Systemnahe Programmierung by Broy, Manfred

Ki-94: Anwendungen Der Künstlichen Intelligenz 18. Fachtagung Für Künstliche Intelligenz Saarbrücken, 22./23. September 1994 (Anwenderkongreß) by

Knowledge Structures by

Distributed Algorithms: 8th International Workshop, Wdag 1994, Terschelling, the Netherlands, September 29 - October 1, 1994. Proceedings by

Algorithms - ESA '94: Second Annual European Symposium, Utrecht, the Netherlands, September 26 - 28, 1994. Proceedings by

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings by

A Future for Knowledge Acquisition: 8th European Knowledge Acquisition Workshop, Ekaw'94, Hoegaarden, Belgium, September 26 - 29, 1994. Proceedings by

Learning with Artificial Worlds: Computer Based Modelling in the Curriculum by

Dependable Computing - Edcc-1: First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings by

Parallel Problem Solving from Nature - Ppsn III: International Conference on Evolutionary Computation. the Third Conference on Parallel Problem Solvin by

Multimedia: Advanced Teleservices and High-Speed Communication Architectures: Second International Workshop, Iwaca '94, Heidelberg, Germany, September by

Broadband Communications, II: Volume 24 by

Circuit Simulation Methods and Algorithms by Ogrodzki, Jan, Ogrodzki Jan

Der Lebenssinn Der Industriegesellschaft: Über Die Moralische Verfassung Der Wissenschaftlich-Technischen Zivilisation by Lübbe, Hermann

Entwicklung Ingenieurwissenschaftlicher Datenbankanwendungen: Ein Objektorientiertes Datenmodell by Wallrath, Mechtild

Evolutionary Computing: Aisb Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers by

Neuronale Netze Für Technische Anwendungen by Berns, Karsten, Kolb, Thorsten

Parallel Computer Routing and Communication: First International Workshop, Pcrcw '94, Seattle, Washington, Usa, May 16-18, 1994. Proceedings by

Computer Integrated Production Systems and Organizations by

Network and Operating System Support for Digital Audio and Video: 4th International Workshop Nossdav '93, Lancaster, Uk, November 3-5, 1993. Proceedin by

Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, Aii '94, 5th International Workshop on Algorithmic Lear by

Autonome Mobile Systeme 1994: 10. Fachgespräch, Stuttgart, 13. Und 14. Oktober 1994 by

Advanced Speech Applications: European Research on Speech Technology by

The Osi95 Transport Service with Multimedia Support by

Methodologies for Intelligent Systems: 8th International Symposium, Ismis '94, Charlotte, North Carolina, Usa, October 16 - 19, 1994. Proceedings by

Fuzzy Logic in Artificial Intelligence: Ijcai '93 Workshop, Chamberry, France, August 28, 1993. Proceedings by

Cognitive Systems Engineering by Goodstein, L. P., Rasmussen, Jens, Pejtersen, Annelise Mark

Design Issues in Cscw by

Foundations of Dependable Computing: Paradigms for Dependable Applications by

Foundations of Dependable Computing: System Implementation by

Trajectories Through Knowledge Space: A Dynamic Framework for Machine Comprehension by Bookman, Lawrence A.

Manufacturing Systems Design and Analysis by Wu, Bin

Multithreaded Computer Architecture: A Summary of the State of the Art by

Concept Formation and Knowledge Revision by Wrobel, Stefan

Cscw and Artificial Intelligence by

Genetic Learning for Adaptive Image Segmentation by Sungkee Lee, Bhanu, Bir

Geometry-Driven Diffusion in Computer Vision by

Learning and Coordination: Enhancing Agent Performance Through Distributed Decision Making by Kim, S. H.

CAD Frameworks: Principles and Architecture by Van Der Wolf, Pieter

Responsive Computing: A Special Issue of Real-Time Systems the International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994) by

VLSI for Neural Networks and Artificial Intelligence by

On-The-Job Learning in the Software Industry: Corporate Culture and the Acquisition of Knowledge by Sacks, Marc

Data Structures, Algorithms, and Software Principles in C by Standish, Thomas

Integrative Use of Qualitative & Quantitative Knowledge in Physics Problem Solving (European University Studies: Series 6: Psychology, V. 483) by Plötzner, Rolf

Datenschutzrecht Und Grenzueberschreitender Datenverkehr: Regelungsbedarf, Rechtsvergleich Und Rechtsfortbildung by Hahn, Ulrich

Cyberspace and the Law: Your Rights and Duties in the On-Line World by Cavazos, Edward, Morin, Gavino

Database Issues for Data Visualization: IEEE Visualization '93 Workshop, San Jose, California, Usa, October 26, 1993. Proceedings by

Technology and Strategy by Goodman, Richard A., Lawless, Michael W.

Bausteine Für Die Fabrik Der Zukunft: Eine Einführung in Die Rechnerintegrierte Produktion (CIM) by

AutoCAD for Windows Express by McCarthy, Timothy J.

Linux: Unleashing the Workstation in Your PC by Strobel, Stefan

Machine Intelligence by

Computer Security - Esorics 94: Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings by

Wissens- Und Datenbankbasiertes Beratungssystem Für Die Fe-Simulation Von Umformprozessen by Greve, Andreas

Human-Computer Interaction: 4th International Conference, Ewhci '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers by

Computergestützte Tourenplanung Mit Zeitkritischen Restriktionen by Gietz, Martin

Cooperative Work with Multimedia by

Cognitive Aspects of Visual Languages and Visual Interfaces: Volume 11 by

Collaborative Dialogue Technologies in Distance Learning by

Mathematical Modelling Courses for Engineering Education by

Encyclopedia of Microcomputers: Volume 15 - Reporting on Parallel Software to SNOBOL by

The Metaphysics of Virtual Reality by Heim, Michael

Fundamentals of Speech Synthesis and Speech Recognition by

Multiprocessor Execution of Logic Programs by Gupta, Gopal

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems by

Architecture and Protocols for High-Speed Networks by

Wireless Data Networking by Muller, Nathan J.

Design Patterns: Elements of Reusable Object-Oriented Software by Helm, Richard, Johnson, Ralph, Gamma, Erich

The Combinatory Programme by Engeler, Erwin

The Creative Process: A Computer Model of Storytelling and Creativity by Turner, Scott R.

Advances in Database Systems: Implementations and Applications by

Passive and Active Structural Vibration Control in Civil Engineering by

Computerized Symbolic Manipulation in Mechanics by

Parallel Computing by Fountain, T. J.

Multimedia Transport and Teleservices: International Cost 237 Workshop, Vienna, Austria, November 13 - 15, 1994. Proceedings by

PROLOG for Computer Science by Dawe, Christopher

Pearl 94: Workshop Über Realzeitsysteme. Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl, Boppard, 1./2. Dezember 1994 by

Grundzüge Des Informationsmanagements by Brenner, Walter

OSI Conformance Testing Methodology and Ttcn by

Algorithmic Number Theory: First International Symposium, Ants-I, Ithaca, Ny, Usa, May 6 - 9, 1994. Proceedings by

Library Information Technology and Networks by Grosch, Charles

Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings by

Fuzzy Logik: Theorie Und PRAXIS 4. Dortmunder Fuzzy-Tage Dortmund, 6.-8. Juni 1994 by

Parallel, Distributed and Multiagent Production Systems by

Parallel Scientific Computing: First International Workshop, Para '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings by

A Numerical Library in C for Scientists and Engineers by Lau, Hang T.

Lecture Notes in Quantum Chemistry II: European Summer School in Quantum Chemistry by

Multimedia-Kommunikation Im Bürobereich: Begleitstudie Zum Pilotprojekt "Office Broadband Communication" by Rachor, Ursula

Robust Stability and Convexity: An Introduction by Kogan, Jacob

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 by Jensen, Kurt

Living with the Chip by Manners, D., Makimoto, T.

Analog Circuit Design: Low-Power Low-Voltage, Integrated Filters and Smart Power by

Worldwide Advances in Communication Networks by

Gedächtnistheorien Und Mnemotechniken: Eine Künstlerisch-Wissenschaftliche Betrachtung by Schulz, Jeanette

Algebra of Communicating Processes: Proceedings of Acp94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-1 by

Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference by Walker, E. a., Hung T. Nguyen, Grabisch, Michel

Studies in Computer Science: In Honor of Samuel D. Conte by Conte, Samuel Daniel