Add Wish List Add to Cart The item has been added Predictably Dependable Computing Systems Brian Randell The first ESPRIT Basic Research Project on Predictably Dependable Computing Systems (No. 3092, PDCS) commenced in May 1989, and ran until March 1992. The institutions and principal investigators that... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Numerical Toolbox for Verified Computing I Rolf Hammer As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added From Object Modelling to Advanced Visual Communication Sabine Coquillart RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Iteration Theories Stephen L. Bloom This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Analytical Methods in Software Engineering Economics Thomas R. Gulledge This volume presents a selection of the presentations from the first annual conference on Analytical Methods in Software Engineering Economics held at The MITRE Corporation in McLean, Virginia. The... RRP: $196.90 $193.95 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Systematic Introduction to Expert Systems Frank Puppe At present one of the main obstacles to a broader application of expert systems is the lack of a theory to tell us which problem-solving methods areavailable for a given problem class. Such a... RRP: $232.34 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interactive Multimedia Learning Environments Max Giardina RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Programming and Mathematical Method Manfred Broy RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Specification and Analysis of Concurrent Systems Ryszard Janicki RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Scientific Visualization Frits H. Post RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Universal Algebra for Computer Scientists Wolfgang Wechler A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer Algorithms for Solving Linear Algebraic Equations Emilio Spedicato RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logic, Algebra, and Computation Friedrich L. Bauer RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Object-Oriented Graphics I Edwin H. Blake RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added User Interface Management and Design David Duce RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Structural Complexity II Jose L. Balcazar RRP: $232.34 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added A Primer in Petri Net Design Wolfgang Reisig Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Constructive Methods in Computing Science Manfred Broy RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advanced Information Technologies for Industrial Material Flow Systems Shimon Y. Nof This book contains the results of an Advanced Research Workshop that took place in Grenoble, France, in June 1988. The objective of this NATO ARW on Advanced Information Technologies for Industrial... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Deductive Program Design Manfred Broy Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state... RRP: $361.90 $356.47 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Intelligent Information Agents Matthias Klusch This book covers a broad range of intelligent information agents, presenting the latest state-of-the-art research in the field. Each section is systematically and coherently introduced, including... RRP: $226.80 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Finiteness and Regularity in Semigroups and Formal Languages Aldo de Luca This is a rigorous and self-contained monograph on a central topic in theoretical computer science. For the first time in book form, original results from the last ten years are presented, some... RRP: $185.90 $183.11 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Engineering Research, Management and Applications 2009 Roger Lee The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009) was held on Hainan Island, China from December 2 - 4. SERA '09 featured excellent... RRP: $308.53 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Constructive Neural Networks Leonardo Franco This book presents a collection of invited works that consider constructive methods for neural networks, taken primarily from papers presented at a special th session held during the 18 International... RRP: $373.89 $368.28 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Elektrik/Elektronik-Architekturen im Kraftfahrzeug Thilo Streichert Das Fachbuch liefert eine Einführung in das Thema Elektrik/Elektronik-Architekturen im Kraftfahrzeug. Dabei betrachten und analysieren die Autoren Echtzeit-Netzwerke als Gesamtsystem und erweitern... RRP: $219.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles and Practice of Multi-Agent Systems Nirmit Desai This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2010, held in Kolkata, India,... RRP: $105.39 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Service Oriented Computing Gerti Kappel This book constitutes the refereed proceedings of the 9th International Conference on Service-Oriented Computing, ICSOC 2011, held in Paphos, Cyprus, in December 2011. The 54 revised papers... RRP: $187.04 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer Security - ESORICS 2011 Vijay Atluri This book constitutes the refereed proceedings of the 16th European Symposium on Computer Security, ESORICS 2011, held in Leuven, Belgium, in September 2011. The 36 papers included in the book were... RRP: $205.19 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Ecoop 2011--Object-Oriented Programming Mira Mezini This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in July 2011. The 26 revised full papers, presented... RRP: $190.43 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Euro-Par 2010, Parallel Processing Workshops Mario R. Guarracino This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 16th International Conference on Parallel Computing, Euro-Par 2010, held in Ischia, Italy, in... RRP: $192.39 $189.50 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Multiparadigm Constraint Programming Languages Petra Hofstedt Basic Notions.- Programming Languages and Paradigms.- Constraints.- Multiparadigm Constraint Programming Languages.- Concurrent Constraint Functional Programming with CCFL.- A Generic Framework for... RRP: $245.32 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Transactions on Aspect-Oriented Software Development VII - Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only have to take the time to understand one case study in... RRP: $180.29 $177.59 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Introduction to Reliable and Secure Distributed Programming Christian Cachin In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of... RRP: $175.83 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Cellular Automata and Groups Tullio Ceccherini-Silberstein Cellular automata were introduced in the first half of the last century by John von Neumann who used them as theoretical models for self-reproducing machines. The authors present a self-contained... RRP: $240.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added NETWORKING 2010 Mark Crovella This book constitutes the refereed proceedings of the 9th IFIP-TC6 Networking Conference, Networking 2010. Papers were solicited in three broad topic areas: applications and services, network... RRP: $190.43 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Linkage in Evolutionary Computation Ying-ping Chen In recent years, the issue of linkage in GEAs has garnered greater attention and recognition from researchers. Conventional approaches that rely much on ad hoc tweaking of parameters to control the... RRP: $412.63 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Algorithms for Fuzzy Clustering Sadaaki Miyamoto BasicMethods for c-Means Clustering.- Variations and Generalizations - I.- Variations and Generalizations - II.- Miscellanea.- Application to Classifier Design.- Fuzzy Clustering and Probabilistic... RRP: $253.64 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Rationale-Based Software Engineering Janet E. Burge What is Rationale and Why Does It Matter?.- What Makes Software Different.- Rationale and Software Engineering.- Learning from Rationale Research in Other Domains.- Decision-Making in Software... RRP: $240.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Implementing Semantic Web Services Dieter Fensel Part I - Foundations1) From Web to Semantic Web (G. Hench) - 2) Semantic Web Services (Ch. Bussler) - 3) WSMO & WSML (M. Kerrigan, J. de Bruijn) Part II - SESA Environment4) Introduction to... RRP: $163.91 $161.45 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logics of Specification Languages Dines Bjørner Preludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom.- The event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to the CafeOBJ Logic.- Casl -... RRP: $350.90 $345.64 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Emergent Computing Methods in Engineering Design D.E. Grierson The papers in this book show the tremendous potential of emerging computing paradigms such as genetic algorithms, evolutionary computing, and neural networks for solving problems of engineering... RRP: $441.52 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added User-Centred Requirements for Software Engineering Environments David J. Gilmore The idea for this workshop originated when I came across and read Martin Zelkowitz's book on Requirements for Software Engineering Environments (the proceedings of a small workshop held at the... RRP: $361.90 $356.47 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Program Design Calculi Manfred Broy The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and... RRP: $441.52 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Distributed Services with OpenAFS Franco Milicchio The Beginning.- The Beginning.- Core Services.- Foundations.- Kerberos V.- LDAP.- OpenAFS.- Samba.- Pushing the Core Services.- Further Services.- Web Server.- Electronic Mail.- Newsgroups.-... RRP: $186.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Interactive Computation Dina Goldin Turing, Computing and Communication.- Computing and Interaction.- Principles of Interactive Computation.- Theory.- A Theory of System Interaction: Components, Interfaces, and Services.- Verification... RRP: $414.68 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Ontologies for Software Engineering and Software Technology Coral Calero Ontological Engineering: Principles, Methods, Tools and Languages.- Using Ontologies in Software Engineering and Technology.- Engineering the Ontology for the SWEBOK: Issues and Techniques.- An... RRP: $196.90 $193.95 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Topics in Discrete Mathematics Martin Klazar Algebra, Geometry, Numbers.- Countable Almost Rigid Heyting Algebras.- Piecewise-Bohr Sets of Integers and Combinatorial Number Theory.- A Generalization of Conway Number Games to Multiple Players.-... RRP: $293.82 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Parallel and Distributed Logic Programming Alakananda Bhattacharya This book introduces the parallel and distributed approach to logic programming, examining existing models of distributed logic programming, and proposing an alternative framework for distributed... RRP: $367.57 Add to Cart The item has been added