General Computers in 1994

Genetic Algorithms in Optimisation, Simulation and Modelling by

IV Dictionary: Konzepte Zur Verwaltung Der Betrieblichen Metadaten by Eicker, Stefan

Treading Different Paths: Information in Asian Nations by Wang, Georgette

Copyright Software Protection in the EC: Copyright Software Protection in Ec, Vol 12 by Meijboom, Alfred P., Jongen, H. D. J.

Simulation-Based Experiential Learning by

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

Sicherheitsschnittstellen - Konzepte, Anwendungen Und Einsatzbeispiele: Proceedings Des Workshops Security Application Programming Interfaces '94 Am 1 by Reitenspiess, Manfred, Meister, Gisela, Fumy, Walter

Potenzen, Wurzeln, Logarithmen by Borgwadt, Heidemarie

Sicherheitsrisiko Informationstechnik: Analysen, Empfehlungen, Maßnahmen in Staat Und Wirtschaft by

Dynamic Modeling by Ruth, Matthias, Hannon, Bruce

Simulation ALS Betriebliche Entscheidungshilfe by

Numerical Simulation in Science and Engineering: Proceedings of the Fortwihr Symposium on High Performance Scientific Computing, München, June 17-18, by

Informations- Und Wissensverarbeitung in Den Sozialwissenschaften: Beiträge Zur Umsetzung Neuer Informationstechnologien by

Neuronale Netze Und Fuzzy-Systeme: Grundlagen Des Konnektionismus, Neuronaler Fuzzy-Systeme Und Der Kopplung Mit Wissensbasierten Methoden by Nauck, Detlef D.

Online-Recherche Neue Wege Zum Wissen Der Welt: Eine Praktische Anleitung Zur Effizienten Nutzung Von Online-Datenbanken by Horvath, Peter

Information Verstehen: Facetten Eines Neuen Zugangs Zur Welt by Völz, Horst

SPSS Für Windows: Datenanalyse Unter Windows by Kähler, Wolf-Michael

Load Distribution: Implementation for the Mach Microkernel by Milojičic, Dejan

Fahrerlose Transportsysteme: Automatische Bahnplanung in Dynamischen Umgebungen by Gutsche, Ralf

Informlex: Lexikon Für Abkürzungen Und Metaphern in Informatik Und Umfeld by Sydow

Interaktive Systeme: Software-Entwicklung Und Software-Ergonomie by Stary, Christian

Aomatic Parallelization by

Mathematik Mit Dem PC: Der Effektive Einsatz Von Computeralgebra-Programmen in Schule, Studium Und PRAXIS by Benker, Hans

Unternehmensweite Kommunikationsnetze by Oppliger, Rolf, Stüssi, Philipp J.

Theorie Und PRAXIS Relationaler Datenbanken: Eine Grundlegende Einführung Für Studenten Und Datenbankentwickler by Steiner, René

Methoden Verteilter Simulation by Mehl, Horst

Einführung Von Cscw-Systemen in Organisationen: Tagungsband Der D-Cscw' 94 by Hasenkamp, Ulrich

Roboter Mit Tastsinn by Müller, Matthias

Echtzeitsysteme Und Fuzzy Control: Konzepte, Werkzeuge, Anwendungen by

Professionelle Softwaretests: PRAXIS Der Qualitätsoptimierung Kommerzieller Software by Alper, Marcel

Funktionen by Borgwadt, Heidemarie

Rechnerarchitektur: Analyse, Entwurf, Implementierung, Bewertung by Patterson, David A., Hennessy, John L.

Regelungstechnik Und Simulation: Ein Arbeitsbuch Mit Visualisierungssoftware by Makarov, Anatoli

Software-Wiederverwendung: Konzeption Einer Domänenorientierten Architektur by Küffmann, Karin

Quantum Mechanics on the Macintosh(r) by Brandt, Siegmund, Dahmen, Hans Dieter

Differentialrechnung by Borgwadt, Heidemarie

Business Communication: Concepts and Applications in an Electronic Age by Hudson, Randolph H.

Information and Communications Technologies in Tourism: Proceedings of the International Conference in Innsbruck, Austria, 1994 by

Dynamic Motion: Chaotic and Stochastic Behaviour by

Information Modeling: The Express Way by Schenck, Douglas A.

Software by Design: Shaping Technology and the Workplace by Salzman, Harold, Rosenthal, Stephen R.

