General Computers in 1995

Elektrotechnische Grundlagen der Informatik by Clausert, Horst

Produktionsmanagement in modularen Organisationsstrukturen by

Proceedings of the Issek94 Workshop on Mathematical and Statistical Methods in Artificial Intelligence by

Metaclasses and Their Application: Data Model Tailoring and Database Integration by

Mms: A Communication Language for Manufacturing by

Lectures on Probability Theory: Ecole d'Ete de Probabilites de Saint-Flour XXIII - 1993 by Durrett, Richard, Biane, Philippe

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers by

Exploitation of Fine-Grain Parallelism by

Tractable Reasoning in Aritificial Intelligence by Cadoli, Marco

Exploiting Mental Imagery with Computers in Mathematics Education by

Advances in Spatial Databases: 4th International Symposium Ssd '95, Portland, Me, Usa, August 6 - 9, 1995. Proceedings by

Job Scheduling Strategies for Parallel Processing: Ipps '95 Workshop, Santa Barbara, Ca, Usa, April 25, 1995. Proceedings by

Spaces of Identity: Global Media, Electronic Landscapes and Cultural Boundaries by Morley, David, Robins, Kevin

Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings by

Conceptual Structures: Applications, Implementation and Theory: Third International Conference on Conceptual Structures, Iccs '95, Santa Cruz, Ca, Usa by

Alice in Quantumland: An Allegory of Quantum Physics by Gilmore, Robert

Integration of Natural Language and Vision Processing: Computational Models and Systems by

Invariant Methods in Discrete and Computational Geometry: Proceedings of the Curaçao Conference, 13-17 June, 1994 by

Fuzzy Logic and Intelligent Systems by

Artificial Intelligence in Reactive Scheduling by

VHDL Modeling for Digital Design Synthesis by Yu-Chin Hsu, Tsai, Kevin F., Liu, Jessie T.

Advanced Methods of Pharmacokinetic and Pharmacodynamic Systems Analysis: Volume 2 by

Balanced Automation Systems: Architectures and Design Methods by

Logic and Architecture Synthesis by

Near-Rings and Near-Fields: Proceedings of the Conference on Near-Rings and Near-Fields Fredericton, New Brunswick, Canada, July 18-24, 1993 by

Cognitive Aspects of Human-Computer Interaction for Geographic Information Systems by

The Neurobiology of Computation: Proceedings of the Third Annual Computation and Neural Systems Conference by

Logic Synthesis for Field-Programmable Gate Arrays by Murgai, Rajeev, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.

World Conference on Computers in Education VI: Wcce '95 Liberating the Learner, Proceedings of the Sixth Ifip World Conference on Computers in Educati by

A Knowledge-Based Approach to Program Understanding by Basili, Victor R., Abd-El-Hafiz, Salwa K.

Case-Based Reasoning in Design by Balachandran, M. Bala, Zhang, Dong Mei, Maher, Mary Lou

From Reaction to Cognition: 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw '93, Neuchatel, Switzerland, Augus by

Computing and Combinatorics: First Annual International Conference, Cocoon '95, Xi'an, China, August 24-26, 1995. Proceedings by

Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, In, Usa, October 13-16, 1994. Selected Papers by

Algorithms and Data Structures: 4th International Workshop, Wads '95, Kingston, Canada, August 16 - 18, 1995. Proceedings by

Advances in Computers: Volume 40 by

Visualization in Scientific Computing '95: Proceedings of the Eurographics Workshop in Chia, Italy, May 3-5, 1995 by

Rendering Techniques '95: Proceedings of the Eurographics Workshop in Dublin, Ireland, June 12-14, 1995 by

Knowledge Machines: Language and Information in a Technological Society by Murray, Denise E.

Simulated And Virtual Realities: Elements Of Perception by

Ethics of Information Management by Mason, Richard O., Culnan, Mary, Mason, Florence M.

Temporal Verification of Reactive Systems: Safety by Manna, Zohar, Pnueli, Amir

Computation and Intelligence: Collected Readings by

Android Epistemology by

Advances in Computers: Volume 41 by

Advances in Cryptology - Eurocrypt '94: Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9 - 12, 1994. Proceedi by

Algorithmic Learning for Knowledge-Based Systems: Gosler Final Report by

Progress in Evolutionary Computation: AI '93 and AI '94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armi by

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, Aismc-2, Cambridge, United Kingdom, August by

Computer System and Network Security by White, Gregory B., Fisch, Eric A., Pooch, Udo W.

The Advanced Texbook by Salomon, David

Interactive 3D Graphics in Windows(r) by Forsyth, Danielle, Hall, Roy

