Programming in 1995

Advanced Software Applications in Japan by Wiederhold, Gio, Feigenbaum, Edward a., Rich, Elaine

Reliability of Software Intensive Systems by Goddard, Peter I., Tran, Phuong Y., Friedman, Michael A.

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems by Craigen, Dan, Gerhart, Susan

Software Quality Control, Error, Analysis by Stanten, Saul F., Peng, W. W., Clapp, Judith

Software-Ergonomie '95: Mensch -- Computer -- Interaktion. Anwendungsbereiche Lernen Voneinander by

Health Care Computing: A Survival Guide for PC Users by Burnard, Philip

Vererbung Für Systementwickler: Grundlagen Und Anwendungen by Kunz, Jürgen

Änderbarkeit Durch Objektorientierung by Wiegert, Oliver

Fast Algorithms for 3d-Graphics by Glaeser, Georg

SQL: Eine Praxisorientierte Einführung by Marsch, Jürgen, Fritze, Jörg

Effiziente Natural-Programmierung by Scheu, Sylvia

Pattern Recognition and Image Processing in C++ by Paulus, Dietrich

Exploring Expect: A Tcl-Based Toolkit for Automating Interactive Programs by Libes, Don

The Dictionary of Computer Graphics and Virtual Reality by Latham, Roy

Graph Drawing: Dimacs International Workshop, GD '94, Princeton, New Jersey, Usa, October 10 - 12, 1994. Proceedings by

FORTRAN 90 for Engineers by Etter, Delores M.

Understanding Images: Finding Meaning in Digital Imagery by

Formal Development of Reactive Systems: Case Study Production Cell by

Languages and Compilers for Parallel Computing: 7th International Workshop, Ithaca, Ny, Usa, August 8 - 10, 1994. Proceedings by

Intelligent Agents: Ecai-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8 - 9, 1994. Proc by

Quality of Communication-Based Systems by

Adjoint Equations and Analysis of Complex Systems by Marchuk, Guri I.

Lotosphere: Software Development with Lotos by

Programmierung Und Simulation Von Zellenabläufen in Der Arbeitsvorbereitung by Raith, Peter

Aufwandsminimierter Wissenserwerb Für Die Diagnose in Flexiblen Produktionszellen by Birkel, Gunther

POSIX.4 Programmers Guide: Programming for the Real World by Gallmeister, Bill

Achievement and Assurance of Safety: Proceedings of the Third Safety-Critical Systems Symposium by

Kommunikation in Verteilten Systemen: Neue Länder -- Neue Netze -- Neue Dienste. Gi/Itg-Fachtagung Chemnitz-Zwickau, 22.-24. Februar 1995 by

Stacs 95: 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings by

Software Engineering Education: 8th SEI Csee Conference, New Orleans, La, Usa, March 29 - April 1, 1995. Proceedings by

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings by

Multidimensional Programming by Faustini, A. A., Jagannathan, R., Ashcroft, E. A.

Datenbankeinsatz by Lang, Stefan, Lockemann, Peter C.

Multimedia and Hypertext: The Internet and Beyond by Nielsen, Jakob

Fertigungsregelung Durch Zielgrößenorientierte Planung Und Logistisches Störungsmanagement by Simon, Dieter

Systematische Planung Anwendungsspezifischer Materialflußsteuerung by Nedeljikovic-Groha, Vesna

Der Turing Omnibus: Eine Reise Durch Die Informatik Mit 66 Stationen by Dewdney, A. K.

Labtutor: A Friendly Guide to Computer Interfacing and LabVIEW Programming by Eaton, Laura, Eaton, John K.

Software Engineering and Human-Computer Interaction: Icse '94 Workshop on Se-Hci: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings by

Algorithms and Parallel VLSI Architectures III by

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, by

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-Sur-Seine, France, May 16 - 20, 1994. Selected Papers by

Konzept Einer Integrierten Produktentwicklung by Linner, Stefan

Persistent Object Systems: Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 Septembe by

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 by

Software Process Technology: 4th European Workshop, Ewspt '95, Noordwijkerhout, the Netherlands, April 3 - 5, 1995. Proceedings by

