Programming in 1996

Cognitive Aspects of Electronic Text Processing by Van Oostendorp, Herre, Unknown

Cognitive Aspects of Electronic Text Processing by Van Oostendorp, Herre

Let's Program It... in True BASIC by Catlin, Avery

Advances in Inductive Logic Programming by

FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development by Villani, Pat

ADA in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 by

Beyond Programming: To a New Era of Design by Blum, Bruce I.

Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms by Back, Thomas, Bdck, Thomas, B?ck, Thomas

Writing Windows VxDs and Device Drivers by Hazzah, Karen

Memory Systems and Pipelined Processors by Cragon, Harvey G.

Agents Breaking Away: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw '96, Eindhoven, the Netherlands, J by

Intelligent Agents II: Agent Theories, Architectures, and Languages: Ijcai'95-Atal Workshop, Montreal, Canada, August 19-20, 1995 Proceedings by

Einführung in Graphische Fenstersysteme: Konzepte Und Reale Systeme by Klingert, Arnold

Constraint Databases and Applications: Esprit Wg Contessa Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings by

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem by

Recent Developments in Computer Vision: Second Asian Conference on Computer Vision, Accv `95, Singapore, December 5-8, 1995. Invited Session Papers by

Computer Aided Systems Theory - Eurocast '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, by

Languages and Compilers for Parallel Computing: 8th International Workshop, Columbus, Ohio, Usa, August 10-12, 1995. Proceedings by

Piton: A Mechanically Verified Assembly-Level Language by Moore, J. Strother

High-Level System Modeling: Specification and Design Methodologies by

Safety-Critical Systems: The Convergence of High Tech and Human Factors: Proceedings of the Fourth Safety-Critical Systems Symposium Leeds, UK 6-8 Feb by

Computer Software Applications in Chemistry by Jurs, Peter C.

Cache Coherence Problem by Tartalja, Igor, Milutinovic, Veljko

Broadband Communications: Networks, Services, Applications, Future Directions: 1996 International Zurich Seminar on Digital Communications Izs'96, Zur by

Image Technology: Advances in Image Processing, Multimedia and Machine Vision by

Interactive Distributed Multimedia Systems and Services: European Workshop, Idms'96, Berlin, Germany, March 4-6, 1996 Proceedings by

Adaptation and Learning in Multi-Agent Systems: Ijcai' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. by

Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science: Second International Workshop, Para '95, Lyngby, Denmark, Augu by

Object-Technologies for Advanced Software: Second Jssst International Symposium, Isotas '96, Kanazawa, Japan, March 11-15, 1996. Proceedings by

Hardware/Software Co-Design by

Tools and Environments for Parallel and Distributed Systems by

Multimedia Systems and Techniques by

Simplified Design of Switching Power Supplies by Lenk, John D.

Fme '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxfor by

Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings by

Theoretische Informatik: Eine Problemorientierte Einführung by Sperschneider, Volker, Hammer, Barbara

Modelling and Graphics in Science and Technology by

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. by

Teleservices and Multimedia Communications: Second Cost 237 International Workshop, Copenhagen, Denmark, November 20 - 22, 1995. Proceedings. by

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Pro by

Genetic Algorithms + Data Structures = Evolution Programs by Michalewicz, Zbigniew

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 by Jensen, Kurt

Object Oriented Computer Systems Engineering by Green, Peter, Morris, Derrick, Evans, David

Multimedia Database Systems: Design and Implementation Strategies by

Rapid Application Generation of Business and Finance Software by

Software Engineering for Parallel and Distributed Systems by

High-Speed Networking for Multimedia Applications by

Automatic Performance Prediction of Parallel Programs by Fahringer, Thomas

Signal Processing in Telecommunications: Proceedings of the 7th International Thyrrhenian Workshop on Digital Communications Viareggio, Italy, Septemb by

Control Flow Semantics by de Bakker, J. W., de Vink, Erik P.

Automatisierungstechnik: Theoretische Und Gerätetechnische Grundlagen, Sps by Reinhardt, Helmut

Coordination Languages and Models: First International Conference, Coordination '96, Cesena, Italy, April 15-17, 1996. Proceedings. by

Compiler Construction: 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. by

Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings by

Computer Vision - Eccv '96: Fourth European Conference on Computer Vision, Cambridge, Uk, April 14 -18, 1996. Proceedings, Volume I by

Computer Vision - Eccv '96: Fourth European Conference on Computer Vision, Cambridge, UK April 14-18, 1996. Proceedings, Volume II by

Prolog: The Standard: Reference Manual by Deransart, Pierre

Communication and Cooperation in Agent Systems: A Pragmatic Theory by

Artificial Evolution: European Conference, Ae '95, Brest, France, September 4 - 6, 1995. Selected Papers. by

Applications of Multi-Agent Systems: 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw '94, Odense, Denmark, August by

Hybrid Systems III: Verification and Control by

Parallel Symbolic Languages and Systems: International Workshop, Psls '95, Beaune, France, October (2-4), 1995. Proceedings by

Guide to Computer Viruses: How to Avoid Them, How to Get Rid of Them, and How to Get Help by Slade, Robert

Programming in Scheme: Learn Sheme Through Artificial Intelligence Programs by Watson, Mark

Formal Methods and Object Technology by

Multithreaded Processor Design by Moore, Simon W.

Multimedia Tools and Applications by

Fatal Defect: Chasing Killer Computer Bugs by Peterson, Ivars

Simplified Design of IC Amplifiers by Lenk, John

Essential Delphi 2.0 Fast: How to Develop Applications in Delphi 2.0 by Cowell, John

Advanced Information Systems Engineering: 8th International Conference, Caise'96, Herakleion, Crete, Greece, May (20-24), 1996. Proceedings by

Essential Visual Basic 4.0 Fast: How to Develop Applications in Visual Basic by Cowell, John R.

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers by

The B Language and Method: A Guide to Practical Formal Development by Lano, Kevin

Qualitätsmanagement Bei Der Softwareerstellung: Leitfaden Für Die Umsetzung Der Din En ISO 9000 by Stolpe, B., Ungermann, C., Tesch, F. -J

Prinzipien Des Entwurfs Und Der Realisierung Eines Organisationsinformationssystems by Xu, Zhi-Yong

Studies of Software Design: Icse'93 Workshop, Baltimore, Maryland, Usa, May (17-18), 1993. Selected Papers by

C a Software Engineering Approach by Darnell, Peter A., Margolis, Philip E.

Reliable Software Technologies - ADA Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, Jun by

Erste Schritte Mit Mathematica: Version 2.2.3 by Burkhardt, Werner

Industrial Cultures and Production: Understanding Competitiveness by Rasmussen, Lauge, Rauner, Felix

Advanced Relational Programming by Lamperti, G., Cacace, Filippo, Cacace, F.

Cleanroom Software by Poore, Jesse

Algorithms and Data Structures in C++ by Ammeraal, Leen

Computing and Combinatorics: Second Annual International Conference, Cocoon '96, Hong Kong, June 17-19, 1996. Proceedings by

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderborn, Germany, September 22-29, 1995. Selected Papers by

Computer Vision: Räumliche Information Aus Digitalen Bildern by Schlüns, Karsten, Klette, Reinhard, Koschan, Andreas

Logical Reasoning with Diagrams by Allwein, Barwise

Autonome Fertigungszellen -- Gestaltung, Steuerung Und Integrierte Störungsbehandlung by Koch, Michael R.

Rechnergestützte Beurteilung Von Getriebestrukturen in Werkzeugmaschinen by Trucks, Volker

Rationalisierung Durch Flexible, Hybride Montagesysteme by Fichtmüller, Niklas

Deductive Program Design by

Reliability and Maintenance of Complex Systems by

Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germany, July 1996. Proceedings by

Algorithm Theory - Swat '96: 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings by

Applied Wavelet Analysis with S-Plus by Bruce, Andrew, Gao, Hong-Ye

Schaum's Outline of Programming with C by Gottfried, Byron S.

Automata, Languages and Programming: 23rd International Colloquium, Icalp '96, Paderborn, Germany, July 8-12, 1996. Proceedings by

CAD & Office Integration: OLE for Design and Modeling. a New Technology for CA Software by Sendler, Ulrich

Ecoop '96 - Object-Oriented Programming: 10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings by

ML for the Working Programmer by Paulson, Lawrence C., Paulson, Larry C.

Design Principles for Interactive Software by

Meta-Modeling: Performance and Information Modeling by

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings by

Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, Calisce'96, San Sebastian, Spain, July 29 - 31, 19 by

Strategien Zur On-Line Bahnplanung Bei Robotern Mit 3d-Konturfolgesensoren by Trunzer, Wilhelm

Implementing Practical DB2 Applications by Rudd, Anthony S.

Practical Usage of ISPF Dialog Manager by Rudd, Anthony S.

Objektorientierte Informationssysteme: Konzepte, Darstellungsmittel, Methoden by Kappel, Gerti, Schrefl, Michael

Parallel Programming Using C++ by

UK Parallel '96: Proceedings of the BCS Ppsg Annual Conference, 3-5 July 1996 by

Numerical Recipes in FORTRAN 90: Volume 2, Volume 2 of FORTRAN Numerical Recipes: The Art of Parallel Scientific Computing by Press, William H.

Software Change Impact Analysis by Arnold, Robert, Bohner, Shawn

Over-Constrained Systems by

Object-Based Parallel and Distributed Computation: France-Japan Workshop, Obpdc'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers by

Reasoning with Logic Programming by Moniz Pereira, Luis, Alferes, Jose Julio

Structure and Interpretation of Computer Programs, Second Edition by Abelson, Harold, Sussman, Gerald Jay

Parallel Algorithms for Irregularly Structured Problems: Third International Workshop, Irregular '96, Santa Barbara, Ca, Usa, August 19 - 21, 1996. Pr by

FORTRAN 90 Kurs - Technisch Orientiert: Einführung in Die Programmierung Mit FORTRAN 90 by Schmitt, Günter

Practical Guide to Software Quality Man by Horch, John W.

Resource Management for Distributed Multimedia Systems by Wolf, Lars Christian

Reverse Engineering by

Introduction to Fuzzy Reliability by Kai-Yuan Cai

Quasidifferentiability and Nonsmooth Modelling in Mechanics, Engineering and Economics by Stavroulakis, Georgios E., Demyanov, Vladimir F., Polyakova, L. N.

Virtual Environments and Scientific Visualization '96: Proceedings of the Eurographics Workshops in Monte Carlo, Monaco, February 19-20, 1996, and in by

Rendering Techniques '96: Proceedings of the Eurographics Workshop in Porto, Portugal, June 17-19, 1996 by

Fuzzy Expert System Tools by Langholz, Gideon, Kandel, Abraham, Schneider, Moti

Data Structures and Algorithms: A First Course by Adamson, Iain T.

Principles and Practice of Constraint Programming - Cp'96: Second International Conference, Cp '96, Cambridge, Ma, Usa, August 19 - 22, 1996. Proceedi by

Advances in Structural and Syntactical Pattern Recognition: 6th International Workshop, Sspr' 96, Leipzig, Germany, August, 20 - 23, 1996, Proceedings by

Concur '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings by

Mathematical Foundations of Computer Science 1996: 21st International Symposium, Mfcs' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings by

Combinatorics and Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers by

The Autocad(r) Reference Guide: Release 13 by Kent, Dorothy

A Theory of Objects by Cardelli, Luca, Abadi, Martin

Fundamentals of Numerical Computing by Shampine, L. F., Pruess, S., Chan Allen, Rebecca

FORTRAN 95 Language Guide by Gehrke, Wilhelm

Advanced Functional Programming: Second International School, Olympia, Wa, Usa, August 26 - 30, 1996, Tutorial Text by

Computer Animation and Simulation '96: Proceedings of the Eurographics Workshop in Poitiers, France, August 31-September 1, 1996 by

Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers by

Euro-Par'96 - Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II by

Euro-Par '96 - Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings, Volume I by

Turbo Pascal Für Ingenieure: Eine Einführung Mit Anwendungen Aus Naturwissenschaft Und Technik by Hering, Ekbert

Pattern-Oriented Software Architecture, a System of Patterns by Buschmann, Frank, Rohnert, Hans, Meunier, Regine

Management of Telecommunication Systems and Services: Modelling and Implementing Tmn-Based Multi-Domain Management by

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings by

The Case of the Killer Robot: Stories about the Professional, Ethical, and Societal Dimensions of Computing by Epstein, Richard G.

Modeling Nature: Cellular Automata Simulations with Mathematica(r) by Gaylord, Richard J., Nishidate, Kazume

Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings by

Speechreading by Humans and Machines: Models, Systems, and Applications by

Parallel Computation: Third International Acpc Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, by

Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings by

Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Compass Workshop, Oslo, Norway, Se by

Object-Oriented Simulation: Reusability, Adaptability, Maintainability by

Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, Plilp '96, Aachen, Germany, September 24 - 27, 1996. Procee by

Das Betriebssystem Open VMS: Einführung Und PRAXIS Für Einsteiger Und Fortgeschrittene by Schäffus, Bernd

The Data Parallel Programming Model: Foundations, Hpf Realization, and Scientific Applications by

Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings by

Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings by

The Craft of Windows 95(tm) Interface Design: Click Here to Begin by Calvo, Alex

Perception as Bayesian Inference by

Dependable Computing - Edcc-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings by

Introduction to Discrete Mathematics with Isetl by Fenton, William E., Dubinsky, Ed

Software Process Technology: 5th European Workshop, Ewspt '96, Nancy, France, October 9 - 11, 1996. Proceedings by

Trends in Distributed Systems: CORBA and Beyond: International Workshop Treds '96 Aachen, Germany, October 1 - 2, 1996; Proceedings by

Parallel Virtual Machine - Europvm'96: Third European Pvm Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings by

Object Representation in Computer Vision II: Eccv '96 International Workshop, Cambridge, Uk, April 13 - 14, 1996. Proceedings by

Introduction to Scientific Programming by Zachary, Joseph L.

Safety and Reliability of Software Based Systems: Twelfth Annual Csr Workshop (Bruges, 12-15 September 1995) by

Magnetic Disk Drive Technology: Heads, Media, Channel, Interfaces, and Integration by Ashar, Kanu G.

Epipolar Geometry in Stereo, Motion and Object Recognition: A Unified Approach by Gang Xu, Zhengyou Zhang

Time-Constrained Transaction Management: Real-Time Constraints in Database Transaction Systems by Korth, Henry F., Soparkar, Nandit R., Silberschatz, Abraham

Object-Oriented Behavioral Specifications by

Software Engineering for Manufacturing Systems: Methods and Case Tools by

Object Orientation with Parallelism and Persistence by Jones, Cliff B., Lengauer, Christian, Freitag, Burkhard

Computer Aided Software Engineering by

Rule-Based Programming by Kowalski, Thaddeus J., Levy, Leon S.

Parallel Programming with Mpi by Pacheco, Peter

Software Testing for Conventional and Logic Programming by Jack, Oliver

Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers by

SmallTalk Best Practice Patterns by Beck, Kent

Pthreads Programming: A Posix Standard for Better Multiprocessing by Nichols, Bradford, Buttlar, Dick, Farrell, Jacqueline

Grundkonzepte und praktischer Einsatz by Dietrich, Karsten, Dapper, Thomas, Klöppel, Bert

Analysis Patterns: Reusable Object Models by Fowler, Martin

Karel++: A Gentle Introduction to the Art of Object-Oriented Programming by Bergin, Joseph, Stehlik, Mark, Roberts, Jim

Safe Comp 96: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996 by

Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings by

Diplom- und Magisterarbeit mit WinWord 7.0 by Krumm, Arnold

FORTRAN 95 by Counihan, M.

JSP for Practical Program Design by Dudman, K.

Data Structures and Algorithms: An Object-Oriented Approach Using ADA 95 by Beidler, John

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control by

Software Configuration Management: Icse'96 Scm-6 Workshop, Berlin, Germany, March 25 - 26, 1996, Selected Papers by

Number by Colors: A Guide to Using Color to Understand Technical Data by Meyer, Theodore E., Fortner, Brand, Meyer, T. H.

Multimedia Database Management Systems by Prabhakaran, B.

Object-Oriented Modeling by

Dependence Analysis by Banerjee, Utpal

Risk Manaagement Processes for Software Engineering Models by Myerson, Marian

Formal Systems Specification: The Rpc-Memory Specification Case Study by

Efficient Visual Recognition Using the Hausdorff Distance by Rucklidge, William