Systems Approach to Computer-Integrated Design and Manufacturing by Singh, Nanua

Qualification for Computer-Integrated Manufacturing by

Advances in Cryptology -- Crypto '95: 15th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 27-31, 1995. Proceedings by

Euro-Par '95: Parallel Processing: First International Euro-Par Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings by

Mathematical Foundations of Computer Science 1995: 20th International Symposium, Mfcs'95, Prague, Czech Republic, August 28 - September 1, 1995. Proce by

Parallel Computing Technologies: Third International Conference, Pact-95, St. Petersburg, Russia, September 12-15, 1995. Proceedings by

Fundamentals of Computation Theory: 10th International Conference, Fct '95, Dresden, Germany, August 22 - 25, 1995. Proceedings by

Innovative Interaktionstechniken in Der Visualisierung by Felger, Wolfgang

Business Engineering. Prozeß- Und Systementwicklung: Band 1: Entwurfstechniken by Österle, Hubert

Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-Of-The-Art CIM Solutions by

Field-Programmable Logic and Applications: 5th International Workshop, Fpl '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings by

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings by

Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings by

Computer Analysis of Images and Patterns: 6th International Conference, Caip'95, Prague, Czech Republic, September 6-8, 1995 Proceedings by

Database and Expert Systems Applications: 6th International Conference, Dexa'95, London, United Kingdom, September 4 - 8, 1995, Proceedings by

Digital Circuit Design for Computer Science Students: An Introductory Textbook by Wirth, Niklaus

Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Irregular '95, Lyon, France, September 4 - 6, 1995. Proceeding by

Randomized Algorithms by Raghavan, Prabhakar, Motwani, Rajeev

Business in the Information Age: Heading for New Processes by Österle, Hubert

The Age of Automation: Technical Genius, Social Dilemma by Hall, George M.

Image Analysis and Processing: 8th International Conference, Iciap '95, San Remo, Italy, September 13 - 15, 1995. Proceedings by

Computer Animation and Simulation '95: Proceedings of the Eurographics Workshop in Maastricht, the Netherlands, September 2-3, 1995 by

Classical Mechanics with Maple by Greene, Ronald L.

Co-Synthesis of Hardware and Software for Digital Embedded Systems by Gupta, Rajesh Kumar

The Tsql2 Temporal Query Language by

Mathematical Models for Handling Partial Knowledge in Artificial Intelligence by

The Posing of Questions: Logical Foundations of Erotetic Inferences by Wisniewski, A.

Parallel Language and Compiler Research in Japan by

Extremal Combinatorial Problems and Their Applications by Baranov, V. I., Stechkin, B. S.

Information System Concepts: Towards a Consolidation of Views by

Information Systems Development for Decentralized Organizations: Proceedings of the Ifip Working Conference on Information Systems Development for Dec by Krogstie, John, Seltveit, Anne Helga, Soelvberg, Arne

Electronic Design Automation Frameworks: Proceedings of the Fourth International Ifip Wg 10.5 Working Conference on Electronic Design Automation Frame by

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems by

VHDL Coding Styles and Methodologies by Cohen, Ben

The Knowledge Acquisition and Representation Language, Karl by Fensel, Dieter

Virtual Prototyping: Virtual Environments and the Product Design Process by

An Introduction to Splines for Use in Computer Graphics and Geometric Modeling by Bartels, Richard H., Beatty, John C., Barsky, Brian a.

Simulation of Semiconductor Devices and Processes: Volume 6 by

Ki-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Pro by

Innovative Konzepte Für Die Ausbildung: 6. Gi-Fachtagung Informatik Und Schule Infos '95 Chemnitz, 25.-28. September 1995 by

Mustererkennung 1995: Verstehen Akustischer Und Visueller Informationen by

Principles and Practice of Constraint Programming - Cp '95: First International Conference, Cp '95, Cassis, France, September 19 - 22, 1995. Proceedin by

Gisi 95: Herausforderungen Eines Globalen Informationsverbundes Für Die Informatik by

Les Systèmes Dynamiques Discrets by Robert, François

Concur '95 Concurrency Theory: 6th International Conference, Philadelphia, Pa, Usa, August 21 - 24, 1995. Proceedings by

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Netherlands, September 20 - 22, 1995 by

Memory Management: International Workshop Iwmm 95, Kinross, Uk, September 27 - 29, 1995. Proceedings by

Datenbanksysteme: Konzeptionelle Datenmodellierung Und Datenbankarchitekturen by Röhrs, Heinz-Peter, Gabriel, Roland

