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
  • Recent Trends in Data Type Specification Recent Trends in Data Type Specification
    Add to Cart The item has been added

    Recent Trends in Data Type Specification

    Donald Sannella

    The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The...
    $121.54

    Add to Cart The item has been added
  • CSL '87 CSL '87
    Add to Cart The item has been added

    CSL '87

    Egon Börger

    This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • VDM '88. VDM - The Way Ahead VDM '88. VDM - The Way Ahead
    Add to Cart The item has been added

    VDM '88. VDM - The Way Ahead

    Robin E. Bloomfield

    This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering...
    $115.93

    Add to Cart The item has been added
  • Attribute Grammars Attribute Grammars
    Add to Cart The item has been added

    Attribute Grammars

    Pierre Deransart

    Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large...
    $121.54

    Add to Cart The item has been added
  • The Semantic Web - ISWC 2006 The Semantic Web - ISWC 2006
    Add to Cart The item has been added

    The Semantic Web - ISWC 2006

    Isabel Cruz

    This book constitutes the refereed proceedings of the 5th International Semantic Web Conference, ISWC 2006, held in Athens, GA, USA in November 2006. It features more than 52 papers that address all...
    $334.16

    Add to Cart The item has been added
  • Advances in Web Based Learning -- ICWL 2006 Advances in Web Based Learning -- ICWL 2006
    Add to Cart The item has been added

    Advances in Web Based Learning -- ICWL 2006

    Wenyin Liu

    This book contributes the thoroughly refereed post-proceedings of the 5th International Conference on Web-Based Learning, ICWL 2006, held in Penang, Malaysia in July 2006. The 31 revised full papers...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Leveraging Applications of Formal Methods Leveraging Applications of Formal Methods
    Add to Cart The item has been added

    Leveraging Applications of Formal Methods

    Tiziana Maragria

    This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in...
    $121.54

    Add to Cart The item has been added
  • Evolutionary Scheduling Evolutionary Scheduling
    Add to Cart The item has been added

    Evolutionary Scheduling

    Keshav Dahal

    Evolutionary scheduling is a vital research domain at the interface of artificial intelligence and operational research. This edited book gives an overview of many of the current developments in the...
    $334.16

    Add to Cart The item has been added
  • Echtzeitsysteme im Alltag Echtzeitsysteme im Alltag
    Add to Cart The item has been added

    Echtzeitsysteme im Alltag

    Peter Holleczek

    Visuelle Lenkassistenz für Fahrzeuge mit Einachsanhänger.- DVB-T-C-S Digitales Fernsehen über Antenne, Kabel und Satellit, MHP Echtzeitübertragung im digitalen Fernsehen.- Koexistenz...
    $109.11

    Add to Cart The item has been added
  • Large Scale Management of Distributed Systems Large Scale Management of Distributed Systems
    Add to Cart The item has been added

    Large Scale Management of Distributed Systems

    Radu State

    This book constitutes the refereed proceedings of the 17th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM 2006, held in Dublin, Ireland in October 2006 in...
    $121.54

    Add to Cart The item has been added
  • Conceptual Modeling - ER 2006 Conceptual Modeling - ER 2006
    Add to Cart The item has been added

    Conceptual Modeling - ER 2006

    David W. Embley

    This book constitutes the refereed proceedings of the 25th International Conference on Conceptual Modeling, ER 2006, held in Tucson, AZ, USA in November 2006. The 37 revised full papers presented...
    $219.36

    Add to Cart The item has been added
  • Central European Functional Programming School Central European Functional Programming School
    Add to Cart The item has been added

    Central European Functional Programming School

    Zoltn Horvth

    This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Middleware 2006 Middleware 2006
    Add to Cart The item has been added

    Middleware 2006

    Maarten van Steen

    This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers...
    $121.54

    Add to Cart The item has been added
  • Theoretical Aspects of Computing - ICTAC 2006 Theoretical Aspects of Computing - ICTAC 2006
    Add to Cart The item has been added

    Theoretical Aspects of Computing - ICTAC 2006

    Kamel Barkaoui

    This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Requirements Management Requirements Management
    Add to Cart The item has been added

    Requirements Management

    Colin Hood

    This book focuses on the interfaces of Requirements Management to the other disciplines of Systems Engineering. An introduction into Requirements Management and Requirements Development is given,...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Refinement Techniques in Software Engineering Refinement Techniques in Software Engineering
    Add to Cart The item has been added

    Refinement Techniques in Software Engineering

    Ana Cavalcanti

    This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Variations on Constants Variations on Constants
    Add to Cart The item has been added

    Variations on Constants

    Markus Müller-Olm

    This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Conceptual Modeling - ER 2002 Conceptual Modeling - ER 2002
    Add to Cart The item has been added

    Conceptual Modeling - ER 2002

    Stefano Spaccapietra

    For more than 20 years, the series of Conceptual Modeling - ER conferences has provided a forum for research communities and practitioners to present and - change research results and practical...
    $121.54

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

    Algorithms - ESA 2002

    Rolf Möhring

    This volume contains the 74 contributed papers and abstracts of 4 of the 5 invited talks presented at the 10th Annual European Symposium on Algorithms (ESA 2002), held at the University of Rome "La...
    $264.24

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

    Avatare

    Christian Lindner

    I Grundlagen.- Wer braucht wofür Avatare? Konzeption und Implementierung natürlichsprachlicher Systeme - Zur Einführung.- Die Bedeutung von natürlichsprachlichen Dialogsystemen im Internet-Business.-...
    RRP: $87.99
    $86.23

    Add to Cart The item has been added
  • Algorithm Engineering and Experiments Algorithm Engineering and Experiments
    Add to Cart The item has been added

    Algorithm Engineering and Experiments

    David M. Mount

    This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Algorithm Engineering and Experiments, ALENEX 2002, held in San Francisico, CA, USA in January 2002...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • CONCUR 2002 - Concurrency Theory CONCUR 2002 - Concurrency Theory
    Add to Cart The item has been added

    CONCUR 2002 - Concurrency Theory

    Lubos Brim

    This volume contains the proceedings of the 13th International Conference on Concurrency Theory (CONCUR 2002)held in Brno, Czech Republic, August 20-23, 2002. The purpose of the CONCUR conferences is...
    $219.36

    Add to Cart The item has been added
  • Invasive Software Composition Invasive Software Composition
    Add to Cart The item has been added

    Invasive Software Composition

    Uwe Aßmann

    Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Graph Transformation Graph Transformation
    Add to Cart The item has been added

    Graph Transformation

    Andrea Corradini

    ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef...
    $121.54

    Add to Cart The item has been added
  • Computer Safety, Reliability and Security Computer Safety, Reliability and Security
    Add to Cart The item has been added

    Computer Safety, Reliability and Security

    Stuart Anderson

    This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.The 27...
    $115.93

    Add to Cart The item has been added
  • Parallel Problem Solving from Nature - PPSN VII Parallel Problem Solving from Nature - PPSN VII
    Add to Cart The item has been added

    Parallel Problem Solving from Nature - PPSN VII

    Juan J. Merelo

    We are proud to introduce the proceedings of the Seventh International C- ference on Parallel Problem Solving from Nature, PPSN VII, held in Granada, Spain, on 7-11 September 2002. PPSN VII was...
    $323.29

    Add to Cart The item has been added
  • Advances in Object-Oriented Information Systems Advances in Object-Oriented Information Systems
    Add to Cart The item has been added

    Advances in Object-Oriented Information Systems

    Jean-Michel Bruel

    For the ?rst time four workshops have been held in conjunction with the 8th Object-Oriented Information Systems conference, OOIS 2002, to encourage - teraction between researchers and practitioners...
    $121.54

    Add to Cart The item has been added
  • Object-Oriented Information Systems Object-Oriented Information Systems
    Add to Cart The item has been added

    Object-Oriented Information Systems

    Zohra Bellahsene

    The OOIS series of conferences has provided a forum for the presentation and exchange of academic research and industrial experiences within the ?eld of information systems, based on object-oriented...
    RRP: $185.90
    $183.11

    Add to Cart The item has been added
  • Euro-Par 2002. Parallel Processing Euro-Par 2002. Parallel Processing
    Add to Cart The item has been added

    Euro-Par 2002. Parallel Processing

    Burkhard Monien

    Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can...
    $264.24

    Add to Cart The item has been added
  • Advances in Web-Based Learning Advances in Web-Based Learning
    Add to Cart The item has been added

    Advances in Web-Based Learning

    Joseph Shi Piu Fong

    On behalf of the organizing and program committees of ICWL 2002 we trust you found the conference a fruitful experience and hope you had an enjoyable stay in Hong Kong. August 2002 Ronnie...
    $115.93

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