General Computers in 1995

Parallel Computing by Lafferty, Eduard L.

Reliability of Software Intensive Systems by Tran, Phuong Y., Friedman, Michael A., Goddard, Peter I.

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems by Craigen, Dan, Gerhart, Susan

Future Libraries: Dreams, Madness and Reality by Crawford, Walt

Corporate Networks Und Neue Techniken: Proceedings Des Telekom-Anwender-Kongress '94 by Telak Gmbh, Na

Legal Knowledge Engineering - A Modelling Approach by Valente, A.

Worldwide Intelligent Systems by

Chaos and Society by

Verläßliche It-Systeme: Proceedings Der Gi-Fachtagung VIS '95 by

Automatische Spracherkennung: Grundlagen, Statistische Modelle Und Effiziente Algorithmen by Schukat-Talamazzini, Ernst Günter

Client/Server: Technologie Und Realisierung Im Unternehmen by Thienen

Geschäftsprozeßoptimierung Mit Sap-R/3: Modellierung, Steuerung Und Management Betriebswirtschaftlich-Integrierter Geschäftsprozesse by Wenzel, Paul

Vererbung Für Systementwickler: Grundlagen Und Anwendungen by Kunz, Jürgen

Die Persönliche Informationsverarbeitung: Wie Sie Den PC Zur Eigenen Lebensgestaltung Nutzen Können by Dähne, Norbert

Datenschutz in Medizinischen Informationssystemen by Blobel, Bernd

Änderbarkeit Durch Objektorientierung by Wiegert, Oliver

SQL: Eine Praxisorientierte Einführung by Fritze, Jörg, Marsch, Jürgen

Modellierung Verteilter Systeme: Konzeption, Formale Spezifikation Und Verifikation Mit Produktnetzen by Ochsenschläger, Peter

Recherchieren Und Publizieren Im World Wide Web: Mit Vollständiger Html-Referenz Inkl. Version 3.0 by Ramm, Frederik

Parallel Methods for VLSI Layout Design by Ravikumar, C. P.

Developing Educational Hypermedia: Coordination and Reuse by Rada, Roy

Foundation Discrete Mathematics for Computing by Booth, Dexter J.

Führungsinformationssysteme: Neue Entwicklungstendenzen Im Edv-Gestützten Berichtswesen by

The Mind, The Brain And Complex Adaptive Systems by Morowitz, Harold J., Singer, Jerome L.

Database Theory - Icdt '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings by

The First Generation of Electronic Records Archivists in the United States: A Study in Professionalization by Cox, Richard

Information and Communication Technologies in Tourism: Proceedings of the International Conference in Innsbruck, Austria, 1995 by

The Dictionary of Computer Graphics and Virtual Reality by Latham, Roy

Oois'94: 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London by

Graph Drawing: Dimacs International Workshop, GD '94, Princeton, New Jersey, Usa, October 10 - 12, 1994. Proceedings by

Collegium Logicum by Loparo, Kenneth A.

Understanding Images: Finding Meaning in Digital Imagery by

Systemtheorie: Methoden Und Anwendungen Für Ein- Und Mehrdimensionale Systeme by Marko, Hans

Wirtschaftsinformatik '95: Wettbewerbsfahigkeit, Innovation, Wirtschaftlichkeit by

Analysis of Dynamical and Cognitive Systems: Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings by

Towards a Cscw Framework for Scientific Cooperation in Europe by Lubich, Hannes P.

Formal Development of Reactive Systems: Case Study Production Cell by

Languages and Compilers for Parallel Computing: 7th International Workshop, Ithaca, Ny, Usa, August 8 - 10, 1994. Proceedings by

Intelligent Agents: Ecai-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8 - 9, 1994. Proc by

What Is a Logical System? by

Tools, Language and Cognition in Human Evolution by Gibson, Kathleen R., Ingold, Tim

Quality of Communication-Based Systems by

Analysis and Evaluation of Fuzzy Systems by Ishikawa, Akira, Wilson, Terry L.

Lotosphere: Software Development with Lotos by

Approximation and Computation: A Festschrift in Honor of Walter Gautschi: Proceedings of the Purdue Conference, December 2-5, 1993 by

