General Computers in 1995

Computer Integrated Manufacturing - Proceedings of the 3rd International Conference (in 2 Volumes) by

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, Aaecc-11, Paris, France, July 17-22, 1995. Proceedings by

Geometric Modelling: Dagstuhl 1993 by

Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings by

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 Biane, Philippe, Durrett, Richard

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

Exploitation of Fine-Grain Parallelism by

Exploiting Mental Imagery with Computers in Mathematics Education by

Tractable Reasoning in Aritificial Intelligence by Cadoli, Marco

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

Information Technology and Society: A Reader 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

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 Liu, Jessie T., Yu-Chin Hsu, Tsai, Kevin F.

Advanced Methods of Pharmacokinetic and Pharmacodynamic Systems Analysis: Volume 2 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 Sangiovanni-Vincentelli, Alberto L., Murgai, Rajeev, Brayton, Robert K.

Balanced Automation Systems: Architectures and Design Methods by

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

World Conference on Computers in Education VI: Wcce '95 Liberating the Learner, Proceedings of the Sixth Ifip World Conference on Computers in Educati 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

Logic and Architecture Synthesis by

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

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

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

Wiederverwendung Im Objektorientierten Softwareentwicklungsprozeß, Dargestellt Am Beispiel Der Entwicklung Eines Lagerlogistiksystems by Appelfeller, Wieland

Computer Algebra in Science & Engrg by

Number Theoretic and Algebraic Methods in Computer Science - Proceedings of the International Conference 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

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

Algorithms and Data Structures: 4th International Workshop, Wads '95, Kingston, Canada, August 16 - 18, 1995. Proceedings 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 Pnueli, Amir, Manna, Zohar

Android Epistemology by

Computation and Intelligence: Collected Readings 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

The Advanced Texbook by Salomon, David

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

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

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

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

Qualification for Computer-Integrated Manufacturing by

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

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 Motwani, Rajeev, Raghavan, Prabhakar

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

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

Classical Mechanics with Maple by Greene, Ronald L.

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

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

Inis: Fibre User's Manual by International Atomic Energy Agency

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

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

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

The Tsql2 Temporal Query Language by

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

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

Mathematical Models for Handling Partial Knowledge in Artificial Intelligence by

Parallel Language and Compiler Research in Japan by

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

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

Information System Concepts: Towards a Consolidation of Views by

Simulation of Semiconductor Devices and Processes: Volume 6 by

Future Directions of Fuzzy Theory and Systems by

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

Gisi 95: Herausforderungen Eines Globalen Informationsverbundes Für Die Informatik 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

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.

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

Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performanc 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

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

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

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

Executive Guide to Preventing Information Technology Disasters by Ennals, Richard

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

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

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

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

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

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

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

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

High-Level System Modeling: Specification Languages by

Symbolic Analysis for Parallelizing Compilers by Haghighat, Mohammad R.

Visual Database Systems 3: Visual Information Management by

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

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

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

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

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

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

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

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

Industrial Applications of Fuzzy Technology in the World by

CompuServe Roadmap by Connally, Runnoe

Neural Logic Networks: A New Class of Neural Networks by Teh, Hoon-Heng

AI '95 - Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence by

Expertmedia: Expert Systems and Hypermedia by

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

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

The Cyborg Handbook by Gray, Chris

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

Algorithmic Learning Theory: 6th International Workshop, Alt '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings 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

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

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

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

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

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

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

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

Information Systems and Data Management: 6th International Conference, Cismod '95, Bombay, India, November 15-17, 1995. 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 Massen, Robert, Nickolay, Bertram, Jähne, Bernd

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

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

Low Power Design Methodologies by

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

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

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

Modern Methods of Speech Processing by

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

Parallel Algorithms for Irregular Problems: State of the Art by

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

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

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

Fuzzy Logic for the Applications to Complex Systems - Proceedings of the International Joint Conference of Cfsa/Ifis/Soft '95 on Fuzzy Theory and Appl by

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

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

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

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

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

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

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

Integrity Primitives for Secure Information Systems: Final Ripe Report of Race Integrity Primitives Evaluation 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, The Diebold Institute for Public Policy, Diebold Institute for Public Policy Stud

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

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