General Computers in 2005

System-Level Test and Validation of Hardware/Software Systems by

Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Pape by

Computer Recognition Systems: Proceedings of 4th International Conference on Computer Recognition Systems Cores'05 by

Control of Redundant Robot Manipulators: Theory and Experiments by Shadpey, F., Patel, Rajni V.

Nonblocking Supervisory Control of State Tree Structures by Ma, Chuan, Wonham, W. Murray

Principles of Computer Graphics: Theory and Practice Using OpenGL and Maya(r) by Govil-Pai, Shalini

Developing Statistical Software in FORTRAN 95 by Lemmon, David R., Schafer, Joseph L.

Metaheuristics:: Progress as Real Problem Solvers by

Soft Real-Time Systems: Predictability vs. Efficiency: Predictability vs. Efficiency by Lipari, Giuseppe, Abeni, Luca, Buttazzo, Giorgio C.

The Geography of the Internet Industry: Venture Capital, Dot-Coms, and Local Knowledge by Zook, Matthew

Business Process Management. Process is the Enterprise. by Arora, Sandeep

Grundlagen Der Wirtschaftsinformatik by Schneidereit, Gabriele, Voß, Stefan, Fink, Andreas

Advances in Cryptology - Eurocrypt 2005: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denm by

Enterprise Information Integration: A Pragmatic Approach by Morgenthal, Jp

Elektronische Zahlungssysteme: Verbreitung und Akzeptanz im B2C Bereich by Kretschmar, Stephanie

Digital Economy and Social Design by

Ellipsis and Nonsentential Speech by

Multichannel-Retailing: Marketing in Mehrkanalsystemen des Einzelhandels by Schröder, Hendrik

Advances in Knowledge Discovery and Data Mining: 9th Pacific-Asia Conference, Pakdd 2005, Hanoi, Vietnam, May 18-20, 2005, Proceedings by

Business Agility and Information Technology Diffusion: Ifip Tc8 Wg 8.6 International Working Conference, May 8-11, 2005, Atlanta, Georgia, USA by

Agent-Oriented Information Systems II: 6th International Bi-Conference Workshop, Aois 2004, Riga, Latvia, June 8, 2004 and New York, Ny, Usa, July 20, by

Foundations of Intelligent Systems: 15th International Symposium Ismis 2005, Saratoga Springs, Ny, Usa, May 25-28, 2005, Proceedings by

Computational Science -- Iccs 2005: 5th International Conference, Atlanta, Ga, Usa, May 22-25, 2005, Proceedings, Part I by

Intelligence and Security Informatics: IEEE International Conference on Intelligence and Security Informatics, Isi 2005, Atlanta, Ga, Usa, May 19-20, by

Human Interactive Proofs: Second International Workshop, Hip 2005, Bethlehem, Pa, Usa, May 19-20, 2005, Proceedings by

Trust Management: Third International Conference, Itrust 2005, Paris, France, May 23-26, 2005, Proceedings by

Computational Science -- Iccs 2005: 5th International Conference, Atlanta, Ga, Usa, May 22-25, 2005, Proceedings, Part II by

Location- And Context-Awareness: First International Workshop, Loca 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings by

Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili by

Advances in Neural Networks - Isnn 2005: Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part by

Transactions on Rough Sets III by

Structural Information and Communication Complexity: 12th International Colloquium, Sirocco 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedi by

Scientific Applications of Grid Computing: First International Workshop, Sag 2004, Beijing, China, September, Revised Selected and Invited Papers by

Conditionals, Information, and Inference: International Workshop, Wcii 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers by

Rapid Integration of Software Engineering Techniques: First International Workshop, Rise 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Re by

Web and Wireless Geographical Information Systems: 4th International Workshop, W2gis 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Paper by

Pro Tools A...Z by Franze, J.

Knowledge and Belief - An Introduction to the Logic of the Two Notions by Hintikka, Jaakko

Cyberspace Security and Defense: Research Issues: Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issu by

Business Engineering in Der PRAXIS by

Ontologies for Agents: Theory and Experiences by

Applications of Agent Technology in Traffic and Transportation by

Security and Privacy in the Age of Ubiquitous Computing: Ifip Tc11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, J by

Usability von Internetanwendungen für mobile Endgeräte: Unter Betrachtung von Designrichtlinien für Ergonomie und effizienter Benutzerführung sowie de by Kaczmarek, Daniel

Plugin-basierte Komponentenarchitektur zum ticketbasierten, drahtlosen Zugriff auf ein geschütztes Netzwerk by Winkler, Benjamin, Westendörpf, Andreas

Die C++-Standardbibliothek: Einführung Und Nachschlagewerk by Kuhlins, Stefan, Schader, Martin