Automating Instructional Design: Computer-Based Development and Delivery Tools by

Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings by

Pascal-Kurs - technisch orientiert by Schmitt, Günter

Real-Time Computer Vision by

Intelligent Systems Third Golden West International Conference: Edited and Selected Papers by

Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Alès, France, 1995 by Albrecht, Rudolf F., Pearson, David W., Steele, Nigel C.

Machine Learning: Ecml-95: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings by

Objektorientierte Entwicklung Betrieblicher Informationssysteme by Schreiber, Dirk

Asynchronous Digital Circuit Design by

Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism by Rao, Josyula R.

Limits to Parallel Computation: P-Completeness Theory by Ruzzo, Walter L., Greenlaw, Raymond

Religion and The Transformation of Capitalism: Comparative Approaches by

FORTRAN 90 Language Guide by

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th Compass Workshop, S. Margherita, It by

Theory and Practice of Parallel Programming: International Workshop Tppp '94, Sendai, Japan, November 7-9, 1994. Proceedings by

Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course by

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, by

Programming in FORTRAN 90: A First Course for Engineers and Scientists by Smith, I. M.

Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding by

Softwareprüfung und Qualitätssicherung by Lindermaier, Robert, Siebert, Frank

Scheduling and Load Balancing in Parallel and Distributed Systems by

Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. T by

Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 3 by

Theory of Seismic Imaging by Scales, John A.

Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings by

Objektorientiertes Reverse Engineering: Von Klassischer Zu Objektorientierter Software by Gall, Harald, Klösch, Rene

Black-Box Testing: Techniques for Functional Testing of Software and Systems by Beizer, Boris

Advanced Information Systems Engineering: 7th International Conference, Caise '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings by

Die Diplomarbeit mit WinWord 6.0 by Krumm, Arnold

Vlisp: A Verified Implementation of Scheme by Guttman

Image Processing for Broadcast and Video Production: Proceedings of the European Workshop on Combined Real and Synthetic Image Processing for Broadcas by

Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95, Lexington, Ky, Usa, June 26 - 28, 1995. Proceedings by

Structured Assembler Language for IBM Microcomputers by Kindred, Alton R.

Pascal, Programming, and Problem Solving: A Systematic Approach by Gonzalez, Mario J., Robbins, Kay A.

Turbo Pascal: Theory and Practice of Good Programming by Martin, Gary W.

Data Structures: Form and Function by

UNIX Programming: Methods and Tools by

The Pattern Book: Fractals, Art and Nature by

Apl2 in Depth by Polivka, Raymond P., Thomson, Norman D.

Non-Monotonic Extensions of Logic Programming: Iclp '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers by

Constraint Processing: Selected Papers by

Object-Based Models and Languages for Concurrent Systems: Ecoop '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, by

Neutrabas: A Neutral Product Definition Database for Large Multifunctional Systems by

Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings by

Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings by

Programming with Turing and Object Oriented Turing by Grogono, Peter

A Guide to Programming Languages: Overv by Cezzar, Ruknet

Achieving Quality Software: Including Its Application to Safety-Related Systems by Smith, David J., Smith, D.

Imprecise and Approximate Computation by

Code Generation for Embedded Processors by

Flexibilisierung Der Automatischen Teilebereitstellung in Montageanlagen by Rockland, Markus

Integrierte Planung Von Informationssystemen Für Rechnergestützte Produktionssysteme by Eder, Thomas

Geometric Modelling: Dagstuhl 1993 by

Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings by

Practical Risk Assessment for Project Management by Grey, Stephen

Instructor's Manual for Operating Systems Programming: The Sr Programming Language by Hartley, Stephen J.

Efficient Graph Rewriting and Its Implementation by Dörr, Heiko

Metaclasses and Their Application: Data Model Tailoring and Database Integration by

Mms: A Communication Language for Manufacturing by

Software Reliability and Testing by Pham, Hoang

Exploiting Mental Imagery with Computers in Mathematics Education by

Exploitation of Fine-Grain Parallelism by

The SGML Implementation Guide: A Blueprint for SGML Migration by Travis, Brian E., Waldt, Dale C.

Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings by

