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
  • Secure IT Systems Secure IT Systems
    Add to Cart The item has been added

    Secure IT Systems

    This book constitutes the refereed proceedings of the 18th Nordic Conference on Secure IT Systems, NordSec 2013, held in Ilulissat, Greenland, in October 2013. The 18 revised regular papers together...
    $122.00

    Add to Cart The item has been added
  • Evolution of Telecommunication Services Evolution of Telecommunication Services
    Add to Cart The item has been added

    Evolution of Telecommunication Services

    In the telecom world, services have usually been conceived with a specific mindset. This mindset has defined the traditional characteristics of these services; services distinguished by their linkage...
    $92.00

    Add to Cart The item has been added
  • Internet and Distributed Computing Systems Internet and Distributed Computing Systems
    Add to Cart The item has been added

    Internet and Distributed Computing Systems

    This book constitutes the refereed proceedings of the 6th International Conference on Internet and Distributed Computing Systems, IDCS 2013, held in Hangzhou, China, in October 2013.The 20 revised...
    $122.00

    Add to Cart The item has been added
  • Model and Data Engineering Model and Data Engineering
    Add to Cart The item has been added

    Model and Data Engineering

    This book constitutes the refereed proceedings of the Third International Conference on Model and Data Engineering, MEDI 2013, held in Amantea, Calabria, Italy, in September 2013. The 19 long papers...
    $122.00

    Add to Cart The item has been added
  • Situational Method Engineering Situational Method Engineering
    Add to Cart The item has been added

    Situational Method Engineering

    While previously available methodologies for software - like those published in the early days of object technology - claimed to be appropriate for every conceivable project, situational method...
    $122.00

    Add to Cart The item has been added
  • On the Move to Meaningful Internet Systems On the Move to Meaningful Internet Systems
    Add to Cart The item has been added

    On the Move to Meaningful Internet Systems

    This volume constitutes the refereed proceedings of the confederated international conferences: Cooperative Information Systems (CoopIS 2013), Distributed Objects and Applications (DOA-Trusted Cloud...
    $122.00

    Add to Cart The item has been added
  • Introduction to Cryptography with Maple Introduction to Cryptography with Maple
    Add to Cart The item has been added

    Introduction to Cryptography with Maple

    This introduction to cryptography employs a programming-oriented approach to study the most important cryptographic schemes in current use and the main cryptanalytic attacks against them. Discussion...
    $116.00

    Add to Cart The item has been added
  • Software Testing in the Cloud Software Testing in the Cloud
    Add to Cart The item has been added

    Software Testing in the Cloud

    For a large, complex system, the amount of test cases in a regression test suite can range from a few hundred to several thousands, which can take hours or even days to execute. Regression testing...
    $116.00

    Add to Cart The item has been added
  • Combinatorial Optimization and Applications Combinatorial Optimization and Applications
    Add to Cart The item has been added

    Combinatorial Optimization and Applications

    This book constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta, Canada, in August 2012. The 33 revised papers including one invited talk and...
    $116.00

    Add to Cart The item has been added
  • Descriptional Complexity of Formal Systems Descriptional Complexity of Formal Systems
    Add to Cart The item has been added

    Descriptional Complexity of Formal Systems

    This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers...
    $92.00

    Add to Cart The item has been added
  • Progress in VLSI Design and Test Progress in VLSI Design and Test
    Add to Cart The item has been added

    Progress in VLSI Design and Test

    This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented...
    $122.00

    Add to Cart The item has been added
  • Modelling Foundations and Applications Modelling Foundations and Applications
    Add to Cart The item has been added

    Modelling Foundations and Applications

    This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations...
    $122.00

    Add to Cart The item has been added
  • Logic, Language and Meaning Logic, Language and Meaning
    Add to Cart The item has been added

    Logic, Language and Meaning

    This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out...
    $116.00

    Add to Cart The item has been added
  • Ontology-Driven Software Development Ontology-Driven Software Development
    Add to Cart The item has been added

    Ontology-Driven Software Development

    This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software...
    $227.00

    Add to Cart The item has been added
  • Algorithm Theory -- SWAT 2012 Algorithm Theory -- SWAT 2012
    Add to Cart The item has been added

    Algorithm Theory -- SWAT 2012

    This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with...
    $92.00

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

    Application and Theory of Petri Nets

    This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012...
    $92.00

    Add to Cart The item has been added
  • OpenMP in a Heterogeneous World OpenMP in a Heterogeneous World
    Add to Cart The item has been added

    OpenMP in a Heterogeneous World

    This book constitutes the refereed proceedings of the 8th International Workshop on OpenMP, held in in Rome, Italy, in June 2012. The 18 technical full papers presented together with 7 posters were...
    $122.00

    Add to Cart The item has been added
  • Formal Methods for Model-Driven Engineering Formal Methods for Model-Driven Engineering
    Add to Cart The item has been added

    Formal Methods for Model-Driven Engineering

    This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems,...
    $92.00

    Add to Cart The item has been added
  • Trust and Trustworthy Computing Trust and Trustworthy Computing
    Add to Cart The item has been added

    Trust and Trustworthy Computing

    This book constitutes the refereed proceedings of the 5th International Conference on Trust and Trustworthy Computing, TRUST 2012, held in Vienna, Austria, in June 2012. The 19 revised full papers...
    $122.00

    Add to Cart The item has been added
  • Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
    Add to Cart The item has been added

    Formal Techniques for Distributed Systems

    This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1...
    $122.00

    Add to Cart The item has been added
  • Correct Reasoning Correct Reasoning
    Add to Cart The item has been added

    Correct Reasoning

    This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation...
    $92.00

    Add to Cart The item has been added
  • Dependable Networks and Services Dependable Networks and Services
    Add to Cart The item has been added

    Dependable Networks and Services

    This book constitutes the refereed proceedings of the 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, held in Luxembourg in June 2012. The...
    $92.00

    Add to Cart The item has been added
  • Wireless Internet Wireless Internet
    Add to Cart The item has been added

    Wireless Internet

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International ICST Conference on Wireless Internet (WICON 2011) held in Xi'an, Shaanxi, China in October 2011. The...
    $92.00

    Add to Cart The item has been added
  • Tests and Proofs Tests and Proofs
    Add to Cart The item has been added

    Tests and Proofs

    This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated...
    $83.00

    Add to Cart The item has been added
  • Wired / Wireless Internet Communication Wired / Wireless Internet Communication
    Add to Cart The item has been added

    Wired / Wireless Internet Communication

    This book constitutes the refereed proceedings of the 10th International Conference on Wired / Wireless Internet Communications, WWIC, held in Santorini island, Greece during June 6-8, 2012. The 23...
    $116.00

    Add to Cart The item has been added
  • Information Security and Privacy Research Information Security and Privacy Research
    Add to Cart The item has been added

    Information Security and Privacy Research

    This book constitutes the refereed proceedings of the 27th IFIP TC 11 International Information Security Conference, SEC 2012, held in Heraklion, Crete, Greece, in June 2012. The 42 revised full...
    $227.00

    Add to Cart The item has been added
  • Public Key Cryptography -- PKC 2012 Public Key Cryptography -- PKC 2012
    Add to Cart The item has been added

    Public Key Cryptography -- PKC 2012

    This book constitutes the refereed proceedings of the 15th International Conference on Practice and Theory in Public Key Cryptography, PKC 2012, held in Darmstadt, Germany, in May 2012. The 41 papers...
    $116.00

    Add to Cart The item has been added
  • NETWORKING 2012 NETWORKING 2012
    Add to Cart The item has been added

    NETWORKING 2012

    The two-volume set LNCS 7289 and 7290 constitutes the refereed proceedings of the 11th International IFIP TC 6 Networking Conference held in Prague, Czech Republic, in May 2012. The 64 revised full...
    $92.00

    Add to Cart The item has been added
  • NETWORKING 2012 Workshops NETWORKING 2012 Workshops
    Add to Cart The item has been added

    NETWORKING 2012 Workshops

    This book constitutes the refereed proceedings of three workshops colocated with NETWORKING 2012, held in Prague, Czech Republic, in May 2012: the Workshop on Economics and Technologies for...
    $92.00

    Add to Cart The item has been added
  • Business Modeling and Software Design Business Modeling and Software Design
    Add to Cart The item has been added

    Business Modeling and Software Design

    This book contains the extended and revised versions of eight of the ten full papers (out of 58 submissions) presented at the First International Symposium on Business Modeling and Software Design...
    $111.00

    Add to Cart The item has been added
  • Software and Data Technologies Software and Data Technologies
    Add to Cart The item has been added

    Software and Data Technologies

    This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010.The...
    $122.00

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

    Logic and Program Semantics

    This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in...
    $122.00

    Add to Cart The item has been added
  • Euro-Par 2011 Euro-Par 2011
    Add to Cart The item has been added

    Euro-Par 2011

    This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 17th International Conference on Parallel Computing, Euro-Par 2011, held in Bordeaux, France, in August...
    $122.00

    Add to Cart The item has been added
  • Games, Actions, and Social Software Games, Actions, and Social Software
    Add to Cart The item has been added

    Games, Actions, and Social Software

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "Games, actions and Social software"...
    $113.00

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