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

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

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

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

Änderbarkeit Durch Objektorientierung by Wiegert, Oliver

Effiziente Natural-Programmierung by Scheu, Sylvia

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

Fast Algorithms for 3d-Graphics by Glaeser, Georg

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

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

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

Formal Development of Reactive Systems: Case Study Production Cell by

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

Lotosphere: Software Development with Lotos by

Quality of Communication-Based Systems by

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

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

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

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

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

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

Multidimensional Programming by Ashcroft, Edward A., Faustini, Anthony A., Jagannathan, Rangaswamy

Datenbankeinsatz by Lang, Stefan, Lockemann, Peter C.

The Muse Method for Usability Engineering by Lim, Kee Yong, Long, John B.

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, Jeff, 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

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 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 September 199 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

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

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 Steele, Nigel C., Albrecht, Rudolf F., Pearson, David W.

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

Religion and The Transformation of Capitalism: Comparative Approaches by

Objektorientierte Entwicklung Betrieblicher Informationssysteme by Schreiber, Dirk

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

Asynchronous Digital Circuit Design by

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

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

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

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

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 Klösch, Rene, Gall, Harald

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

Data Structures: Form and Function by Smith, Harry F., Jr.

Unix Programming: Methods and Tools by Peters, James F., III

The Pattern Book: Fractals, Art and Nature by

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

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

Constraint Processing: Selected Papers by

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

Non-Monotonic Extensions of Logic Programming: Iclp '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers 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

Code Generation for Embedded Processors by

Imprecise and Approximate Computation by

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

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

Flexibilisierung Der Automatischen Teilebereitstellung in Montageanlagen by Rockland, Markus

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

Software Reliability and Testing by Pham, Hoang

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

Exploitation of Fine-Grain Parallelism by

Exploiting Mental Imagery with Computers in Mathematics Education 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

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

Stochastic Programming by Prékopa, András

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

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

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

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

Advances in Computers: Volume 40 by

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

Advances in Computers: Volume 41 by

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

Upgrading to FORTRAN 90 by Redwine, Cooper

The Advanced Texbook by Salomon, David

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

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

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 Seltveit, Anne Helga, Soelvberg, Arne, Krogstie, John

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

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

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

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 Wagner, Clifford H., Barrett, Martin L.

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

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

Rules in Database Systems: Second International Workshop, Rids '95, Glyfada, Athens, Greece, September 25 - 27, 1995. Proceedings 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 Wellin, Paul R., Gaylord, Richard J., Kamin, Samuel N.

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

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

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

Formal Object-Oriented Development by Lano, Kevin

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

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

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

Parallel Algorithms for Irregular Problems: State of the Art by

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

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

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

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

Simplified Design of Micropower and Battery Circuits by Lenk, John

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

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

Exploratory Vision: The Active Eye by

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

Algorithms and Computations: 6th International Symposium, Isaac '95 Cairns, Australia, December 4 - 6, 1995. Proceedings 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

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

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

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

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

Scientific Pascal by Flanders, Harley

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

Environmental Software Systems: Proceedings of the International Symposium on Environmental Software Systems, 1995 by

Achieving Quality in Software: Proceedings of the Third International Conference on Achieving Quality in Software, 1996 by

The Codesign of Embedded Systems: A Unified Hardware/Software Representation: A Unified Hardware/Software Representation by Johnson, Barry W., Kumar, Sanjaya, Aylor, James H.

Formal Specification Techniques for Engineering Modular C Programs by Tan Yang Meng

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

Enterprise Integration and Modeling: The Metadatabase Approach by Hsu, Cheng

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