Backpropagation: Theory, Architectures, and Applications by

Spoken Natural Language Dialog Systems: A Practical Approach by Hipp, D. Richard, Smith, Ronnie W.

Features and Fluents: The Representation of Knowledge about Dynamical Systemsvolume 1 by Sandewall, Erik

Kommunikation in Verteilten Systemen: Neue Länder -- Neue Netze -- Neue Dienste. Gi/Itg-Fachtagung Chemnitz-Zwickau, 22.-24. Februar 1995 by

Stacs 95: 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings by

Designing User Interfaces for Hypermedia by

Informatiker in Der Wirtschaft: Perspektiven Eines Berufs by Hartmann, Michael

Translator's Workbench: Tools and Terminology for Translation and Text Processing by

Managers Divided: Organisation Politics and Information Technology Management by Knights, David, Murray, Fergus

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings by

Computational Learning Theory: Second European Conference, Eurocolt '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings by

Asynchronous Circuits by Brzozowski, Janusz A., Seger, Carl-Johan H.

People and Computers by Draper, Stephen, Weir, George R. S., Cockton, Gilbert

Multimedia and Hypertext: The Internet and Beyond by Nielsen, Jakob

Artificial Intelligence in Industrial Decision Making, Control and Automation by Tzafestas, S. G.

Neural Information Processing and VLSI by Joongho Choi, Sheu, Bing J.

Formal Semantics for VHDL by

Computations with Markov Chains: Proceedings of the 2nd International Workshop on the Numerical Solution of Markov Chains by

The Impact of Emerging Technologies on Computer Science and Operations Research by

Computer Supported Risk Management by

Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems by Dorf, Richard C., Oldfield, John V.

Integrating Information Technology Into Education by

The Book of Traces by

Der Produktionsbetrieb 2: Produktion, Produktionssicherung by Warnecke, Hans-Jürgen

Informations- Und Codierungstheorie: Mathematische Grundlagen Der Daten-Kompression Und -Sicherung in Diskreten Kommunikationssystemen by Quattrocchi, Pasquale, Heise, Werner

Fuzzy Logic: Einführung in Theorie Und Anwendungen by Bothe, Hans-Heinrich

Der Turing Omnibus: Eine Reise Durch Die Informatik Mit 66 Stationen by Dewdney, A. K.

Evolution and Biocomputation: Computational Models of Evolution by

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28 by

Reduktionssysteme: Rechnen Und Schließen in Gleichungsdefinierten Strukturen by Avenhaus, Jürgen

Machine Translation and the Lexicon: Third International Eamt Workshop, Heidelberg, Germany, April 26-28, 1993. Proceedings by

Foundational Issues in Artificial Intelligence and Cognitive Science: Impasse and Solution Volume 109 by Terveen, L., Bickhard, Mark H.

Labtutor: A Friendly Guide to Computer Interfacing and LabVIEW Programming by Eaton, Laura, Eaton, John K.

Informationssysteme Der Unternehmensführung by Vetschera, Rudolf

Software Engineering and Human-Computer Interaction: Icse '94 Workshop on Se-Hci: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings by

Edv-Einsatz in Krankenanstalten by

Groupware Und Computergestützte Zusammenarbeit: Wirkungsbereiche Und Potentiale by

Algorithms and Parallel VLSI Architectures III by

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, by

Graph-Theoretic Concepts in Computer Science: 20th International Workshop. Wg '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings by

Models of Neural Networks: Temporal Aspects of Coding and Information Processing in Biological Systems by

Computer Vision, Virtual Reality and Robotics in Medicine: First International Conference, Cvrmed '95, Nice, France, April 3 - 6, 1995. Proceedings by

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-Sur-Seine, France, May 16 - 20, 1994. Selected Papers by

Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings by

Automating Instructional Design: Computer-Based Development and Delivery Tools by

Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings by

English for the Computer: The Susanne Corpus and Analytic Scheme by Sampson, Geoffrey

Type-Theoretical Grammar by Ranta, Aarne

Architekturmodelle Zur Planung Der Informationsverarbeitung Von Kreditinstituten by Schmalzl, Joachim

