General Computers in 1993

Parallel Programming Systems - Proceedings of a Jsps Seminar by

Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, Usa, June 21-25, 1993. Proceedings by

Parle '93 Parallel Architectures and Languages Europe: 5th International Parle Conference, Munich, Germany, June 14-17, 1993. Proceedings by

Advances in Spatial Databases: Third International Symposium, Ssd '93, Singapore, June 23-25, 1993. Proceedings by

Simulation Validation by Knepell, Peter L., Arangno, Deborah C.

Advanced Educational Technologies for Mathematics and Science by

Robots and Biological Systems: Towards a New Bionics?: Proceedings of the NATO Advanced Workshop on Robots and Biological Systems, Held at II Ciocco, by

Supercomputer '93: Anwendungen, Architekturen, Trends Seminar, Mannheim, 24.-26. Juni 1993 by

Fuzzy Logic in Artificial Intelligence: 8th Austrian Artificial Intelligence Conference, Flai'93, Linz, Austria, June 28-30, 1993. Proceedings by

Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings by

Simulating Humans: Computer Graphics Animation and Control by Phillips, Cary B., Badler, Norman I., Webber, Bonnie Lynn

Advances in Databases: 11th British National Conference on Databases, Bncod 11, Keele, Uk, July 7-9, 1993. Proceedings by

Automata, Languages and Programming: 20th International Colloquium, Icalp 93, Lund, Sweden, July 5-9, 1993. Proceedings by

The Structure of Intelligence: A New Mathematical Model of Mind by Goertzel, Ben

Neuroscience: From Neural Networks to Artificial Intelligence: Proceedings of a U.S.-Mexico Seminar Held in the City of Xalapa in the State of Veracru by

Word Equations and Related Topics: Second International Workshop, Iwwert '91, Rouen, France, October 7-9, 1991. Proceedings by

Information Und Kommunikation: Zur Menschengerechten Technikgestaltung by Kornwachs, Klaus

Ipmu'92 - Advanced Methods in Artificial Intelligence: 4th International Conference on Information Processing and Management of Uncertainty in Knowled by

Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings by

CAD for Control Systems by Linkens, Derek A.

Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings by

The Dynamics of the Computer Industry: Modeling the Supply of Workstations and Their Components by Touma, Walid Rachid

Wavelet Theory and Application: A Special Issue of the Journal of Mathematical Imaging and Vision by

Guaranteed Accuracy in Numerical Linear Algebra by Kiriljuk, O. P., Godunov, S. K., Antonov, A. G.

Introduction to VLSI Process Engineering by

Multistrategy Learning: A Special Issue of Machine Learning by

Algorithms for Synthesis and Testing of Asynchronous Circuits by Sangiovanni-Vincentelli, Alberto L., Lavagno, Luciano

Interactive Computer Systems by Alber, Antone F., Alber, A. F.

Application-Driven Architecture Synthesis by

VHDL '92: The New Features of the VHDL Hardware Description Language by Fonkoua, Alain, Maginot, Serge, Berge, Jean-Michel

Image Representation and Processing: A Recursive Approach by Alexandrov, V. V., Gorsky, Aleksandrov, V. V.

Parallel Algorithm Derivation and Program Transformation by

Hot-Carrier Reliability of Mos VLSI Circuits by Leblebici, Yusuf, Sung-Mo (Steve) Kang

UNIX: Einstieg Für Dos-Anwender by Reepmeyer, Jan-Arnim, Taudes, Alfred

Robot Learning by

The Graph Isomorphism Problem: Its Structural Complexity by Toran, J., Kobler, J., Schöning, U.

Technik Und Konstruktionshandeln: Eine Sozialwissenschaftliche Studie Zum Sozialen Prozeß Der Technik by Helten, Frank

Computereinsatz in Der Angewandten Linguistik: Konstruktion Und Weiterverarbeitung Sprachlicher Korpora by

Complexity in Numerical Optimization by Pardalos P M

Logic and Algebra of Specification by

Adaptive User Interfaces: Principles and Practice Volume 10 by

Interfaces to Database Systems (Ids92): Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1-3 July 1992 by

Essays on Control: Perspectives in the Theory and Its Applications by

Conceptual Graphs for Knowledge Representation: First International Conference on Conceptual Structures, Iccs'93, Quebec City, Canada, August 4-7, 199 by

The New Turing Omnibus: Sixty-Six Excursions in Computer Science by Dewdney, A. K.

Network and Operating System Support for Digital Audio and Video: Third International Workshop, La Jolla, California, Usa, November 12-13, 1992. Proce by

Advances in Shannon's Sampling Theory by Zayed, Ahmed I.

Artificial Life: A Report from the Frontier Where Computers Meet Biology by Levy, Steven