Datenmodellierung Mit Deduktiven Techniken by Neumann, Gustaf

The Spice Book by Vladimirescu, Andrei

Computability: A Mathematical Sketchbook by Bridges, Douglas S.

Computer Vision: Craft, Engineering, and Science: Workshop Proceedings, Killarney, Ireland, September 9/10, 1991 by

Automatische Spracherkennung by

Mikrorechnertechnik by Weber, Heinrich

Modern Logic: A Text in Elementary Symbolic Logic by Forbes, Graeme

Gates: How Microsoft's Mogul Reinvented an Industry--And Made Himself the Richest Man in America by Manes, Stephen

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday by

Interaktive Fuzzy Optimierung: Entwicklung Eines Entscheidungsunterstützungssystems by Brunner, Johannes

Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-La by

The Dynamics of Concepts by Loocke, Philip R. Van

Languages and Compilers for Parallel Computing: 6th International Workshop, Portland, Oregon, Usa, August 12 - 14, 1993. Proceedings by

Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation by Wagner, Gerd

Advances in Cryptology - Eurocrypt '93: Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23-27, 1993 Proceeding by

3d-CAD: Die Produktivität Der Neuen Systemgeneration by Sendler, Ulrich

DV-Unterstützung Beim Planen Und Einführen Von CIM-Lösungen by Schüle, Hubert

Computer Aided Systems Theory - Eurocast '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas by

Beyond Technology's Promise by Giacquinta, Joseph B., Bauer, Jo Anne, Levin, Jane E.

Beyond Technology's Promise: An Examination of Children's Educational Computing at Home by Giacquinta, Joseph B., Levin, Jane E., Bauer, Jo Anne

Verbmobil: A Translation System for Face-To-Face Dialog by Kay, Martin, Gawron, Mark, Norvig, Peter

VLSI Design Methodologies for Digital Signal Processing Architectures by

Analog Device-Level Layout Automation by Rutenbar, Rob A., Cohn, John M., Garrod, David J.

Field-Programmable Gate Array Technology by

Analog Circuit Design: Mixed A/D Circuit Design, Sensor Interface Circuits and Communication Circuits by

Modeling and Simulation of High Speed VLSI Interconnects: A Special Issue of Analog Integrated Circuits and Signal Processing an International Journal by

Distributed and Parallel Database Object Management by

Universal Algebra, Algebraic Logic, and Databases by Plotkin, B.

A Formal Approach to Hardware Design by Staunstrup, Jørgen

Analog-To-Digital and Digital-To-Analog Converters by Plassche, Rudy J. Van De, Van de Plassche, Rudy J.

Breitbandkommunikation Im Computergestützten Publizieren: Das Bilus-Projekt Und Seine Ergebnisse by Sandkuhl, Kurt

Decision-Analytic Intelligent Systems: Automated Explanation and Knowledge Acquisition by Klein, David A.

The MIPS Programmer's Handbook by Bunce, Philip J., Farquhar, Erin

The MIDI Companion: Complete Guide to Using Midi Synthesizers, Samplers, Sound Cards, Sequencers, Computers and More by Rona, Jeff

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science by Sigal, Ron, Weyuker, Elaine J., Davis, Martin

Machine Learning: A Multistrategy Approach, Volume IV by

Stacs 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings by

Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, Uk, 8-10 February 1994 by

Algorithms and Complexity: Second Italian Conference, Ciac '94, Rome, Italy, February 23 - 25, 1994. Proceedings by