Cyberspace Security and Defense: Research Issues: Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issu by

Fuzzy Systems Engineering: Theory and Practice by Mourelle, Luiza De Macedo, Nedjah, Nadia

Do Smart Adaptive Systems Exist?: Best Practice for Selection and Combination of Intelligent Methods by

The Semantic Web: Research and Applications: Second European Semantic Web Conference, Eswc 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proce by

Corporate Memory: Records and Information Management in the Knowledge Age by Megill, Kenneth A.

Innovation Policy in a Knowledge-Based Economy: Theory and Practice by

Communication Acoustics by

Fuzzy Logic in Financial Analysis by Gil-Lafuente, Anna Maria

The Impact of Information on Society: An Examination of Its Nature, Value and Usage by Hill, Michael W.

Information Context: Nature, Impact, and Role: 5th International Conference on Conceptions of Library and Information Sciences, Colis 2005, Glasgow, U by

Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, Cpaior 2005, P by

Technology and Offshore Outsourcing Strategies by

Pattern Recognition and Image Analysis: Second Iberian Conference, Ibpria 2005, Estoril, Portugal, June 7-9, 2005, Proceeding, Part II by

Technology and Offshore Outsourcing Strategies by

Pattern Recognition and Image Analysis: Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part 1 by

New Computational Paradigms: First Conference on Computability in Europe, Cie 2005, Amsterdam, the Netherlands, June 8-12, 2005, Proceedings by

Introduction to Modern Number Theory: Fundamental Problems, Ideas and Theories by Panchishkin, Alexei A., Manin, Yu I.

Information and Its Role in Nature by Roederer, Juan G.

Intelligent Information Processing and Web Mining: Proceedings of the International Iis: Iipwm´05 Conference Held in Gdansk, Poland, June 13-16, 2005 by

Coding for Wireless Channels by Biglieri, Ezio

Global Optimization and Constraint Satisfaction: Second International Workshop, Cocos 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selec by

Engineering Self-Organising Systems: Methodologies and Applications by

Self-Star Properties in Complex Information Systems: Conceptual and Practical Foundations by

Reducing Risk with Software Process Improvement by Poulin, Louis

Statistical and Inductive Inference by Minimum Message Length by Wallace, C. S.

Ruling Distributed Dynamic Worlds by Sapaty, Peter S.

Digitale Bildverarbeitung Für Routineanwendungen: Evaluierung Und Integration Am Beispiel Der Medizin by Lehmann, Thomas M.

Advances in Web Intelligence: Third International Atlantic Web Intelligence Conference, Awic 2005, Lodz, Poland, June 6-9, 2005, Proceedings by

Implementation and Application of Functional Languages: 16th International Workshop, Ifl 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected by

Autonomous Intelligent Systems: Agents and Data Mining: International Workshop, Ais-Adm 2005 by

Constraint Solving and Language Processing: First International Workshop, Cslp 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invi by

Privacy Enhancing Technologies: 4th International Workshop, Pet 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers by

Applied Cryptography and Network Security: Third International Conference, Acns 2005, New York, Ny, Usa, June 7-10, 2005, Proceedings by

Advanced Topics in Electronic Commerce, Volume 1 by Khosrow-Pour, Mehdi

Encyclopedia of Multimedia Technology and Networking by

Evolutionary Multiobjective Optimization: Theoretical Advances and Applications by

Multiobjective Evolutionary Algorithms and Applications by Lee, Tong Heng, Tan, Kay Chen, Khor, Eik Fun

Functional Imaging and Modeling of the Heart: Third International Workshop, Fimh 2005, Barcelona, Spain, June 2-4, 2005, Proceedings by

Knowledge Discovery from Legal Databases by Zeleznikow, John, Stranieri, Andrew

Advances in XML Information Retrieval: Third International Workshop of the Initiative for the Evaluation of XML Retrieval, Inex 2004, Dagstuhl Castle, by

DNA Computing: 10th International Workshop on DNA Computing, Dna10, Milan, Italy, June 7-10, 2004, Revised Selected Papers by

Product Focused Software Process Improvement: 6th International Conference, Profes 2005, Oulu, Finland, June 13-18, 2005, Proceedings by

Multiple Classifier Systems: 6th International Workshop, MCS 2005, Seaside, Ca, Usa, June 13-15, 2005, Proceedings by

Integer Programming and Combinatorial Optimization: 11th International Ipco Conference, Berlin, Germany, June 8-10, 2005, Proceedings by

Sequences and Their Applications - Seta 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers by

Advanced Information Systems Engineering: 17th International Conference, Caise 2005, Porto, Portugal, June 13-17, 2005, Proceedings by

Information Security and Cryptology - Icisc 2004: 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers by