Understanding Neural Networks and Fuzzy Logic: Basic Concepts and Applications by Kartalopoulos, Stamatios V.

Threshold Graphs and Related Topics: Volume 56 by Peled, U. N., Mahadev, N. V. R.

Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performanc by

Spatial Information Theory: A Theoretical Basis for GIS: A Thoretical Basis for Gis. International Conference, Cosit '95, Semmering, Austria, Septembe by

Digitales Video in Interaktiven Medien: Einführung Und Anwendung Für Pc, Macintosh Und CD-I by Riempp, Roland, Schlotterbeck, Arno

Algorithms - ESA '95: Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings by

Static Analysis: Second International Symposium, SAS '95, Glasgow, Uk, September 25 - 27, 1995. Proceedings by

Design, Specification and Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995 by

Introducing FORTRAN 90 by Chivers, Ian D., Sleightholme, Jane

Executive Guide to Preventing Information Technology Disasters by Ennals, Richard

Correct Hardware Design and Verification Methods: Ifip Wg10.5 Advanced Research Working Conference, Charme '95, Frankfurt, Germany, October 1995. Proc by

Computer Control and Human Error by Kletz, Trevor

Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings by

Neural Networks: Artificial Intelligence and Industrial Applications: Proceedings of the Third Annual Snn Symposium on Neural Networks, Nijmegen, the by

Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, Epia '95, Funchal, Madeira Island, Portugal, October 3 - 6, by

Advances in Artificial Intelligence: 12th Brazilian Symposium on Artificial Intelligence, Sbia '95, Campinas, Brazil, October 11 - 13, 1995. Proceedin by

Topics in Artificial Intelligence: Fourth Congress of the Italian Association for Artificial Intelligence, Ai*ia '95, Florence, Italy, October 11 - 13 by

Logic and Information by Keith, Devlin, Devlin, Keith J.

Digital Image Compression: Algorithms and Standards by Weidong Kou

The Pleadings Game: An Artificial Intelligence Model of Procedural Justice by Gordon, Thomas F.

High-Level System Modeling: Specification Languages by

Symbolic Analysis for Parallelizing Compilers by Haghighat, Mohammad R.

Temporal Logic: From Ancient Ideas to Artificial Intelligence by Øhrstrøm, Peter, Hasle, Per

Visual Database Systems 3: Visual Information Management by

The Foundational Debate: Complexity and Constructivity in Mathematics and Physics by

Revolutionary Changes in Understanding Man and Society: Scopes and Limits by Gotschl, Johann

Information & On-Line Data in Astronomy by Albrecht, Miguel A.

Proceedings of the Fourth European Conference on Computer-Supported Cooperative Work Ecscw '95: 10-14 September, 1995, Stockholm, Sweden by

Error Detecting Codes: General Theory and Their Application in Feedback Communication Systems by Korzhik, Valery, Kløve, Torleiv

Ca-Integration in Theorie Und PRAXIS: Aktuelle Konzepte Für Integrations- Und Kommunikationstechnologien Im Cad-Umfeld by

Neural Networks: An Introduction by Reinhardt, Joachim, Müller, Berndt, Strickland, Michael T.

The Cyborg Handbook by Gray, Chris

Intelligent Systems in Process Engineering, Part I: Paradigms from Product and Process Design: Volume 21 by

Intelligent Systems in Process Engineering, Part II: Paradigms from Process Operations: Volume 22 by

Algorithmic Learning Theory: 6th International Workshop, Alt '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings by

Bringing Telecommunication Services to the People - Is&n '95: Third International Conference on Intelligence in Broadband Services and Networks, Herak by

Optoelectronics for Data Communication by

Quantitative Methods in Parallel Systems by

Sicherungsinfrastrukturen: Gestaltungsvorschläge Für Technik, Organisation Und Recht by

Hybrid Systems II by

Technology Education, Innovation, and Management: Proceedings of the Wocate Conference 1994 by

Advances in Human-Computer Interaction: Human Comfort and Security by

Evolutionary Computing: Aisb Workshop, Sheffield, U.K., April 3 - 4, 1995. Selected Papers by

Advances in Case-Based Reasoning: Second European Workshop, Ewcbr-94, Chantilly, France, November 7 - 10, 1994. Selected Papers by

Algèbre Discrète Et Codes Correcteurs by Papini, Odile, Wolfmann, Jacques

International Power and International Communication by Alleyne, Mark D.

Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (Strict), Berlin, 11-13 May 1995 by

Performance Modeling Computer Architect by

Case-Based Reasoning Research and Development: First International Conference, Iccbr-95, Sesimbra, Portugal, October 23 - 26, 1995. Proceedings by

