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

Developing Educational Hypermedia: Coordination and Reuse by Rada, Roy, Rada, R.

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

Datenschutz in Medizinischen Informationssystemen by Blobel, Bernd

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

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

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

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

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

Änderbarkeit Durch Objektorientierung by Wiegert, Oliver

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

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

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

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

Foundation Discrete Mathematics for Computing by Booth, Dexter J.

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

Worldwide Intelligent Systems by

Chaos and Society by

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

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

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

What Is a Logical System? by

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

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

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

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

Formal Development of Reactive Systems: Case Study Production Cell by

Tools, Language and Cognition in Human Evolution by Gibson, K.

Parallel Computing by Fountain, T. J.

Lotosphere: Software Development with Lotos by

Quality of Communication-Based Systems by

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

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 Smith, Ronnie W.

Features and Fluents: The Representation of Knowledge about Dynamical Systems Volume 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

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

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

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

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

Designing User Interfaces for Hypermedia by

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

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

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

Formal Semantics for VHDL by

Integrating Information Technology Into Education 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.

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

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

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

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 Heise, Werner, Quattrocchi, Pasquale

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.

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

Evolution and Biocomputation: Computational Models of Evolution by

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

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

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

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

Informationssysteme Der Unternehmensführung by Vetschera, Rudolf

Groupware Und Computergestützte Zusammenarbeit: Wirkungsbereiche Und Potentiale by

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

Algorithms and Parallel VLSI Architectures III by

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

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

Models of Neural Networks: Temporal Aspects of Coding and Information Processing in Biological Systems 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

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

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

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

Type-Theoretical Grammar by Ranta, Aarne

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

Architekturmodelle Zur Planung Der Informationsverarbeitung Von Kreditinstituten by Schmalzl, Joachim

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

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

Environmental Informatics: Methodology and Applications of Environmental Information Processing by

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

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

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

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

Objektorientierte Entwicklung Betrieblicher Informationssysteme by Schreiber, Dirk

Asynchronous Digital Circuit Design by

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

Object Recognition Through Invariant Indexing by Rothwell, Charles A.

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

Finite Geometry and Character Theory by Pott, Alexander

Mathematics in Industrial Problems: Part 7 by Friedman, Avner

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

Building in Big Brother: The Cryptographic Policy Debate by

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

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

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

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

Object Oriented Techniques in Telecommunications by

Modeling in Analog Design by

Model Generation in Electronic Design by

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

Photodiode Amplifiers: Op Amp Solutions 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 Strobel, Stefan, Uhl, Thomas

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 Sharir, M., Sharir, Micha, Agarwal, Pankaj K.

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

Kleines Lexikon der Informatik by

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

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

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

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

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

Information Security - The Next Decade by

Computational Algebra and Number Theory by

Semigroups, Formal Languages and Groups by

Computer Applications in Production Engineering by

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

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

Virtual Environments and Advanced Interface Design by

Simulation Von Produktionssystemen by Gregor, Milan, Kosturiak, Jan

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

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

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

Interactive Media by Rada, Roy

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

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

Data Structures: Form and Function by Smith, Harry F., Jr.

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, Kanellakopoulos, Ioannis, Kokotovic, Petar V.

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

Constraint Processing: Selected Papers by

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

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

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

Computers and Exploratory Learning by

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

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

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

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

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

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

Design Issues Optical Processi by

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

Hybrid Intelligent Systems by Medsker, Larry R.

Fast Simulation of Computer Architectures by

Neural Network Applications in Control by

Imprecise and Approximate Computation by

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

Human-Computer Interaction: Interact '95 by

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

Critical Issues in Systems Theory and Practice by

Advances in Stochastic Modelling and Data Analysis by

Fuzzy Set Theory and Advanced Mathematical Applications 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