Mathematik Entdecken Mit Derive -- Von Der Algebra Bis Zur Differentialrechnung by Glynn, Jerry

OpenVMS Performance Management by Sethi, Joginder

A Knowledge-Based Approach to Program Understanding by Basili, Victor R., Abd-El-Hafiz, Salwa K.

Near-Rings and Near-Fields: Proceedings of the Conference on Near-Rings and Near-Fields Fredericton, New Brunswick, Canada, July 18-24, 1993 by

Integration of Natural Language and Vision Processing: Computational Models and Systems by

Stochastic Programming by Prékopa, András

Relational Database Systems by Tenney, Richard L., Simovici, Dan A.

Applications of C++ Programming: Administration, Finance and Statistics by Steeb, Willi-Hans, Solms, Fritz

Algorithms and Data Structures: 4th International Workshop, Wads '95, Kingston, Canada, August 16 - 18, 1995. Proceedings by

The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition by Brooks, Frederick

Rendering Techniques '95: Proceedings of the Eurographics Workshop in Dublin, Ireland, June 12-14, 1995 by

Advances in Computers: Volume 40 by

Using CSH & Tcsh: Type Less, Accomplish More by DuBois, Paul

Advances in Computers: Volume 41 by

Upgrading to FORTRAN 90 by Redwine, Cooper

Interactive 3D Graphics in Windows(r) by Hall, Roy, Forsyth, Danielle

The Advanced Texbook by Salomon, David

Euro-Par '95: Parallel Processing: First International Euro-Par Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings by

Mathematical Foundations of Computer Science 1995: 20th International Symposium, Mfcs'95, Prague, Czech Republic, August 28 - September 1, 1995. Proce by

Parallel Computing Technologies: Third International Conference, Pact-95, St. Petersburg, Russia, September 12-15, 1995. Proceedings by

Innovative Interaktionstechniken in Der Visualisierung by Felger, Wolfgang

Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings by

Digital Circuit Design for Computer Science Students: An Introductory Textbook by Wirth, Niklaus

Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Irregular '95, Lyon, France, September 4 - 6, 1995. Proceeding by

Randomized Algorithms by Motwani, Rajeev, Raghavan, Prabhakar

Image Analysis and Processing: 8th International Conference, Iciap '95, San Remo, Italy, September 13 - 15, 1995. Proceedings by

Computer Animation and Simulation '95: Proceedings of the Eurographics Workshop in Maastricht, the Netherlands, September 2-3, 1995 by

The Knowledge Acquisition and Representation Language, Karl by Fensel, Dieter

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems by

Parallel Language and Compiler Research in Japan by

Information System Concepts: Towards a Consolidation of Views by

Information Systems Development for Decentralized Organizations: Proceedings of the Ifip Working Conference on Information Systems Development for Dec by Krogstie, John, Seltveit, Anne Helga, Soelvberg, Arne

An Introduction to Splines for Use in Computer Graphics and Geometric Modeling by Beatty, John C., Barsky, Brian a., Bartels, Richard H.

Principles and Practice of Constraint Programming - Cp '95: First International Conference, Cp '95, Cassis, France, September 19 - 22, 1995. Proceedin by

Object-Oriented Programming in Oberon-2 by Mössenböck, Hanspeter

C and UNIX: Tools for Software Design by Barrett, Martin L., Wagner, Clifford H.

Concur '95 Concurrency Theory: 6th International Conference, Philadelphia, Pa, Usa, August 21 - 24, 1995. Proceedings by

Rules in Database Systems: Second International Workshop, Rids '95, Glyfada, Athens, Greece, September 25 - 27, 1995. Proceedings by

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Netherlands, September 20 - 22, 1995 by

Understanding Neural Networks and Fuzzy Logic: Basic Concepts and Applications by Kartalopoulos, Stamatios V.

Objektorientierte Modellierung Von Automatisierungssystemen: Software Engineering Für Embedded Systems by Kieß, Jan U.

Static Analysis: Second International Symposium, SAS '95, Glasgow, Uk, September 25 - 27, 1995. Proceedings by