Information Systems Foundations: Constructing and Criticising by

A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial by Gabbay, Dov M., Woods, John

Assembly Automation and Product Design by Boothroyd, Geoffrey

Silicon Nanoelectronics by

Natural Language Processing and Information Systems: 10th International Conference on Applications of Natural Language to Information Systems, Nldb 20 by

Understanding MP3: Syntax, Semantics, Mathematics, and Algorithms by Ruckert, Martin

How to Manage Records in the E-Environment by Hare, Catherine, McLeod, Julie

Smart Technology for Aging, Disability, and Independence: The State of the Science by

Universal Access in Health Telematics: A Design Code of Practice by

Combinatorial Pattern Matching: 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings by

Universelle Benutzbarkeit und Barrierefreiheit bei Webseiten der breiten Masse und der öffentlichen Hand: Grundlagen, Erklärungen und Lösungswege zur by Tressl, Markus

Advanced Studies in Biometrics: Summer School on Biometrics, Alghero, Italy, June 2-6, 2003. Revised Selected Lectures and Papers by

Active Mining: Second International Workshop, Am 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers by

Unterstützung von Planungsprozessen mit SAP BW-BPS: Kritische Analyse ausgewählter Planungsverfahren und ihrer Charakteristika unter Betrachtung der U by Dubber, Dominik

Communities and Technologies 2005: Proceedings of the Second Communities and Technologies Conference, Milano 2005 by

Grammars with Context Conditions and Their Applications by Svec, Martin, Meduna, Alexander

Gdb Pocket Reference: Debugging Quickly & Painlessly with Gdb by Robbins, Arnold

An Introduction to Meshfree Methods and Their Programming by Liu, G. R., Gu, Y. T.

Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, Uk, June 20-24, 2005 by

UPC: Distributed Shared Memory Programming by Carlson, William, Sterling, Thomas, El-Ghazawi, Tarek

Hybrid Estimation of Complex Systems by Hofbaur, Michael W.

Handbook of Biomedical Image Analysis: Volume 1: Segmentation Models Part A by

Handbook of Biomedical Image Analysis: Volume 2: Segmentation Models Part B [With CDROM] by

Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, by

Konzepte Für Das Service Engineering: Modularisierung, Prozessgestaltung Und Produktivitätsmanagement by

Software Architecture: 2nd European Workshop, Ewsa 2005, Pisa, Italy, June 13-14, 2005, Proceedings by

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings by

Applications and Theory of Petri Nets 2005: 26th International Conference, Icatpn 2005, Miami, Fl, June 20-25, 2005, Proceedings by

Perspectives and Policies on ICT in Society: An Ifip Tc9 (Computers and Society) Handbook by

Sdl 2005: Model Driven: 12th International Sdl Forum, Grimstad, Norway, June 20-23, 2005, Proceedings by

The Roi from Software Quality by El Emam, Khaled

Web-Based Learning in K-12 Classrooms: Opportunities and Challenges by Blanchard, Jay, Marshall, James

The Man Behind the Microchip: Robert Noyce and the Invention of Silicon Valley by Berlin, Leslie

3D Game Animation For Dummies w/WS by Murdock, Kelly L.

Complex Dynamics in Communication Networks by

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between N by

Social Dimensions of E-Communication by Foox, Michael H.

Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, Uk, June 18-23, 2005, Proceedings by

Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms by Hromkovic, J.

Managing Cyber Threats: Issues, Approaches, and Challenges by

Database in Depth: Relational Theory for Practitioners by Date, Chris J.

AutoCAD LT 2006: The Definitive Guide: . by Grabowski, Ralph

Face Detection Using Neural Nets by Curran, Kevin

Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers by

Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence an by

Declarative Agent Languages and Technologies II: Second International Workshop, Dalt 2004, New York, Ny, Usa, July 19, 2004, Revised Selected Papers by

Distributed Computing in Sensor Systems: First IEEE International Conference, Dcoss 2005, Marina del Rey, Ca, Usa, June 30-July 1, 2005, Proceedings by

Current Trends in High Performance Computing and Its Applications: Proceedings of the International Conference on High Performance Computing and Appli by

JavaScript Demystified by Keogh, Jim

Fast Software Encryption: 12th International Workshop, Fse 2005, Paris, France, February 21-23, 2005, Revised Selected Papers by

Information Security and Privacy: 10th Australasian Conference, Acisp 2005, Brisbane, Australia, July 4-6, 2005, Proceedings by

Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings by

Learning Theory: 18th Annual Conference on Learning Theory, Colt 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings by

Intelligent Data Engineering and Automated Learning - Ideal 2005: 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings by

Media, Technology and Everyday Life in Europe: From Information to Communication by