Robotics in Alpe-Adria Region: Proceedings of the 2nd International Workshop (Raa '93), June 1993, Krems, Austria by

Management and Processing of Complex Data Structures: Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 by

Informatik Im Maschinenbau by Kutscha, Sebastian

Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings by

Database Programming Languages (Dbpl-4): Proceedings of the Fourth International Workshop on Database Programming Languages -- Object Models and Langu by

NMR Techniques in Catalysis by Bell, Alexis T.

Information and the Internal Structure of the Universe: An Exploration Into Information Physics by Stonier, Tom

Systems Design with the Mc68020, Mc68030, Mc68040 32-Bit Microprocessors by Noor, Asghar, Noor, Ashgar I.

Music Education: An Artificial Intelligence Approach: Proceedings of a Workshop Held as Part of Ai-Ed 93, World Conference on Artificial Intelligence by

Advances in Cryptology -- Crypto '93: 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22-26, 1993 Proceedings by

The Newton-Cauchy Framework: A Unified Approach to Unconstrained Nonlinear Minimization by Nazareth, John L.

Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives by

Fuzzy Reasoning in Information, Decision and Control Systems by

Reliability and Safety Assessment of Dynamic Process Systems by

Fuzzy Multiple Objective Decision Making: Methods and Applications by Lai, Young-Jou, Hwang, Ching-Lai

Circuit Synthesis with VHDL by Bergé, Jean-Michel, Airiau, Roland, Olive, Vincent

Representing Plans Under Uncertainty by Haddawy, Peter

Neural Network Simulation Environments by

Universal Compression and Retrieval by Krichevsky, R.

Shape in Picture: Mathematical Description of Shape in Grey-Level Images by

Concrete Mathematics: A Foundation for Computer Science by Knuth, Donald, Graham, Ronald, Patashnik, Oren

Languages and Compilers for Parallel Computing: 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings by

Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives by Banatre, Michel, Lee, P. A.

Mobile Communications - Advanced Systems and Components: 1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, by

100 Rezepte Für Excel 5.0: Tips Mit Pfiff Für Einsteiger, Umsteiger Und Fortgeschrittene by

Informations-Systeme Für Das Controlling: Konzepte, Methoden Und Instrumente Zur Gestaltung Von Controlling-Informations-Systemen by

Kryptologie: Methoden Und Maximen by Bauer, Friedrich L.

The Art of Prolog, second edition: Advanced Programming Techniques by Sterling, Leon S., Shapiro, Ehud Y.

Programmverifikation: Sequentielle, Parallele Und Verteilte Programme by Olderog, Ernst-Rüdiger, Apt, Krzysztof R.

Machine Learning: Ecml-94: European Conference on Machine Learning, Catania, Italy, April 6-8, 1994. Proceedings by

Rules in Database Systems: Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August-1 September by

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings by

Trees in Algebra and Programming - Caap '94: 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings by

Automation Based Creative Design - Research and Perspectives by

Modeling Techniques for Uncertain Systems: Proceedings of a Conference Held in Sopron, Hungary, July 1992 by

Konzepte Des Informationssystem-Managements by Brenner, Walter

Informatik: Grundlagen Mit Einer Einführung in Pascal by Roller, Dieter

Student Modelling: The Key to Individualized Knowledge-Based Instruction by

The Muse in the Machine: Computerizing the Poetry of Human Thought by Gelernter, David

Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings by

Design of Work and Development of Personnel in Advanced Manufacturing by

Development Effectiveness: Strategies for Is Organizational Transition by Merlyn, Vaughan, Parkinson, John, Ernst & Young Llp

Information and Collaboration Models of Integration by

Physical Design for Multichip Modules by Sriram, Mysore, Sung-Mo (Steve) Kang

An Analog VLSI System for Stereoscopic Vision by Mahowald, Misha

Interior Point Approach to Linear, Quadratic and Convex Programming: Algorithms and Complexity by Den Hertog, D.

Cellular Automata, Dynamical Systems and Neural Networks by

The Roots of Backpropagation: From Ordered Derivatives to Neural Networks and Political Forecasting by Werbos, Paul John

From Statistical Physics to Statistical Inference and Back by

Pyramidal Architectures for Computer Vision by Ferretti, Marco, Cantoni, V., Cantoni, Virginio

Computer - Neue Flügel des Geistes? by Mainzer, Klaus

Political Gender: Texts & Contexts by Spencer, Jane, Ledger, Sally, McDonagh, Josephine

Bildverstehen by Pinz, Axel

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Netwo by

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Appli by

Multimedia '94: Grundlagen Und PRAXIS Heidelberg, 17./18./19. April 1994 by

Mechanical Theorem Proving in Geometries: Basic Principles by Wu, Wen-Tsün

Fuzzy Logic: The Revolutionary Computer Technology That Is Changing Our World by McNeill, Daniel

Computer Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 2 by

Computer Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1 by

Computer Performance Evaluation: Modelling Techniques and Tools: Modelling Techniques and Tools. 7th International Conference, Vienna, Austria, May 3 by

Virtual Reality '94: Anwendungen & Trends by

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning by Gabbay, Dov M., Robinson, J. a., Hogger, C. J.

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings by

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes de Malavell by

Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings by

Information Theory and Applications: Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings by

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies by Gabbay, Dov M., Robinson, J. a., Hogger, C. J.

Substructural Logics by Schroeder-Heister, Dosen, Dosen, Kosta, Schroeder-Heister, P.

The Cult of Information: A Neo-Luddite Treatise on High-Tech, Artificial Intelligence, and the True Art of Thinking by Roszak, Theodore

Practical SGML by Van Herwijnen, Eric

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis by Brayton, Robert K., Lam, William K. C.

Basic Concepts in Information Theory and Coding: The Adventures of Secret Agent 00111 by Scholtz, Robert a., Golomb, Solomon W., Peile, Robert E.

Loop Parallelization by Banerjee, Utpal

R & D Collaboration on Trial: Realizing Value from the Corporate Image by Gibson, David V.

Information Theory and Applications: Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings by Gulliver, T. Aaron, Secord, Norman P., Canadian Workshop on Information Theory

Prostitution in Great Britain, 1485-1901: An Annotated Bibliography by Nash, Stanley D.

Parallel and Distributed Computing: Theory and Practice: Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Pro by

Finite Automata, Formal Logic, and Circuit Complexity by Straubing, Howard

Entwicklung Von Anwendungssystemen: Grundzüge Eines Werkzeuggestützten Vorgehens by Schüle, Hubert, Schumann, Ulrike, Schumann, Matthias

Latex Zum Loslegen: Ein Soforthelfer Für Den Alltag by Dietsche, Luzia, Lammarsch, Joachim

Combinatorial Pattern Matching: Fifth Annual Symposium, CPM '94, Asilomar, Ca, Usa, June 5 - 8, 1994. Proceedings by

Computation and Reasoning - A Type Theory for Computer Science by Zhaohui Luo

Analog-To-Digital and Digital-To-Analog Conversion Techniques by Hoeschele, David F.

Spread Spectrum Systems with Commercial Applications by Dixon, Robert C.

Multimedia/Hypermedia in Open Distributed Environments: Proceedings of the Eurographics Symposium in Graz, Austria, June 6-9, 1994 by

Fm8501: A Verified Microprocessor by Hunt, Warren A. Jr.

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, La, Usa, April 7 - 10, 1993. Proceedings by

Icann '94: Proceedings of the International Conference on Artificial Neural Networks Sorrento, Italy, 26-29 May 1994 Volume 1, Pa by

Advanced Information Systems Engineering: 6th International Conference, Caise '94, Utrecht, the Netherlands, June 6 - 10, 1994. Proceedings by

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings by

Graph-Theoretic Concepts in Computer Science: 19th International Workshop, Wg '93, Utrecht, the Netherlands, June 16 - 18, 1993. Proceedings by

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers by

Cognitive Science: The Science of Intelligent Systems by Johnson, Peder, Stern, Carl, Luger, George F.

Qualitative Reasoning: Modeling and the Generation of Behavior by Werthner, Hannes

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings by

Tex/Latex Und Graphik: Ein Überblick Über Die Verfahren by Sowa, Friedhelm

Parallele Datenverarbeitung Mit Dem Transputer: 5. Transputer-Anwender-Treffen Tat '93, Aachen, 20.-22. September 1993 by

Neutral Interfaces in Design, Simulation, and Programming for Robotics by

Gallium Arsenide Technology in Europe by

Selecting Models from Data: Artificial Intelligence and Statistics IV by

Algorithms for Continuous Optimization: The State of the Art by

Scheduling Theory Single-Stage Systems by Gordon, W., Shafransky, Yakov M., Tanaev, V.

Scheduling Theory. Single-Stage Systems by Shafransky, Yakov M., Tanaev, V., Gordon, W.

The Interaction of Compilation Technology and Computer Architecture by

Advances in Optimization and Approximation by

Parallel Evolution of Parallel Processors by Lerman, G., Rudolph, L., Lerman, Gil

Information Services for Innovative Organizations by

Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings by

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994. Proceedings by

Mathematical Modelling and Simulation of Electrical Circuits and Semiconductor Devices: Proceedings of a Conference Held at the Mathematisches Forschu by

Modeling, Analysis and Control of Dynamic Elastic Multi-Link Structures by Lagnese, J., Leugering, Gunter, Schmidt, E. J. P. G.

Applications of Databases: First International Conference, Adb-94, Vadstena, Sweden, June 21 - 23, 1994. Proceedings by

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

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

Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 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