The Encyclopedia of Integer Sequences by Sloane, N. J. a., Plouffe, Simon

Real-Time Computer Vision by

Intelligent Systems Third Golden West International Conference: Edited and Selected Papers by

Learning Without Boundaries: Technology to Support Distance/Distributed Learning by

Variational Inequalities and Network Equilibrium Problems by

Frequency Compensation Techniques for Low-Power Operational Amplifiers by Huijsing, Johan, Eschauzier, Rudy G. H.

Environmental Informatics: Methodology and Applications of Environmental Information Processing by

Datenbank-Engineering Für Wirtschaftsinformatiker: Eine Praxisorientierte Einführung by Hald, Anton, Nevermann, Wolf

Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Alès, France, 1995 by Pearson, David W., Steele, Nigel C., Albrecht, Rudolf F.

Machine Learning: Ecml-95: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings by

Finite Geometry and Character Theory by Pott, Alexander

Objektorientierte Entwicklung Betrieblicher Informationssysteme by Schreiber, Dirk

Asynchronous Digital Circuit Design by

Limits to Parallel Computation: P-Completeness Theory by Greenlaw, Raymond, Ruzzo, Walter L.

Object Recognition Through Invariant Indexing by Rothwell, Charles A.

Mathematics in Industrial Problems: Part 7 by Friedman, Avner

Building in Big Brother: The Cryptographic Policy Debate by

Direkte Und Indirekte Wirkungen Rechnerunterstützter Fertigungssysteme: Formalisierte Netzstrukturen Zur Darstellung Und Analyse Der Unternehmung by Reuter, Bärbel

The Web Empowerment Book: An Introduction and Connection Guide to the Internet and the World-Wide Web by Jas, Frank, Russell, Willard, Abraham, Ralph

Monte Carlo Modeling for Electron Microscopy and Microanalysis by Joy, David C.

Fiber Optic Smart Structures by

Cce: An Integration Platform for Distributed Manufacturing Applications: A Survey of Advanced Computing Technologies by

Digital Libraries: Current Issues: Digital Libraries Workshop, DL '94, Newark, Nj, Usa, May 19- 20, 1994. Selected Papers by

Brainmakers: How Scientists Moving Beyond Computers Create Rival to Humn Brain by Freedman, David H.

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th Compass Workshop, S. Margherita, It by

Theory and Practice of Parallel Programming: International Workshop Tppp '94, Sendai, Japan, November 7-9, 1994. Proceedings by

Neural Computation and Psychology: Proceedings of the 3rd Neural Computation and Psychology Workshop (Ncpw3), Stirling, Scotland, 31 August - 2 Septem by

Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course by

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, by

Model Generation in Electronic Design by

Modeling in Analog Design by

Object Oriented Techniques in Telecommunications by

Towards Very Large Knowledge Bases: Knowledge Building & Knowledge Sharing 1995 by

Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding by

Scheduling and Load Balancing in Parallel and Distributed Systems by

Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. T by

Linux Vom PC Zur Workstation: Grundlagen, Installation Und Praktischer Einsatz by Uhl, Thomas, Strobel, Stefan

Advances in Cryptology - Eurocrypt '95: International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21 by

Integer Programming and Combinatorial Optimization: 4th International Ipco Conference, Copenhagen, Denmark, May 29 - 31, 1995. Proceedings by

Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings by

Fuzziness in Database Management Systems by

From Natural to Artificial Neural Computation: International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7 - 9, 1995 Proc by

Advances in Artificial Life: Third European Conference on Artificial Life, Granada, Spain, June 4 - 6, 1995 Proceedings by

Microprocessors and Microcomputer-Based System Design by Rafiquzzaman, Mohamed

Dialogue and Instruction: Modelling Interaction in Intelligent Tutoring Systems by Reiner, M.

Davenport Schinzel Sequences and Their Geometric Applications by Agarwal, Pankaj K., Sharir, M., Sharir, Micha

Die Flexiblen Und Die Perfekten: Nordamerikanische Und Deutsche Produktentwicklung -- Ein Praktischer Vergleich by Sendler, Ulrich