Medical Informatics: Knowledge Management and Data Mining in Biomedicine by

Information Processing and Security Systems by

Adapting Proofs-As-Programs: The Curry--Howard Protocol by Wirsing, Martin, Poernomo, Iman, Crossley, John N.

Internet Guide to Food Safety and Security by

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, Iwmm 2004, Shanghai, China, May 19-21, 2004 and International Wo by

Designing Embedded Hardware: Create New Computers and Devices by Catsoulis, John

Quality of Service - Iwqos 2005: 13th International Workshop, Iwqos 2005, Passau, Germany, June 21-23, 2005. Proceedings by

Classic Shell Scripting: Hidden Commands That Unlock the Power of UNIX by Beebe, Nelson H. F., Robbins, Arnold

Fuzzy Group Theory by Mordeson, John N., Bhutani, Kiran R., Rosenfeld, A.

Tutorials in Mathematical Biosciences II: Mathematical Modeling of Calcium Dynamics and Signal Transduction by

Real World Applications of Computational Intelligence by

Implementing Distributed Systems with Java and CORBA by Schader, Martin, Korthaus, Axel, Aleksy, Markus

Modern Control Theory by Bubnicki, Zdzislaw

Theoretical and Experimental DNA Computation by Amos, Martyn

Algorithmic Foundations of Robotics VI by

The Internet as a Large-Scale Complex System by

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, Ecsqaru 2005, Barcelona, Spain, July 6-8, 2005, Proceedin by

Information Processing in Medical Imaging: 19th International Conference, Ipmi 2005, Glenwood Springs, Co, Usa, July 10-15, 2005, Proceedings by

Logic Based Program Synthesis and Transformation: 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Paper by

Modeling and Using Context: 5th International and Interdisciplinary Conference, Context 2005, Paris, France, July 5-8, 2005, Proceedings by

Database: Enterprise, Skills and Innovation: 22nd British National Conference on Databases, Bncod 22, Sunderland, Uk, July 5-7, 2005, Proceedings by

Massively Multi-Agent Systems I: First International Workshop, Mmas 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers by

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings by

The Internet in Indonesia's New Democracy by Hill, David T., Sen, Krishna

Detection of Intrusions and Malware, and Vulnerability Assessment: Second International Conference, Dimva 2005, Vienna, Austria, July 7-8, 2005, Proce by

Classification - The Ubiquitous Challenge: Proceedings of the 28th Annual Conference of the Gesellschaft Für Klassifikation E.V., University of Dortmu by

Model-Based Testing of Reactive Systems: Advanced Lectures by

Knowledge and Information Visualization: Searching for Synergies by

Gatewatching: Collaborative Online News Production by Bruns, Axel

Entwicklung eines Vorgehensmodells für SAP BW-Projekte by Bleck, Michael

A Software Process Model Handbook for Incorporating People's Capabilities by Acuna, Silvia T., Juristo, Natalia, Moreno, Ana Maria

Sap(r)-Gestütztes Rechnungswesen: Methodische Grundlagen Und Fallbeispiele Mit Mysap Erp(r) Und Sap-Bi(r) by Frick, Detlev, Gadatsch, Andreas

Design of Embedded Control Systems by

Building Asips: The Mescal Methodology by Gries, Matthias, Keutzer, Kurt

Information and Communication Technologies and Real-Life Learning: New Education for the Knowledge Society by

Digitaler Personalausweis: Eine Machbarkeitsstudie by

Internet Pricing: Economic Approaches to Transport Services and Infrastructure by Graber, Andrea

Supply Chain Event Management: Anforderungen Und Potentiale Am Beispiel Der Automobilindustrie by Hunewald, Christian

Erwerb Von Problemlösefähigkeit Durch Lernumgebungen: Konzeption Und Implementierung Eines Frameworks by Ullrich, Christian

Professionalisierung Der Informatik: Chance Für Die Beteiligung Von Frauen? by Ruiz Ben, Esther

Elektronischer Handel: Einbettung in Geschäftsbeziehungen Und Supply Chains by Hausen, Tobias

Teaching the National ICT Strategy at Key Stage 3: A Practical Guide by Furlonger, Clare, Haywood, Susan

A Compositional Approach to Performance Modelling by Hillston, Jane, Jane, Hillston

Modelling and Identification with Rational Orthogonal Basis Functions by

Rippling: Meta-Level Guidance for Mathematical Reasoning by Bundy, Alan, Basin, David, Hutter, Dieter

The Business of Systems Integration: 2nd Edn by

Encyclopedia of Developing Regional Communities with Information and Communication Technology by

Avoiding Surprise in an Era of Global Technology Advances by Division on Engineering and Physical Sciences, Committee on Defense Intelligence Agency Technology Forecast, National Research Council