Programming in 1997

Dynamische Module: Eine Verwaltung Für Maschinencode-Objekte Zur Steigerung Der Effizienz Und Flexibilität Von Computeralgebra-Systemen by

SPSS Für Windows: Eine Einführung in Die Datenanalyse Für Die Aktuellen Versionen by Kähler, Wolf-Michael

Pattern Recognition of Images and Speech in C++ by Paulus, Dietrich

Object-Oriented Programming a Unified Foundation by Castagna, Giuseppe

Programming with GNU Software: Tools from Cygnus Support [With CDROM] by Oram, Andy, Loukides, Mike

Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers by

Windows Assembly Language and Systems Programming: 16- and 32-Bit Low-Level Programming for the PC and Windows by Kauler, Barry

Logic for Applications by Nerode, Anil, Shore, Richard A.

Software Agents and Soft Computing: Towards Enhancing Machine Intelligence: Concepts and Applications by

Intelligent Agents III. Agent Theories, Architectures, and Languages: Ecai'96 Workshop (Atal), Budapest, Hungary, August 12-13, 1996, Proceedings by

Communication and Architectural Support for Network-Based Parallel Computing: First International Workshop, Canpc'97, San Antonio, Texas, Usa, Februar by

Objects and Systems: Principled Design with Implementations in C++ and Java by Zeigler, Bernard P.

Metamathematics, Machines and Gödel's Proof by Shankar, N.

Semantics and Logics of Computation by

Software Verification and Validation: A by Rakitin, Steven R.

Quality of Numerical Software: Assessment and Enhancement by

Parallel Numerical Algorithms by

Elements of Hypermedia Design: Techniques for Navigation & Visualization in Cyberspace by Gloor, Peter

Safer Systems: Proceedings of the Fifth Safety-Critical Systems Symposium, Brighton 1997 by

Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, Wg '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings by

Essential Java Fast: How to Write Object Oriented Software for the Internet by Cowell, John

Fuzzy-Methoden: Praxisrelevante Rechenmodelle Und Fuzzy-Programmiersprachen by Biewer, Benno

Computerizing Large Integrated Health Networks: The Va Success by

C for Yourself: Learning C Using Experiments by Halpern, Richard P.

Stacs 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceed by

Modular Programming Languages: Joint Modular Languages Conference, Jmlc'97 Linz, Austria, March 19-21, 1997, Proceedings by

Handbook of Graph Grammars and Computing by Graph Transformation, Vol 1: Foundations by

Lebendige Virtuelle Welten: Physikalisch-Basierte Modelle in Computeranimation Und Virtueller Realität by Dai, Fan

Advances in Algorithms, Languages, and Complexity by

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application by

Cvrmed-Mrcas'97: First Joint Conference, Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-As by

Evolution of Parallel Cellular Machines: The Cellular Programming Approach by Sipper, Moshe

Hybrid and Real-Time Systems: International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings by

Intelligent Agent Systems: Theoretical and Practical Issues: Theoretical and Practical Issues. Based on a Workshop Held at Pricai '96, Cairns, Austral by

Computer Science Logo Style, second edition, Volume 1: Symbolic Computing by Harvey, Brian

Shell-Programmierung ... Im Alleingang: Die Korn-Shell in Der Praxis by Termöllen, Peter

Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996, Proceedings by

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 19 by

Übersetzerbau: Theorie, Konstruktion, Generierung by Maurer, Dieter

Software Requirements Engineering 2e Rev by

Creating Personalities for Synthetic Actors: Towards Autonomous Personality Agents by

Betriebliche Informationssysteme: Grundlagen Und Werkzeuge Der Methodischen Softwareentwicklung by Fähnrich, Klaus-Peter, Bullinger, Hans-Jörg

Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings by

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, by

Simplified Design of Data Converters by Lenk, John

Advances in the Design of Symbolic Computation Systems by

Networks and Systems Management: Platforms Analysis and Evaluation by Ghetie, Iosif G.

ADA 95 by Wheeler, David A.

Numerical Methods and Software Tools in Industrial Mathematics by

Modern Software Tools for Scientific Computing by

Evolutionary Programming VI: 6th International Conference, Ep 97, Indianapolis, Indiana, Usa, April 13-16, 1997, Proceedings by