International Trade in Computer Software by Furchtgott-Roth, Harold W., Siwek, Stephen E.

Persistente Objektsysteme: Integrierte Datenbankentwicklung Und Programmerstellung by Matthes, Florian

Cognitive Models and Intelligent Environments for Learning Programming by

Computer Simulation and Computer Algebra: Lectures for Beginners by Stauffer, Dietrich, Hehl, Friedrich W., Ito, Nobuyasu

Logidata+: Deductive Databases with Complex Objects by

The Logic of Information Structures by Wansing, Heinrich

Resolution Methods for the Decision Problem by Tammet, Tanel, Fermüller, C., Leitsch, A.

Computation and Neural Systems by

Maximum Entropy and Bayesian Methods by

Fuzzy Logic: State of the Art by

The Functional Treatment of Parsing by Leermakers, René

Technology CAD -- Computer Simulation of IC Processes and Devices by Dutton, Robert W., Zhiping Yu

Proceedings of the Third European Conference on Computer-Supported Cooperative Work 13-17 September 1993, Milan, Italy Ecscw '93 by

Integrated Distributed Intelligent Systems in Manufacturing by Cha, Jianzhong, Rao, M., Qun Wang

From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory Part 1 by Reyle, U., Kamp, Hans

From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory by Reyle, U., Kamp, Hans

Bifurcations and Periodic Orbits of Vector Fields by

Finite and Infinite Combinatorics in Sets and Logic by

Multiprocessing by Naik, Vijay K.

Symbolic Model Checking by McMillan, Kenneth L.

Effective Polynomial Computation by Zippel, R. E.

A Programmer's View of Computer Architecture: With Assembly Language Examples from the MIPS RISC Architecture by Goodman, James, Miller, Karen

Tuerkisch-Deutsch: Morphosyntaktische Untersuchungen Mit Pll (Programming Language for Linguistics) Und Ein Modell Zur Maschinellen Uebersetzung by Cobanoglu, Kemal

Computer Graphics and Applications - Proceedings of the First Pacific Conference on Computer Graphics and Applications, Pacific Graphics '93 by

Fundamentals of Computation Theory: 9th International Conference, Fct '93, Szeged, Hungary, August 23-27, 1993. Proceedings by

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations by

A Course in Computational Algebraic Number Theory by Cohen, Henri

Funktionaler Entwurf Digitaler Schaltungen: Methoden Und Cad-Techniken by Eschermann, Bernhard

Comprehensive Systems Design: A New Educational Technology: Proceedings of the NATO Advanced Research Workshop on Comprehensive Systems Design: A New by

Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers by

Analog Electronics with Op Amps: A Source Book of Practical Circuits by Peyton/Walsh, Peyton, A. J.

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993. Proceedings by

Concur'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings by

Mathematical Foundations of Computer Science 1993: 18th International Symposium, Mfcs'93, Gdańsk, Poland, August 30-September 3, 1993 Proceedings by

Medienwelten: Schein Und Wirklichkeit in Bild Und Ton by Reetze, Jan

Database and Expert Systems Applications: 4th International Conference, Dexa'93, Prague, Czech Republic, September 6-8, 1993. Proceedings by

Knowledge Acquisition for Knowledge-Based Systems: 7th European Workshop, Ekaw'93, Toulouse and Caylus, France, September 6-10, 1993. Proceedings by

Semantics and the Lexicon by

AI and Cognitive Science '92: University of Limerick, 10-11 September 1992 by

Geometric Reasoning for Perception and Action: Workshop. Grenoble, France, September 16-17, 1991. Selected Papers by

Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping: Second International Workshop on Field-Programmable Logic and Applicati by

Verification and Validation of Complex Systems: Human Factors Issues by

Berechenbarkeit: Rekursive Und Programmierbare Funktionen by Felscher, Walter

Rechnerarchitektur by Giloi, Wolfgang K.

Ray Shooting, Depth Orders and Hidden Surface Removal by Berg, Mark De

Logistik Und CIM: Die Effiziente Material- Und Informationsflußgestaltung Im Industrieunternehmen by Becker, Jörg, Rosemann, Michael

Workgroup Computing -- Computergestützte Teamarbeit: Informationstechnologische Unterstützung Für Teambasierte Organisationsformen by Petrovic, Otto

Ultra-Wideband Coherent Optical LANs by

Analysis and Synthesis of Mos Translinear Circuits by Wiegerink, Remco J.

Fuzzy Decision Procedures with Binary Relations: Towards a Unified Theory by Kitainik, Leonid

A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems by Klein, Mark, Ralya, Thomas, Pollak, Bill

Semantics and the Lexicon by