Advanced Information Systems Engineering: 7th International Conference, Caise '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings by

Kleines Lexikon der Informatik by

Digital Timing Macromodeling for VLSI Design Verification by Overhauser, David V., Kong, Jeong-Taek

Quantifiers: Logics, Models and Computation: Volume Two: Contributions by

Computer Applications in Production Engineering by

Semigroups, Formal Languages and Groups by

Information Security - The Next Decade by

Quantifiers: Logics, Models and Computation: Volume One: Surveys by

Computational Algebra and Number Theory by

The Designer's Guide to Spice and Spectre(r) by Kundert, Ken

Who Is Who in Multimedia: In Deutschland, Österreich Und Der Schweiz by Reinhard, Ulrike

Image Processing for Broadcast and Video Production: Proceedings of the European Workshop on Combined Real and Synthetic Image Processing for Broadcas by

Simulation Von Produktionssystemen by Kosturiak, Jan, Gregor, Milan

Virtual Environments and Advanced Interface Design by

Workflow-Management in Verteilten Systemen: Entwurf Und Betrieb Geregelter Arbeitsteiliger Anwendungssysteme by

Artificial Neural Networks: An Introduction to Ann Theory and Practice by

Interactive Media by Rada, Roy

Intelligent Control: Fuzzy Logic Applications by de Silva, Clarence W.

Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings by

Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95, Lexington, Ky, Usa, June 26 - 28, 1995. Proceedings by

Structured Assembler Language for IBM Microcomputers by Kindred, Alton R.

Microprocessor-Based System Design by Comer, David J.

The Analysis of Algorithsm by Brown, Cynthia A., Purdom, Paul Walton, Jr.

Data Structures: Form and Function by

The Pattern Book: Fractals, Art and Nature by

Probability, Stochastic Processes, and Queueing Theory: The Mathematics of Computer Performance Modeling by Nelson, Randolph

Artificial Intelligence in Medicine: 5th Conference on Artificial Intelligence in Medicine Europe, Aime '95, Pavia, Italy, June 25 - 28, 1995. Proceed by

Nonlinear and Adaptive Control Design by Krstic, Miroslav, Kokotovic, Petar V., Kanellakopoulos, Ioannis

Handbook of Logic in Computer Science: Volume 3: Semantic Structures by

Handbook of Logic in Computer Science: Volume 4: Semantic Modelling by

Curve and Surface Fitting with Splines by Dierckx, Paul

Mosaic(tm) for Windows(r): A Hands-On Configuration and Set-Up Guide to Popular Web Browsers by Raucci, Richard

Non-Monotonic Extensions of Logic Programming: Iclp '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers by

Constraint Processing: Selected Papers by

Computers and Exploratory Learning by

A Mathematical Theory of Hints: An Approach to the Dempster-Shafer Theory of Evidence by Kohlas, Juerg, Monney, Paul-Andre

Neutrabas: A Neutral Product Definition Database for Large Multifunctional Systems by

Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings by

Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings by

Elementary Linear Programming with Applications by Beck, Robert E., Kolman, Bernard

Advances in Intelligent Computing - Ipmu '94: 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based by

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, Ecsqaru '95, Fribourg, Switzerland, July 3-5, 1995. Proceeding by

Advances in Databases: 13th British National Conference on Databases, Bncod 13, Manchester, United Kingdom, July 12 - 14, 1995. Proceedings by

Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings by

Neural Network Applications in Control by

Imprecise and Approximate Computation by

Introduction to Discrete-Time Signals and Systems by Damper, R. I.

Fuzzy Set Theory and Advanced Mathematical Applications by

Low Power Digital CMOS Design by Brodersen, Robert W., Chandrakasan, Anantha P.

Low-Power Digital VLSI Design: Circuits and Systems by Bellaouar, Abdellatif, Elmasry, Mohamed

Hybrid Intelligent Systems by Medsker, Larry R.

Fast Simulation of Computer Architectures by

Advances in Stochastic Modelling and Data Analysis by

Critical Issues in Systems Theory and Practice by

Human-Computer Interaction: Interact '95 by

Design Issues Optical Processi 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