Tapsoft'97: Theory and Practice of Software Development: 7th International Joint Conference Caap/Fase, Lille, France, April 14-18, 1997, Proceedings by

Buying and Selling Multimedia Services by Souter, Gerry

Knowledge-Based Image Processing Systems by Graham, Deryn, Barrett, Anthony

sed & awk: UNIX Power Tools by Dougherty, Dale, Robbins, Arnold

Non-Monotonic Extensions of Logic Programming: Second International Workshop Nmelp '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers by

Programmieren Mit OpenGL: 3d-Grafik Und Bildverarbeitung by Claussen, Ute

Machine Learning: Ecml'97: 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings by

Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems by Brezany, Peter

New Trends in Formal Languages: Control, Cooperation, and Combinatorics by

Handbook of Formal Languages: Volume 1. Word, Language, Grammar by Rozenberg, G.

Multimedia Database in Perspective by

Objektorientierte Softwareentwicklung Mit SmallTalk by Vinek, Günther

Life Cycle Management for Dependability by

Foundations of Inductive Logic Programming by Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald De

STL for C++ Programmers by Ammeraal, Leen

Semantics of Parallelism: Non-Interleaving Representation of Behaviour by Shields, Michael W.

A Theory of Computer Semiotics by Andersen, Peter Bøgh

Business Object Design and Implementation: OOPSLA '95 Workshop Proceedings 16 October 1995, Austin, Texas by

Graphisch-Interaktive Strömungsvisualisierung by Frühauf, Thomas

Distributed Artificial Intelligence Meets Machine Learning Learning in Multi-Agent Environments: Ecai'96 Workshop Ldais, Budapest, Hungary, August 13, by

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed by

VLSI Planarization: Methods, Models, Implementation by Levin, A. G., Rabinovich, E. B., Feinberg, V. Z.

Models in System Design by

Handbook for Evaluating Knowledge-Based Systems: Conceptual Framework and Compendium of Methods by Riedel, Sharon L., Adelman, Leonard

Reliability, Quality and Safety of Software-Intensive Systems: Ifip Tc5 Wg5.4 3rd International Conference on Reliability, Quality and Safety of Softw by Gritzalis, Dimitris

Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems by

Automata and Computability by Kozen, Dexter C.

Multi-Agent Rationality: 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw'97, Ronneby, Sweden, May 13-16, 19 by

Software Configuration Management: Icse'97 Scm-7 Workshop, Boston, Ma, Usa, May 18-19, 1997 Proceedings by

Requirements Engineering: A Good Practice Guide by Sommerville, Ian, Sawyer, Pete

On Concurrent Programming by Schneider, Fred B.

Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts by

Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings by

Entwurf Und Simulation Industrieller Steuerungen Für Den PC Und Die Sps: Eine Einführung Für Informatiker Und Automatisierungstechniker by Feindt, Ernst-Guenther

OpenVMS Operating System Concepts by Miller, David

Evolutionary Algorithms in Engineering Applications by

Intelligence in Services and Networks: Technology for Cooperative Competition: Fourth International Conference on Intelligence in Services and Network by

Computer Performance Evaluation Modelling Techniques and Tools: 9th International Conference, St. Malo, France, June 3-6, 1997 Proceedings by

Information Processing in Medical Imaging: 15th International Conference, Ipmi'97, Poultney, Vermont, Usa, June 9-13, 1997, Proceedings by

Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 199 by

The Definition of Standard ML, revised edition by Macqueen, David, Milner, Robin, Harper, Robert

Colormanagement: Konzepte, Begriffe, Systeme by Burger, Rudolph E.

Theories of Computability by Pippenger, Nicholas

Ecoop '97 - Object-Oriented Programming: 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings by

Practical Formal Methods for Hardware Design by

The F Language Guide by Gehrke, Wilhelm

Gaussian Scale-Space Theory by

Real-Time Database Systems: Issues and Applications by

ADA 95 Rationale: The Language - The Standard Libraries by

ADA 95 Reference Manual: Language and Standard Libraries: International Standard Iso/Iec 8652:1995 (E) by

Solving Irregularly Structured Problems in Parallel: 4th International Symposium, Irregular '97, Paderborn, Germany, June 12-13, 1997, Proceedings by

Advanced Information Systems Engineering: 9th International Conference, Caise'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings by

Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings by

M Programming: A Comprehensive Guide by Walters, Richard