The Testability of Distributed Real-Time Systems by Schütz, Werner

Human Computer Interaction by Grechenig, Thomas, Tscheligi, Manfred, Vchci '93

Photoshop 2.5 Designers Guide with Disk by Gardner, Wayde

An International Bibliography of Computer-Assisted Language Learning with Annotations in German: Volume II by Jung, Udo O. H., Lieber, Gothild

Ai'93 by C. Rowles, N. Liu Foo

Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '93, Gmunden, Austria, September 15-17, 1993. Proceedings by Miola, Alfonso

Spatial Information Theory: A Theoretical Basis for GIS: A Theoretical Basis for Gis. European Conference, Cosit'93, Marciana Marina, Elba Island, Ita by

Reduce: Ein Kompaktkurs Über Die Anwendung Von Computer-Algebra by Hehl, Friedrich W., Winkelmann, Volker, Meyer, Hartmut

Analoge Systeme: Grundlagen by Wunsch, Gerhard, Schreiber, Helmut

Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings by

Messung, Modellierung Und Bewertung Von Rechen- Und Kommunikationssystemen: 7. Itg/Gi-Fachtagung, Aachen, 21.-23. September 1993 by

Distributed Algorithms: 7th International Workshop, Wdag `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings by

Grundlagen Und Anwendungen Der Künstlichen Intelligenz: 17. Fachtagung Für Künstliche Intelligenz Humboldt-Universität Zu Berlin 13.-16. September 199 by

Informatik -- Wirtschaft -- Gesellschaft: 23. GI -- Jahrestagung, Dresden, 27. September - 1. Oktober 1993 by

Theoretische Physik: Ein Kurzlehrbuch Und Repetitorium by Stauffer, Dietrich

Complexité Et Décidabilité by Dehornoy, Patrick

Performance Evaluation of Computer and Communication Systems by

Human Computer Interaction: Vienna Conference, Vchci '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings by

Mustererkennung 1993: Mustererkennung Im Dienste Der Gesundheit 15. Dagm-Symposium Lübeck, 27.-29. September 1993 by

Werkstattinformationssysteme by

Algorithms - ESA '93: First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings by

Progress in Artificial Intelligence: 6th Portuguese Conference on Ai, Epia `93, Porto, Portugal, October 6-8, 1993. Proceedings by

The Promise of Neural Networks by Taylor, J. G.

Icann '93: Proceedings of the International Conference on Artificial Neural Networks Amsterdam, the Netherlands 13-16 September 1993 by

Parallel Computation: Second International Acpc Conference, Gmunden, Austria, October 4-6, 1993. Proceedings by

The Computer - My Life by Zuse, Konrad

Foundations of Data Organization and Algorithms: 4th International Conference, Fodo '93, Chicago, Illinois, Usa, October 13-15, 1993. Proceedings by

Principles of Peptide Synthesis by Bodanszky, Miklos

Data Fusion Applications: Workshop Proceedings Brussels, November 25, 1992 by

Advances in Cryptology - Auscrypt '92: Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December by

Informatik ALS Schlüssel Zur Qualifikation: Gi-Fachtagung "Informatik Und Schule 1993" Koblenz, 11.-13. Oktober 1993 by

Advanced Educational Technology in Technology Education by

Topics in Applied Mechanics: Integration of Theory and Applications in Applied Mechanics by

BICMOS Technology and Applications by

A Guide to VHDL by Mazor, Stanley, Langstraat, Patricia

The Finite Element Method in Structural Mechanics: Principles and Practice of Design of Field-Consistent Elements for Structural and Solid Mechanics by Prathap, Gangan

Fundamentals and Standards in Hardware Description Languages by

Computational Kinematics by

Design and Decision Support Systems in Architecture by

Betriebliche Telefon- Und Isdn-Anlagen Rechtsgemäß Gestaltet by Roßnagel, Alexander, Pordesch, Ulrich, Hammer, Volker

Proceedings of the International Workshop on Applications of Neural Networks to Telecommunications by

The Computer in the United States: From Laboratory to Market, 1930-60 by Cortada, James W.

Neural Networks for Knowledge Representation and Inference by

Artificial Intelligence and the Sociology of Knowledge: Prolegomena to an Integrated Philosophy of Science by Kertész, András

Neural Networks: From Biology to High Energy Physics - Proceedings of the 2nd Workshop by

Goal-Based Decision Making: An Interpersonal Model by Slade, Stephen

Theoretische Grundlagen Der Informatik by Cap, Clemens H.