Pattern Recognition with Neural Networks in C++ by Pandya, Abhijit S., Macy, Robert B.

Computer Science Today by

Object Representation in Computer Vision: International Nsf-Arpa Workshop, New York City, Ny, Usa, December 5 - 7, 1994. Proceedings by

Grundlagen der Informatik by Pepper, Peter

Software Configuration Management: Icse Scm-4 and Scm-5 Workshops. Selected Papers by

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers by

Speech Recognition and Coding: New Advances and Trends by

Strategische Datenbanken: Kernelemente Computergestützter Infomationssysteme Zur Unterstützung Des Strategischen Controllings by Hesse, Stefan

The Complexity of Simple Computer Architectures by

Information Systems and Data Management: 6th International Conference, Cismod '95, Bombay, India, November 15-17, 1995. Proceedings by

Fast Software Encryption: Second International Workshop, Leuven, Belgium, December 14-16, 1994. Proceedings by

Essential Autolisp(r): With a Quick Reference Card and a Diskette by Harkow, Roy

Computers and Classroom Culture by Schofield, Janet Ward

Technische Bildverarbeitung -- Maschinelles Sehen by Nickolay, Bertram, Jähne, Bernd, Massen, Robert

Information Systems Development and Data Modeling: Conceptual and Philosophical Foundations by Hirschheim, Rudy A., Klein, Heinz K., Lyytinen, Kalle

Mathematik Lernen Mit Derive by Berry, J., Graham, E.

Text Encoding Initiative: Background and Context by

Low Power Design Methodologies by

High-Performance Digital VLSI Circuit Design by Gu, Richard X., Sharaf, Khaled M., Elmasry, Mohamed I.

Robustness in Automatic Speech Recognition by Junqua, Jean-Claude, Haton, Jean-Paul

Parallel Algorithms for Irregular Problems: State of the Art by

Video and Image Processing in Multimedia Systems by Hongjiang Zhang, Furht, Borko, Smoliar, Stephen W.

Languages, Compilers and Run-Time Systems for Scalable Computers by

Document Processing and Retrieval: Texpros by Qianhong Liu, Ng, Peter A.

Integration of Natural Language and Vision Processing: (Volume II) Intelligent Multimedia by

Modern Methods of Speech Processing by

Cyberpunk: Outlaws and Hackers on the Computer Frontier, Revised by Hafner, Katie

Parametric and Feature-Based Cad/CAM: Concepts, Techniques, and Applications by Shah, Jami J., Mäntylä, Martti

Spatial Representation and Motion Planning by Pobil, Angel P. Del, Serna, Miquel A.

Sofsem '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November by

Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report by

Exploratory Vision: The Active Eye by

Work Out Computer Studies GCSE by Taylor, Graham

Kanalcodierung: Grundlagen Und Anwendungen in Modernen Kommunikationssystemen by Friedrichs, Bernd

Computers, Minds and Conduct by Button, Graham, Coulter, Jeff, Lee, John

Deductive and Object-Oriented Databases: Fourth International Conference, Dood' 95, Singapore, December 4-7, 1995. Proceedings by

Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms: Ieee/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9 - 10, 1994 by

Human-Computer Interaction: 5th International Conference, Ewhci '95, Moscow, Russia, July 3-7, 1995. Selected Papers by

Integrity Primitives for Secure Information Systems: Final Ripe Report of Race Integrity Primitives Evaluation by

Graph-Theoretic Concepts in Computer Science: 21st International Workshop, Wg '95, Aachen, Germany, June 20 - 22, 1995. Proceedings by

Artificial Intelligence in Finance & Investing: State-of-the-Art Technologies for Securities Selection and Portfolio Management by Trippi, Robert R.

Healthcare Infostructures: The Development of Information-Based Infrastructures for the Healthcare Industry by Diebold Institute for Public Policy Stud, Diebold, The Diebold Institute for Public Policy

Pearl 95: Workshop Über Realzeitsysteme Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 30.November-1. by

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Select by

Progress in Case-Based Reasoning: First United Kingdom Workshop, Salford, Uk, January 12, 1995. Proceedings by

Functional Programming Languages in Education: 1st International Symposium Fple '95 Nijmegen, the Netherlands, December 4-6, 1995. Proceedings by

Autonome Mobile Systeme 1995: 11. Fachgespräch Karlsruhe, 30. November-1. Dezember 1995 by

Image Analysis Applications and Computer Graphics: Third International Computer Science Conference, Icsc'95 Hong Kong, December 11 - 13, 1995 Proceedi by

Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, Acsc '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings by

Scientific Pascal by Flanders, Harley