Complexity Theory Retrospective II by

Prozeßmanagement: Modelle Und Methoden by Schmidt, Günter

Languages and Compilers for Parallel Computing: 9th International Workshop, Lcpc'96, San Jose, California, Usa, August 8-10, 1996, Proceedings by

Concur'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings by

Advances in Computers: Volume 44 by

SmallTalk and Object Orientation: An Introduction by Hunt, John

Maple V Für Das Ingenieurstudium by Krawietz, Arnold

Combinatorial Pattern Matching: 8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings by

Scale-Space Theory in Computer Vision: First International Conference, Scale-Space '97, Utrecht, the Netherlands, July 2 - 4, 1997, Proceedings by

Automata, Languages and Programming: 24th International Colloquium, Icalp'97, Bologna, Italy, July 7 - 11, 1997, Proceedings by

Software Engineering with Reusable Components by Sametinger, Johannes

Oberon-2 Programming with Windows [With Full Windwos Based Integrated Development] by Mühlbacher, Jörg R., Leisch, Bernhard, Kirk, Brian

Programming Language Concepts by Ghezzi, Carlo, Jazayeri, Mehdi

Graphische Datenverarbeitung 2 by Encarnação, José, Straßer, Wolfgang, Klein, Reinhard

Color Theory and Modeling for Computer Graphics, Visualization, and Multimedia Applications by Levkowitz, Haim

Real-Time Search for Learning Autonomous Agents by Ishida, Toru

Human Face Recognition Using Third-Order Synthetic Neural Networks by Uwechue, Okechukwu A., Pandya, Abhijit S.

Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications by Liem, Clifford

Fuzzy Evolutionary Computation by

Visual Communication: An Information Theory Approach by Rahman, Zia-Ur, Huck, Friedrich O., Fales, Carl L.

Applying Case-Based Reasoning: Techniques for Enterprise Systems by Watson, Ian

Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, Lpnmr'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings by

Implementation of Functional Languages: 8th International Workshop, Ifl'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers by

A Theory and Practice of Program Development by Andrews, Derek J.

The Art of Computer Programming: Fundamental Algorithms, Volume 1 by Knuth, Donald

Developing Java Beans by Englander, Robert

Fortgeschrittene Techniken und Design Patterns by Klöppel, Bert, Dapper, Thomas, Dietrich, Karsten

Additive Cellular Automata: Theory and Applications, Volume 1 by Chowdhury, Dipanwita Roy, Nandi, Sukumar, Chaudhuri, Parimal Pal

Konzept zur Einführung von objektorientierter Analyse und Design in der Anwendungsentwicklung by Kellner, Stefan

Unterstützung Der Objektorientierten Systemanalyse Durch Softwaremaße: Entwicklung Eines Meßbasierten Modellierungsratgebers by Baumann, Kathrin

Rendering Techniques '97: Proceedings of the Eurographics Workshop in St. Etienne, France, June 16-18, 1997 by

Algorithms and Data Structures: 5th International Workshop, Wads '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings by

Worldwide Computing and Its Applications: International Conference, Wwca '97, Tsukuba, Japan, March 10-11, 1997 Proceedings. by

Information Flow: The Logic of Distributed Systems by Barwise, Jon, Whatley

Computing and Combinatorics: Third Annual International Conference, Cocoon '97, Shanghai, China, August 20-22, 1997. Proceedings. by

Analog and Mixed-Signal Hardware Description Language by

Algorithimic Languages and Calculi by Meerkens, Lambert, Bird, Richard

Vhdl: A Logic Synthesis Approach by Jones, S., Naylor, D.

Basic Simple Type Theory by Hindley, J. Roger

Simplified Design of Voltage/Frequency Converters by Lenk, John D.

Productive Objects: An Applied Software Project Management Framework by Muller, Robert J.

Data Warehousing in Action by Kelly, Sean

Learning VBScript [With *] by Lomax, Paul

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction by Müller-Olm, Markus

Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 1997, Proceedings by

Parallel Computing Technologies: 4th International Conference, Pact-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings by

Fundamentals of Computation Theory: 11th International Symposium, Fct '97, Krakow, Poland, September 1-3, 1997. Proceedings by

Essential Visual Basic 5.0 Fast: Includes ActiveX Control Development by Cowell, John