Juristische Expertensysteme: Methodische Grundlagen Ihrer Entwicklung by Jandach, Thomas

Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, Ai*ia `93, Torino, Italy, October 26-28, 1 by

Hybrid Systems by

Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings by

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding by

Europäischer Informatik Kongreß Architektur Von Rechensystemen Euro-Arch '93: München, 18.-19.Oktober 1993 by

Solid Freeform Manufacturing: Advanced Rapid Prototyping Volume 19 by Kochan, D.

Produktionswirtschaft - Controlling Industrieller Produktion: Band 3/1: Personal. Anlagen by

Eurocode '92: International Symposium on Coding Theory and Applications by

Advances in Cryptology - Asiacrypt '91: International Conference on the Theory and Application of Cryptology, Fujiyoshida, Japan, November 11-14, 1991 by

Prozeßinformatik: Automatisierung Mit Rechensystemen Einführung Mit Petrinetzen. Für Elektrotechniker Und Informatiker, Maschinenbauer Und Physiker Na by Schnieder, Eckehard

Algorithmic Learning Theory - Alt '92: Third Workshop, Alt '92, Tokyo, Japan, October 20-22, 1992. Proceedings by

Artificial Perception and Music Recognition by Tanguiane, Andranick S.

Algorithmic Learning Theory: 4th International Workshop, Alt '93, Tokyo, Japan, November 8-10, 1993. Proceedings by

Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference Ecsqaru '93, Granada, Spain, November 8-10, 1993. Proceedings by

Experimental Robotics II: The 2nd International Symposium, Toulouse, France, June 25-27 1991 by

Process Control Engineering by Rao, A. Ramachandro

Fraktale Wolken, Virtuelle Flammen: Computer-Emulation Und Visualisierung Turbulenter Gasbewegung by Sakas, Georgios

Safecomp '93: The 12th International Conference on Computer Safety, Reliability and Security by

Produktionswirtschaft - Controlling Industrieller Produktion: Band 3 Zweiter Teilband Informationssystem by

Advances in Cryptology -- Crypto '92: 12th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 16-20, 1992. Proceedings by

The Generic Development Language Deva by Weber, Matthias, Simons, Martin, LaFontaine, Christine

Computer Security and Industrial Cryptography: State of the Art and Evolution. Esat Course, Leuven, Belgium, May 21-23, 1991 by

Rendering, Visualization and Rasterization Hardware by

Aeroassisted Orbital Transfer: Guidance and Control Strategies by Naidu, D. Subbaram

Representing Uncertain Knowledge: An Artificial Intelligence Approach by Krause, Paul, Clark, Dominic

Robot Calibration by

Classroom Dynamics: Implementing a Technology-Based Learning Environment by Cline, Hugh F., Mandinach, Ellen B.

Investitionsguetermarketing Fuer CIM-Systeme: Unter Besonderer Beruecksichtigung Von Integrationsdeterminanten by Richter, Michael M.

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach by Ehrig, Hartmut, Claβen, Ingo, Wolz, Dietmav

Advances on Computer Mathematics and Its Applications by

Algorithmic Aspects of VLSI Layout (V2) by Sarrafzadeh M

Rechnerentwurf: Rechenwerke, Mikroprogrammierung, RISC by Hoffmann, Rolf

Deterministic Chaos in Infinite Quantum Systems by Benatti, Fabio

Program Design Calculi by

Learning Electricity and Electronics with Advanced Educational Technology by

Nonmonotonic Logic: Context-Dependent Reasoning by Truszczynski, Miroslaw, Marek, V. Wiktor

Tex: Starting from 1 by Doob, Michael

Human-Computer Interaction: Third International Conference, Ewhci '93, Moscow, Russia, August 3-7, 1993. Selected Papers by

Information and Knowledge Management: Expanding the Definition of "Database": Expanding the Definition of Database. First International Conference, Ci by

Automated and Algorithmic Debugging: First International Workshop, Aadebug '93, Linköping, Sweden, May 3-5, 1993. Proceedings by

Intelligent Perceptual Systems: New Directions in Computational Perception by

Managing with Information Technology by

Higher Order Logic and Hardware Verification by Melham, Thomas F., Melham, T. F.

Pearl 93: Workshop Über Realzeitsysteme Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 2./3. Dezember 1993 by

Interactive Speech Technology: Human Factors Issues In The Application Of Speech Input/Output To Computers by

Conceptual Structures: Theory and Implementation: 7th Annual Workshop, Las Cruces, Nm, Usa, July 8-10, 1992. Proceedings by

Building Problem Solvers by De Kleer, Johan, Forbus, Kenneth D.

Design of Hashing Algorithms by Pieprzyk, Josef, Sadeghiyan, Babak

Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings by

Towards Dynamic Randomized Algorithms in Computational Geometry by Teillaud, Monique

Numerical Modelling of Eddy Currents by Krawczyk, Andrzej, Tegopoulos, John A.