Computer programming / software engineering Books

Agile programming
Algorithms and data structures
Aspect programming / AOP
Compilers and interpreters
Database programming
Extreme programming
Functional programming
Games development and programming
Graphics programming
Macintosh programming
Microsoft programming
Mobile and handheld device programming / Apps prog
Network programming
Object-oriented programming (OOP)
Programming and scripting languages: general
Programming techniques
Software Engineering
Web programming
Sidebar Sidebar Sidebar
  • Applied Formal Methods - FM-Trends 98 Applied Formal Methods - FM-Trends 98
    Add to Cart The item has been added

    Applied Formal Methods - FM-Trends 98

    Dieter Hutter

    This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • CONCUR'99. Concurrency Theory CONCUR'99. Concurrency Theory
    Add to Cart The item has been added

    CONCUR'99. Concurrency Theory

    Jos C.M. Baeten

    This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) held in Eindhoven, The Netherlands, 24-27 August 1999. ...
    $219.36

    Add to Cart The item has been added
  • The Unified Modeling Language. <<UML>>'98 The Unified Modeling Language. <<UML>>'98
    Add to Cart The item has been added

    The Unified Modeling Language. <<UML>>'98

    Jean Bezivin

    This volume contains mainly the revised versions of papers presented at the wo- shop <>'98, "Beyond the Notation", that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have...
    $121.54

    Add to Cart The item has been added
  • Algorithms - ESA'99 Algorithms - ESA'99
    Add to Cart The item has been added

    Algorithms - ESA'99

    Jaroslav Nesetril

    The 7th Annual European Symposium on Algorithms (ESA '99) is held in Prague, Czech Republic, July 16-18, 1999. This continued the tradition of the meetings which were held in - 1993 Bad Honnef...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Meta-Level Architectures and Reflection Meta-Level Architectures and Reflection
    Add to Cart The item has been added

    Meta-Level Architectures and Reflection

    Pierre Cointe

    This book constitutes the refereed proceedings of the Second International Conference on Meta-Level Architectures and Reflection, Reflection'99, held in St. Malo, France in July 1999. The 13 revised...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Vector and Parallel Processing - VECPAR'98 Vector and Parallel Processing - VECPAR'98
    Add to Cart The item has been added

    Vector and Parallel Processing - VECPAR'98

    Jose M.L.M. Palma

    This book stands as the visible mark of VECPAR'98 - 3rd International Meeting on Vector and Parallel Processing, which was held in Porto (Portugal) from 21 to 23 June 1998. VECPAR'98 was the third of...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • ECOOP '99 - Object-Oriented Programming ECOOP '99 - Object-Oriented Programming
    Add to Cart The item has been added

    ECOOP '99 - Object-Oriented Programming

    Rachid Guerraoui

    \My tailor is Object-Oriented". Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded...
    $115.93

    Add to Cart The item has been added
  • Application and Theory of Petri Nets 1999 Application and Theory of Petri Nets 1999
    Add to Cart The item has been added

    Application and Theory of Petri Nets 1999

    Susanna Donatelli

    This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for the dissemination of...
    $115.93

    Add to Cart The item has been added
  • Secure Internet Programming Secure Internet Programming
    Add to Cart The item has been added

    Secure Internet Programming

    Jan Vitek

    Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Reliable Software Technologies - Ada-Europe '99 Reliable Software Technologies - Ada-Europe '99
    Add to Cart The item has been added

    Reliable Software Technologies - Ada-Europe '99

    Michael Gonzalez Harbour

    The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation...
    $121.54

    Add to Cart The item has been added
  • Coordination Languages and Models Coordination Languages and Models
    Add to Cart The item has been added

    Coordination Languages and Models

    Paolo Ciancarini

    We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing...
    $121.54

    Add to Cart The item has been added
  • Fully Integrated Data Environments Fully Integrated Data Environments
    Add to Cart The item has been added

    Fully Integrated Data Environments

    Malcolm P. Atkinson

    This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems...
    $308.53

    Add to Cart The item has been added
  • Formal Syntax and Semantics of Java Formal Syntax and Semantics of Java
    Add to Cart The item has been added

    Formal Syntax and Semantics of Java

    Jim Alves-Foss

    Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and...
    $115.93

    Add to Cart The item has been added
  • Compiling Natural Semantics Compiling Natural Semantics
    Add to Cart The item has been added

    Compiling Natural Semantics

    Mikael Pettersson

    Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Interacting Code Motion Transformations Interacting Code Motion Transformations
    Add to Cart The item has been added

    Interacting Code Motion Transformations

    Oliver Rüthing

    Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are...
    $121.54

    Add to Cart The item has been added
  • Computer Algebra Handbook Computer Algebra Handbook
    Add to Cart The item has been added

    Computer Algebra Handbook

    M. Hitz

    This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems...
    $264.24

    Add to Cart The item has been added
  • STACS 99 STACS 99
    Add to Cart The item has been added

    STACS 99

    Christoph Meinel

    The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The current volume cons- tutes the proceedings of the 16th STACS conference,...
    $226.80

    Add to Cart The item has been added
  • Software Process Software Process
    Add to Cart The item has been added

    Software Process

    Jean-Claude Derniame

    1 Jean Claude Derniame Software process technology is an emerging and strategic area that has already reached a reasonable degree of maturity, delivering products and significant industrial expe...
    $121.54

    Add to Cart The item has been added
  • Compositionality Compositionality
    Add to Cart The item has been added

    Compositionality

    Willem-Paul de Roever

    This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the...
    $226.80

    Add to Cart The item has been added
  • Advances in Computing Science - ASIAN'98 Advances in Computing Science - ASIAN'98
    Add to Cart The item has been added

    Advances in Computing Science - ASIAN'98

    Jieh Hsiang

    This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also...
    $121.54

    Add to Cart The item has been added
  • Lectures on Petri Nets II Lectures on Petri Nets II
    Add to Cart The item has been added

    Lectures on Petri Nets II

    Wolfgang Reisig

    The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a...
    $121.54

    Add to Cart The item has been added
  • Image coming soon
    Add to Cart The item has been added

    Lectures on Petri Nets I

    Wolfgang Reisig

    The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a...
    $115.93

    Add to Cart The item has been added
  • Transactions and Change in Logic Databases Transactions and Change in Logic Databases
    Add to Cart The item has been added

    Transactions and Change in Logic Databases

    Burkhard Freitag

    This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.The technical papers presenting...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • SOFSEM '98 SOFSEM '98
    Add to Cart The item has been added

    SOFSEM '98

    Branislav Rovan

    This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics | SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998...
    $115.93

    Add to Cart The item has been added
  • Lectures on Embedded Systems Lectures on Embedded Systems
    Add to Cart The item has been added

    Lectures on Embedded Systems

    Grzegorz Rozenberg

    This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly...
    $115.93

    Add to Cart The item has been added
  • ZUM '98 ZUM '98
    Add to Cart The item has been added

    ZUM '98

    Jonathan P. Bowen

    1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only...
    $121.54

    Add to Cart The item has been added
  • Principles of Declarative Programming Principles of Declarative Programming
    Add to Cart The item has been added

    Principles of Declarative Programming

    Catuscia Palamidessi

    This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International...
    $121.54

    Add to Cart The item has been added
  • Optimal Interprocedural Program Optimization Optimal Interprocedural Program Optimization
    Add to Cart The item has been added

    Optimal Interprocedural Program Optimization

    Jens Knoop

    Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural...
    $115.93

    Add to Cart The item has been added
  • Logic Program Synthesis and Transformation Logic Program Synthesis and Transformation
    Add to Cart The item has been added

    Logic Program Synthesis and Transformation

    Norbert Fuchs

    This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to...
    $105.39

    Add to Cart The item has been added
  • Logic Programming and Knowledge Representation Logic Programming and Knowledge Representation
    Add to Cart The item has been added

    Logic Programming and Knowledge Representation

    Luis Moniz Pereira

    This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA,...
    $115.93

    Add to Cart The item has been added
  • Software Process Technology Software Process Technology
    Add to Cart The item has been added

    Software Process Technology

    Volker Gruhn

    This book constitutes the refereed proceedings of the 6th European Workshop on Software Process Technology, EWSPT '98, held in Weybridge, UK in September 1998.The 16 revised full papers presented...
    $121.54

    Add to Cart The item has been added
  • CONCUR '98 Concurrency Theory CONCUR '98 Concurrency Theory
    Add to Cart The item has been added

    CONCUR '98 Concurrency Theory

    Davide Sangiorgi

    This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full papers presented were ...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • ECOOP '98 - Object-Oriented Programming ECOOP '98 - Object-Oriented Programming
    Add to Cart The item has been added

    ECOOP '98 - Object-Oriented Programming

    Eric Jul

    This book constitutes the refereed proceedings of the 12th European Conference on Object-Oriented Programming, ECOOP'98, held in Brussels, Belgium, in July 1998.The book presents 24 revised full...
    $219.36

    Add to Cart The item has been added
  • Many-Valued Logics 2 Many-Valued Logics 2
    Add to Cart The item has been added

    Many-Valued Logics 2

    Leonard Bolc

    Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
Computer programming / software engineering