General Computers in 1994

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

Potenzen, Wurzeln, Logarithmen by Borgwadt, Heidemarie

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

Dynamic Modeling by Hannon, Bruce, Ruth, Matthias

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

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

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

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 Dahmen, Hans Dieter, Brandt, Siegmund

Differentialrechnung by Borgwadt, Heidemarie

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

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

Simulation-Based Experiential Learning by

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

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

Business Communication: Concepts and Applications in an Electronic Age by

Frontiers of Supercomputing II: A National Reassessment Volume 13 by

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

Proceedings of the Seventh International Symposium on High-Level Synthesis: May 18-20, 1994, Niagara-On-The-Lake, Ontario, Canada by

Advances in Pattern Recognition Systems Using Neural Network by

Between Mind and Computer: Fuzzy Science and Engineering by

Recent Trends in Mobile Robots by

Dynamic Motion: Chaotic and Stochastic Behaviour by

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

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

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

Datenmodellierung Mit Deduktiven Techniken by Neumann, Gustaf

Computability: A Mathematical Sketchbook by Bridges, Douglas S.

The Spice Book by Vladimirescu, Andrei

Mikrorechnertechnik by Weber, Heinrich

Automatische Spracherkennung by

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

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

Gates by Andrews, Paul, Manes, Stephen

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

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

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

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

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

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

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

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

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

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

Distributed and Parallel Database Object Management by

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.

Modeling and Simulation of High Speed VLSI Interconnects: A Special Issue of Analog Integrated Circuits and Signal Processing an International Journal 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

Field-Programmable Gate Array Technology by

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

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

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

Adaptive Reasoning for Real-world Problems: A Schema-based Approach by Turner, Roy

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

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

Claris Draw Designers Guide by Bernstein, Brett

Mastering MicroGrafX Designer 4.0 by Sybex, Fadiman, Clifton

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

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

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

NMR Techniques in Catalysis by Bell, Alexis T.

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

Fuzzy Reasoning in Information, Decision and Control 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

Neural Network Simulation Environments by

Universal Compression and Retrieval by Krichevsky, R.

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

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

Representing Plans Under Uncertainty by Haddawy, Peter

Reliability and Safety Assessment of Dynamic Process Systems by

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

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 Banatre, Michel, Lee, P. A.

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

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

Cooperation in Industrial Muti-Agent Systems by

Thinning Methodologies for Pattern Recognition by

Experimental Environments for Com..(V11) 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

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

Machine Learning: Ecml-94: European Conference on Machine Learning, Catania, Italy, April 6-8, 1994. Proceedings 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

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

Konzepte Des Informationssystem-Managements by Brenner, Walter

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

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

Information and Collaboration Models of Integration by

An Analog VLSI System for Stereoscopic Vision by Mahowald, Misha

Cellular Automata, Dynamical Systems and Neural Networks by

From Statistical Physics to Statistical Inference and Back by

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

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.

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

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

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

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

Software-Service: Servicepolitik Von Software-Herstellern by Deppe, Markus

Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems by

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

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

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

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 1 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

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

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

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

Substructural Logics by

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

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

Loop Parallelization by Banerjee, Utpal

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

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

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.

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

Inside Case-Based Explanation by

Client-Server Architekturen: Architekturmodelle Fuer Eine Neue Informationstechnische Infrastruktur by Schmitt, Hans-Jochen

Progress in Neural Networks, Volume Three by

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 Dietsche, Luzia, Lammarsch, Joachim

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

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

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

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

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

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

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

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

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

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

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

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

Selecting Models from Data: Artificial Intelligence and Statistics IV by

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

Gallium Arsenide Technology in Europe by

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

The Interaction of Compilation Technology and Computer Architecture by

Advances in Optimization and Approximation by

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

Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 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 Schmidt, E. J. P. G., Lagnese, J., Leugering, Gunter

Information Services for Innovative Organizations by

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

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

Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings by