Programming in 2000

Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, Uk, August 29 - September 2, 2000 Proc by

Integration klassischer Simulationstools in die High Level Architecture by Straßburger, Steffen

Serious ADO: Universal Data Access with Visual Basic by MacDonald, Rob

Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings by

Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, Fpl 2000 Villach, Austria, August 2 by

Modular Programming Languages: Joint Modular Languages Conference, Jmlc 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings by

New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers by

Advances in Pattern Recognition: Joint Iapr International Workshops Sspr 2000 and Spr 2000 Alicante, Spain, August 30 - September 1, 2000 Proceedings by

Analyse des Einflusses digitaler Signaturen auf Transaktionsprozesse im Business-to-Business-Sektor by Buttkus, Michael

Articulated Motion and Deformable Objects: First International Workshop, Amdo 2000 Palma de Mallorca, Spain, September 7-9, 2000 Proceedings by

Approximation Algorithms for Combinatorial Optimization: Third International Workshop, Approx 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedin by

The Spoken Language Translator by

Coordination Languages and Models: 4th International Conference, Coordination 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings by

Usability im World Wide Web by Osterbauer, Christian

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 7th European Pvm/Mpi Users' Group Meeting Balatonfüred, Hungary, September by

Distributed and Parallel Systems: From Instruction Parallelism to Cluster Computing by

From Access to SQL Server by Sinclair, Russell

Graph Theory for Programmers: Algorithms for Processing Trees by Kasyanov, Victor N., Evstigneev, Vladimir A.

Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D by

Advanced Debugging Methods by Lencevicius, Raimondas

Software Product Lines: Experience and Research Directions by

Domain Modeling-Based Software Engineering: A Formal Approach by Ruqian Lu, Zhi Jin

Goal-Directed Proof Theory by Olivetti, N., Gabbay, Dov M.

Performance Characterization in Computer Vision by

Image Segmentation and Compression Using Hidden Markov Models by Gray, Robert M., Jia Li

Strategic Software Production with Domain-Oriented Reuse by Predonzani, Paolo, Succi, Giancarlo

Lipoprotein Metabolism and Atherogenesis by

Agent Systems, Mobile Agents, and Applications: Second International Symposium on Agent Systems and Applications and Fourth International Symposium on by

77 Sure-Fire Ways to Kill a Software Project: Destructive Tactics That Cause Budget Overruns, Late Deliveries, and Massive Personnel Turnover by Ferry, Daniel D.

Grammatical Inference: Algorithms and Applications: 5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings by

FORTRAN 95 by Counihan, Counihan, Counihan, Martin, Counihan M

Principles and Practice of Constraint Programming - Cp 2000: 6th International Conference, Cp 2000 Singapore, September 18-21, 2000 Proceedings by

Mobile Agents for Telecommunication Applications: Second International Workshop, Mata 2000, Paris, France, September 18-20, 2000 Proceedings by

Semantics, Applications, and Implementation of Program Generation: International Workshop, Saig 2000 Montreal, Canada, September 20, 2000 Proceedings by

Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99, Chateau de Bonas, September 15-18, 1999 Selected Papers by

Generische Programmierung für die Bildverarbeitung by Köthe, Ullrich

High-Speed Digital System Design: A Handbook of Interconnect Theory and Design Practices by Hall, Stephen H.

Informatik 2000: Neue Horizonte Im Neuen Jahrhundert 30. Jahrestagung Der Gesellschaft Für Informatik Berlin, 19.-22. September 2000 by

Open Hypermedia Systems and Structural Computing: 6th International Workshop, Ohs-6 2nd International Workshop, Sc-2 San Antonio, Texas, Usa, May 30-J by

Internet Programming with Visual Basic by Kurniawan, Budi

MATLAB 6: Eine Einführung by Überhuber, Christoph, Katzenbeisser, Stefan

Accelerated C++: Practical Programming by Example by Koenig, Andrew, Moo, Barbara, Hendrickson, Mike

Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers by

UML 2000 - The Unified Modeling Language: Advancing the Standard: Third International Conference York, Uk, October 2-6, 2000 Proceedings by

Distributed Computing: 14th International Conference, Disc 2000 Toledo, Spain, October 4-6, 2000 Proceedings by

C++ for VB Programmers [With Start Up CD-ROM] by Morrison, Jonathan

Professional Issues in Software Engineering by Coleman, Allison, Rowland, Diane, Bott, Frank

Handbook of Computer Vision Algorithms in Image Algebra by Ritter, Gerhard X., Wilson, Joseph N.

Real-Time and Multi-Agent Systems by Attoui, Ammar

Elsevier's Dictionary of Computer Graphics: In English, German, French and Russian by Manoilov, P., Manoilov, G.

Anbieterverhalten im Softwaremarkt: Eine theoretische und empirische Analyse von Standards und Standardisierung by Siegert, Jochen

High Performance Computing: Third International Symposium, Ishpc 2000 Tokyo, Japan, October 16-18, 2000 Proceedings by

Numerical Challenges in Lattice Quantum Chromodynamics: Joint Interdisciplinary Workshop of John Von Neumann Institute for Computing, Jülich, and Inst by

Knowledge Discovery in Databases: Techniken Und Anwendungen by Sander, Jörg, Ester, Martin

Interactive Distributed Multimedia Systems and Telecommunication Services: 7th International Workshop, Idms 2000 Enschede, the Netherlands, October 17 by

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging by

Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, September 28-30, 1999. Revised Papers by

Problem-Solving Methods: Understanding, Description, Development, and Reuse by Fensel, Dieter

Learning Language in Logic by

Planung einer Public-Key-Infrastruktur und Pilotierung für die E-Mail-Kommunikation by Pickel, Lars

Active Networks: Second International Working Conference, Iwan 2000 Tokyo, Japan, October 16-18, 2000 Proceedings by

Advances in Multimodal Interfaces - ICMI 2000: Third International Conference Beijing, China, October 14-16, 2000 Proceedings by

Mobile Agents: Control Algorithms by Baumann, Joachim

Issues in Agent Communication by

Dynamic Logic by Kozen, Dexter, Tiuryn, Jerzy, Harel, David

Perspectives on Content-Based Multimedia Systems by Joo-Hwee Lim, Jian Kang Wu, Kankanhalli, Mohan S.

Confluence of Computer Vision and Computer Graphics by

Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques fo by

Segmentation and Recovery of Superquadrics by Leonardis, Ales, Solina, F., Jaklic, Ales

Confluence of Computer Vision and Computer Graphics by

Information Storage and Retrieval Systems: Theory and Implementation by Maybury, Mark T., Kowalski, Gerald J.

Languages for Digital Embedded Systems by Edwards, Stephen A.

Web Teaching Guide: A Practical Approach to Creating Course Web Sites by Horton, Sarah

Java and Internet Security by Shrader, Theodore

SQL Server 2000 Stored Procedure Programming by

Parallel Programming in Openmp by Chandra, Rohit

Database Programming with JDBC and Java by Reese, George

Tools for Working with Guidelines: Annual Meeting of the Special Interest Group by

Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, Lcr 2000 Rochester, Ny, Usa, May 25-27, 2000 Selected P by

Writing Effective Use Cases by Cockburn, Alistair

Betrieb einer Middleware als strategische Plattform für die Informationstechnologie in der Telekommunikation by Faure, Heiko K. P.

Online Communities: Designing Usability and Supporting Sociability by Preece, Jennifer

Computer Safety, Reliability, and Security: 19th International Conference, Safecomp 2000, Rotterdam, the Netherlands, October 24-27, 2000 Proceedings by

Medizinische Statistik Mit Sas-Analyst by Habel, Andreas, Rohlmann, Friederike, Muche, Rainer

Software Specification Methods: An Overview Using a Case Study by

Web Project Management: Delivering Successful Commercial Web Sites by Friedlein, Ashley

Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings by

Graph-Theoretic Concepts in Computer Science: 26th International Workshop, Wg 2000 Konstanz, Germany, June 15-17, 2000 Proceedings by

C++ and Object-Oriented Numeric Computing for Scientists and Engineers by Yang, Daoqi

Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings by

Projektierung und Konzeption eines Data Warehouses zur Vertriebsunterstützung by Kannowski, Oliver

Machine Vision Algorithms in Java: Techniques and Implementation by Molloy, Derek, Whelan, Paul F.

Vorlesungen Zur Komplexitätstheorie by Wechsung, Gerd

Internet Programming with Omnimark by Baker, Mark

Scheduling: Control-Based Theory and Polynomial-Time Algorithms by Khmelnitsky, E., Kogan, K.

Design of Survivable Networks with Bounded Rings by Fortz, B.

Code Optimization Techniques for Embedded Processors: Methods, Algorithms, and Tools by Leupers, Rainer

Global Optimization with Non-Convex Constraints: Sequential and Parallel Algorithms by Strongin, Roman G., Sergeyev, Yaroslav D.

Gimp Pocket Reference: Image Creation and Manipulation by Neumann, Sven

Integrating Graphics and Vision for Object Recognition by Stevens, Mark R., Beveridge, J. Ross

Configuration Management The Missing link inf Web Engineering by Dart, Susan

Analyse und Vergleich alternativer Architekturkonzepte bei konzernweiten Intranets by Klostermann, Lutz

A Visual Basic 6 Programmer's Toolkit by Smith, Eric A., Marquis, Hank

User Interfaces for All: Concepts, Methods, and Tools by

Erkennung mehrerer Objekte durch parallele Suchagenten by Volkmer, Markus

Software Automatisch Testen: Verfahren, Handhabung Und Leistung by Rashka, Jeff, Paul, John, Dustin, Elfriede

3-D Image Processing Algorithms by Nikolaidis, N., Pitas, Ioannis

Extreme Mindstorms: An Advanced Guide to Lego Mindstorms by Villa, Luis, Gasperi, Michael, Hempel, Ralph

Branchenanalyse der IT-Enterprise-Management Anbieter: Netz- und Systemmanagement Software by Reinke, Ingo

ASP für eLearning by Nagel, Petra

SAP Business Information Warehouse als neue Dimension des Informationsmanagements: Theoretische Grundlagen und praktische Ausführungen an der SAP R/3- by Mader, Sven

Sofsem 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, Novem by

Data Mining: Ein Überblick über Verfahren und Anwendungsfelder by Sembdner, Jürgen

Die ökonomische Bedeutung von Electronic Commerce für Unternehmen im Business-to-Business-Bereich: Eine Analyse der Potentiale und Risiken by Riethig, Andreas

Database Development For Dummies by Taylor, Allen G.

Entwurf und prototypische Realisierung eines mit der Beschreibungssprache XML erstellten Werkzeugs für die Verwaltung informationstechnischen Wissens by Dückert, Simon

Services Management in Intelligent Networks: 11th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2000 Austin by

Introduction to Interactive Programming on the Internet: Using HTML and JavaScript by Knuckles, Craig D.

Parallel and Distributed Computing: A Survey of Models, Paradigms and Approaches by

C Program Design for Engineers by Koffman, Elliot, Hanly, Jeri

Distributed Constraint Satisfaction: Foundations of Cooperation in Multi-Agent Systems by Yokoo, Makoto

Language Constructs for Describing Features: Proceedings of the Fireworks Workshop by

Datenbankabfragen via Wireless Application Protocol by Naczinski, Robert

Möglichkeiten und Grenzen für Produktinnovationen durch den Einsatz neuer Mobilfunktechniken am Beispiel von Finanzdienstleistungen by Becker, Alexander

Advanced Transact-SQL for SQL Server 2000 by Ben-Gan, Itzik, Moreau, Tom

Learning Software Organizations: Methodology and Applications: 11th International Conference on Software Engineering and Knowledge Engineering, Seke'9 by

Grid Computing - Grid 2000: First Ieee/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings by

Algorithms and Computation: 11th International Conference, Isaac 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings by

Efficient and Accurate Parallel Genetic Algorithms by Cantú-Paz, Erick

Nonlinear Assignment Problems: Algorithms and Applications by

High Performance Computing - HIPC 2000: 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings by

The Definitive Guide to Java Swing by Zukowski, John

Distributed Objects and Applications by

Parallel Image Processing by Rapf, W., Bräunl, T., Feyrer, S.

Software Architectures for Product Families: International Workshop Iw-Sapf-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings by

A Programmer's Guide to Jini Technology by Newmarch, Jan

The Practical Handbook of Genetic Algorithms: Applications, Second Edition by

Electronic Business Strategien im Bankensektor by Engelbert, Frank

Exploring Randomness by Chaitin, Gregory J.

Verteilt-Parallele Metaheuristiken Zur Tourenplanung: Lösungsverfahren Für Das Standardproblem Mit Zeitfensterrestriktionen by Homberger, Jörg

Randomness and Completeness in Computational Complexity by Melkebeek, Dieter Van

Types for Proofs and Programs: International Workshop, Types'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers by

Object-Oriented Technology: Ecoop 2000 Workshop Reader: Ecoop 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 200 by

Engineering Societies in the Agents World: First International Workshop, Esaw 2000, Berlin, Germany, August 21, 2000. Revised Papers by

Personalrekrutierung im Internet aus der Sicht des Bewerbers by Steinberger, Monica

The Unified Process Inception Phase: Best Practices in Implementing the UP by W. Ambler, Scott, Constantine, Larry

The Practical Performance Analyst by Gunther, Neil J.

SQL by Houlette, Forrest

SQL Server: Common Problems, Tested Solutions by Pike, Neil

Introduction to Global Optimization by Horst, R., Nguyen Van Thoai, Pardalos, Panos M.

System-On-A-Chip Verification: Methodology and Techniques by Rashinkar, Prakash, Paterson, Peter, Singh, Leena