Computer programming / software engineering Books

Sidebar Sidebar Sidebar
  • Advances in Cryptology -- ASIACRYPT 2013 Advances in Cryptology -- ASIACRYPT 2013
    Add to Cart The item has been added

    Advances in Cryptology -- ASIACRYPT 2013

    Kazue Sako

    The two-volume set LNCS 8269 and 8270 constitutes the refereed proceedings of the 19th International Conference on the Theory and Application of Cryptology and Information, Asiacrypt 2013, held in...
    $121.54

    Add to Cart The item has been added
  • Advances in Cryptology - ASIACRYPT 2013 Advances in Cryptology - ASIACRYPT 2013
    Add to Cart The item has been added

    Advances in Cryptology - ASIACRYPT 2013

    Kazue Sako

    The two-volume set LNCS 8269 and 8270 constitutes the refereed proceedings of the 19th International Conference on the Theory and Application of Cryptology and Information, Asiacrypt 2013, held in...
    $121.54

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

    Information and Software Technologies

    Tomas Skersys

    This book constitutes the refereed proceedings of the 19th International Conference on Information and Software Technologies, ICIST 2013, held in Kaunas, Lithuania, in October 2013. The 34 papers...
    $121.54

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

    Conceptual Modeling - ER 2013

    Wilfred Ng

    This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers...
    $105.39

    Add to Cart The item has been added
  • Testing Software and Systems Testing Software and Systems
    Add to Cart The item has been added

    Testing Software and Systems

    Hüsnü Yenigün

    This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised...
    $105.39

    Add to Cart The item has been added
  • Enterprise Architecture Enterprise Architecture
    Add to Cart The item has been added

    Enterprise Architecture

    Martin Op't Land

    This book is positioned as a rst in a series of books on enterprise architecture needed for a Master of Enterprise Architecture program, and is targeted both at university students and practitioners...
    RRP: $93.49
    $91.62

    Add to Cart The item has been added
  • Model-Driven Engineering Languages and Systems Model-Driven Engineering Languages and Systems
    Add to Cart The item has been added

    Model-Driven Engineering Languages and Systems

    Ana Moreira

    This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013...
    $105.39

    Add to Cart The item has been added
  • Secure IT Systems Secure IT Systems
    Add to Cart The item has been added

    Secure IT Systems

    Hanne Riis Nielsen

    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...
    $121.54

    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

    Emmanuel Bertin

    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...
    RRP: $93.49
    $91.62

    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

    Mukaddim Pathan

    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...
    $105.39

    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

    Alfredo Cuzzocrea

    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...
    $105.39

    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

    Brian Henderson-Sellers

    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...
    $121.54

    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

    Robert Meersman

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

    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

    José Luis Gómez Pardo

    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...
    $105.39

    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

    Scott Tilley

    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...
    $115.93

    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

    Guohui Lin

    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...
    $105.39

    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

    Martin Kutrib

    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...
    RRP: $93.49
    $91.62

    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

    Hafizur Rahaman

    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...
    $105.39

    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

    Antonio Vallecillo

    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...
    $105.39

    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

    Maria Aloni

    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...
    $105.39

    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

    Jeff Z. Pan

    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...
    $199.42

    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

    Fedor V. Fomin

    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...
    RRP: $93.49
    $91.62

    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

    Serge Haddad

    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...
    RRP: $93.49
    $91.62

    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

    Barbara Chapman

    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...
    $121.54

    Add to Cart The item has been added
  • Abstract State Machines, Alloy, B, VDM, and Z Abstract State Machines, Alloy, B, VDM, and Z
    Add to Cart The item has been added

    Abstract State Machines, Alloy, B, VDM, and Z

    John Derrick

    This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented...
    $121.54

    Add to Cart The item has been added
  • Software Service and Application Engineering Software Service and Application Engineering
    Add to Cart The item has been added

    Software Service and Application Engineering

    Maritta Heisel

    This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and...
    $105.39

    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

    Marco Bernardo

    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,...
    $105.39

    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

    Stefan Katzenbeisser

    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...
    $121.54

    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

    Holger Giese

    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...
    $121.54

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

    Correct Reasoning

    Esra Erdem

    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...
    RRP: $93.49
    $91.62

    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

    Ramin Sadre

    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...
    $105.39

    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

    Achim Brucker

    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...
    $105.39

    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

    Yevgeni Koucheryavy

    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...
    $105.39

    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

    Dimitris Gritzalis

    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...
    $199.42

    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

    Marc Fischlin

    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...
    $105.39

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

    NETWORKING 2012

    Robert Bestak

    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...
    RRP: $93.49
    $91.62

    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

    Zdenek Becvar

    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...
    RRP: $93.49
    $91.62

    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

    Boris Shishkov

    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...
    $110.10

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