Software Engineering - Esec '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings by

Virtual Environments '95: Selected Papers of the Eurographics Workshops in Barcelona, Spain, 1993, and Monte Carlo, Monaco, 1995 by

Design, Specification and Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995 by

Introducing FORTRAN 90 by Chivers, Ian D., Sleightholme, Jane

Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings by

Einführung in Die Programmierung Mit Mathematica by Kamin, Samuel N., Gaylord, Richard J.

Logic and Information by Devlin, Keith J., Keith, Devlin

Symbolic Analysis for Parallelizing Compilers by Haghighat, Mohammad R.

Ca-Integration in Theorie Und PRAXIS: Aktuelle Konzepte Für Integrations- Und Kommunikationstechnologien Im Cad-Umfeld by

ISO 9000-3: A Tool for Software Product and Process Improvement by Jarvis, Alka, Kehoe, Raymond

Bringing Telecommunication Services to the People - Is&n '95: Third International Conference on Intelligence in Broadband Services and Networks, Herak by

Quantitative Methods in Parallel Systems by

An Introduction to Programming with Mathematica(r) by Kamin, Samuel N., Wellin, Paul R., Gaylord, Richard J.

Programmer's Guide to FORTRAN 90 by Goldberg, Charles H., Adams, Jeanne C., Brainerd, Walter S.

Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995 by

Performance Modeling Computer Architect by

Software Configuration Management: Icse Scm-4 and Scm-5 Workshops. Selected Papers by

Personalorientierte Montageplanung Für Komplexe Und Variantenreiche Produkte by Hechl, Christoph

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers by

Formal Object-Oriented Development by Lano, Kevin

Fast Software Encryption: Second International Workshop, Leuven, Belgium, December 14-16, 1994. Proceedings by

Analysis of Algorithms: Computational Methods & Mathematical Tools by Hofri, Micha

Essential Autolisp(r): With a Quick Reference Card and a Diskette by Harkow, Roy

Technische Bildverarbeitung -- Maschinelles Sehen by Nickolay, Bertram, Jähne, Bernd, Massen, Robert

Information Systems Development and Data Modeling: Conceptual and Philosophical Foundations by Lyytinen, Kalle, Hirschheim, Rudy A., Klein, Heinz K.

A Paradigm for Decentralized Process Modeling by Kaiser, Gail E., Ben-Shaul, I.

Video and Image Processing in Multimedia Systems by Hongjiang Zhang, Furht, Borko, Smoliar, Stephen W.

Languages, Compilers and Run-Time Systems for Scalable Computers by

Parallel Algorithms for Irregular Problems: State of the Art by

Integration of Natural Language and Vision Processing: (Volume II) Intelligent Multimedia by

Simplified Design of Micropower and Battery Circuits by Lenk, John

Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report by

Sofsem '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November by

Exploratory Vision: The Active Eye by

Algorithms and Computations: 6th International Symposium, Isaac '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings. by

Deductive and Object-Oriented Databases: Fourth International Conference, Dood' 95, Singapore, December 4-7, 1995. Proceedings by

Hypermedia Design: Proceedings of the International Workshop on Hypermedia Design (Iwhd'95), Montpellier, France, 1-2 June 1995 by

Human-Computer Interaction: 5th International Conference, Ewhci '95, Moscow, Russia, July 3-7, 1995. Selected Papers by

Ooer '95 Object-Oriented and Entity-Relationship Modeling: 14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings by

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Select by

Pearl 95: Workshop Über Realzeitsysteme Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 30.November-1. by

Functional Programming Languages in Education: 1st International Symposium Fple '95 Nijmegen, the Netherlands, December 4-6, 1995. Proceedings by

Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, Acsc '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings by

C++ the Core Language: A Foundation for C Programmers by Brown, Doug, Satir, Gregory

Scientific Pascal by Flanders, Harley

Fuzzy Logic and Its Applications to Engineering, Information Sciences, and Intelligent Systems by

Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism by Poledna, Stefan

Network and Operating Systems Support for Digital Audio and Video: 5th International Workshop, Nossdav '95, Durham, New Hampshire, Usa, April 19-21, 1 by