Coordination Languages and Models: Second International Conference, Coordination'97, Berlin, Germany, September 1-3, 1997, Proceedings by

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, Mfcs'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings by

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, Plilp '97, Including a Special Track on Declarative Program by

Euro-Par'97 Parallel Processing: Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings by

Computer Animation and Simulation '97: Proceedings of the Eurographics Workshop in Budapest, Hungary, September 2-3, 1997 by

Category Theory and Computer Science: 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings by

Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings by

Paralleles Rechnen by Huber, Walter

Logic of Computation by

Research and Advanced Technology for Digital Libraries: First European Conference, Ecdl '97 Pisa, Italy, September 1-3, 1997 Proceedings by

Stand und Entwicklungstendenzen der Integration von Informationssystemen in Bankbetrieben by Kowalik, Adam-Christian

Gestaltung flexibler Prozesse im Unternehmen mit Groupware und Workflow-Management-Systemen by Hörmann, Andreas

Entwurf, Entwicklung und Implementierung eines datenbankbasierten Informationssystems zur Unterstützung des Benchmarking-Prozesses in der keramischen by Fröhlich, Dirk

Entscheidungsgrundlage für eine EDIFACT-Einführung durch den Einsatz des Subsets EANCOM by Gemein, Maurice

Computer Analysis of Images and Patterns: 7th International Conference, Caip '97, Kiel, Germany, September 10-12, 1997. Proceedings. by

Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings by

Algorithms - ESA '97: 5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings by

Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings by

Adobe Photoshop Für Durchstarter by Stercken-Sorrenti, Guido, Welsch, Norbert

Document Imaging: Computer Meets Press by Schönhut, Jürgen

Image Analysis and Processing: 9th International Conference, Iciap'97, Florence, Italy, September 17-19, 1997, Proceedings, Volume 1 by

Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, S by

Inductive Logic Programming: 6th International Workshop, Ilp-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers by

Inductive Logic Programming: 7th International Workshop, Ilp-97, Prague, Czech Republic, September 17-20, 1997, Proceedings by

Practical C Programming: Why Does 2+2 = 5986? by Oualline, Steve

Software Engineering - Esec-Fse '97: 6th European Software Engineering Conference Held Jointly with the 5th ACM Sigsoft Symposium on the Foundations o by

Software Engineering by Pagel, Bernd-Uwe, Six, Hans-Werner, Kösters, Georg

Die CORBA-Technologie: Eine leistungsfähige Basis für die Entwicklung integrierter Informationssysteme unter Verwendung wiederverwendbarer "G by Bartz, Wolfgang

Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security by

Vorlesungen Über Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen by Goos, Gerhard

Constraint-Programmierung: Grundlagen Und Anwendungen by Abdennadher, Slim, Frühwirth, Thom

Visualization in Scientific Computing '97: Proceedings of the Eurographics Workshop in Boulogne-Sur-Mer France, April 28-30, 1997 by

Experiences in Software Evolution and Reuse: Twelve Real World Projects by Paci, Maddali, Hallsteinsen, Svein

Mathematica TM Pour Classes Préparatoires Et Deug Scientifiques: Tome 1: Programme Commun Aux 1eres Et 2emes Années Des Classes de Mpsi, Pcsi, Mp, Pc, by Zizi, Jacqueline

Formal Foundations for Software Engineering Methods by Hußmann, Heinrich

Entwicklung eines Leitfadens zur systematischen Anbindung von SAP-R/2 / ADABAS an SIRON/E unter MVS anhand ausgesuchter Dateien by Wildensee, Christoph

Safety-Critical Real-Time Systems by

Image Structure by Florack, Luc

Engineering Intelligent Hybrid Multi-Agent Systems by Khosla, Rajiv

Semantic Networks for Understanding Scenes by Sagerer, Gerhard, Niemann, Heinrich

Readings in Agents by

Understanding UML: The Developer's Guide by Watson, Mark

Geometric Modeling: Theory and Practice: The State of the Art by

Fortran 95 Handbook: Complete Iso/Ansi Reference by Martin, Jeanne T., Adams, Jeanne C., Brainerd, Walter S.

Der Informatiker im Jahr 2000: Eine Zukunftsprognose für Computerberufe in Deutschland by Gerke, Axel

Logic Programming: The 1997 International Symposium by

Die Programmiersprache F by Gehrke, Wilhelm