General Computers in 1994

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

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

Genetic Algorithms in Optimisation, Simulation and Modelling by

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

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

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

Potenzen, Wurzeln, Logarithmen by Borgwadt, Heidemarie

Funktionen by Borgwadt, Heidemarie

Differentialrechnung by Borgwadt, Heidemarie

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

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

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

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

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

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

Simulation ALS Betriebliche Entscheidungshilfe by

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

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

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

Methoden Verteilter Simulation by Mehl, Horst

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

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

Roboter Mit Tastsinn by Müller, Matthias

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

Dynamic Modeling by Hannon, Bruce, Ruth, Matthias

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

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

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

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

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

Aomatic Parallelization by

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

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

Echtzeitsysteme Und Fuzzy Control: Konzepte, Werkzeuge, Anwendungen by

Business Communication: Concepts and Applications in an Electronic Age by

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

Dynamic Motion: Chaotic and Stochastic Behaviour by

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

Information Modeling: The Express Way by Schenck, Douglas A., Wilson, Peter 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

Mikrorechnertechnik by Weber, Heinrich

Automatische Spracherkennung by

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

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

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

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

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

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

The Dynamics of Concepts by Loocke, Philip R. Van

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

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

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

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

Distributed and Parallel Database Object Management by

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

Field-Programmable Gate Array Technology by

VLSI Design Methodologies for Digital Signal Processing Architectures by

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

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

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

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

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

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

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

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

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

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

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

Robotics in Alpe-Adria Region: Proceedings of the 2nd International Workshop (Raa '93), June 1993, Krems, Austria 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

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

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

NMR Techniques in Catalysis by Bell, Alexis T.

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

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

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

Neural Network Simulation Environments by

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

Universal Compression and Retrieval by Krichevsky, R.

Reliability and Safety Assessment of Dynamic Process Systems by

Fuzzy Reasoning in Information, Decision and Control Systems by

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

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

Representing Plans Under Uncertainty by Haddawy, Peter

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

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

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

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 Shapiro, Ehud Y., Sterling, Leon S.

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

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

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

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, 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

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

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

Konzepte Des Informationssystem-Managements by Brenner, Walter

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

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

Cellular Automata, Dynamical Systems and Neural Networks by

An Analog VLSI System for Stereoscopic Vision by Mahowald, Misha

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

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

Information and Collaboration Models of Integration by

From Statistical Physics to Statistical Inference and Back by

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

Design of Work and Development of Personnel in Advanced Manufacturing by

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

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

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

Bildverstehen by Pinz, Axel

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

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Netwo 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 1 by

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

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

Virtual Reality '94: Anwendungen & Trends by

Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 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

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 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 Robinson, J. a., Gabbay, Dov M.

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

Substructural Logics by

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

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

Practical SGML by Van Herwijnen, Eric

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

Loop Parallelization by Banerjee, Utpal

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

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

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

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

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

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 Luo, Zhaohui

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.

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

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

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

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

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

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

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

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

Selecting Models from Data: Artificial Intelligence and Statistics IV by

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

Gallium Arsenide Technology in Europe by

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

Algorithms for Continuous Optimization: The State of the Art by

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

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

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

Mathematical Modelling and Simulation of Electrical Circuits and Semiconductor Devices: Proceedings of a Conference Held at the Mathematisches Forschu 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

Information Services for Innovative Organizations by

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

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

Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 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

11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems: Sophia-Antipolis, June 15-16-17, 1994 by

Algorithm Theory - Swat '94: 4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings by

Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings by

Neuronale Netze by Kinnebrock, Werner

Orders, Algorithms and Applications: International Workshop Ordal '94, Lyon, France, July 4-8, 1994. Proceedings by