Bücher zur Softwareentwicklung - englischsprachig  (471 Angebote unter 27.587.973 Artikeln)

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '...

This book constitutes the refereed proceedings of the Second International Conference on Coordination Models and Languages, COORDINATION '97, held in Berlin, Germany, in September 1997. The 22 revi...

This book constitutes the refereed proceedings of the 5th IMA Conference on Cryptography and Coding, held in Cirencester, UK in December 1995. The volume presents 22 full revised papers selected fr...

This volume constitutes the proceedings of the Third European Symposium on Research in Computer Security, held in Brighton, UK in November 1994. The 26 papers presented in the book in revised versi...

Semantics, Types and Effects for XML Updates.- An Automata-Theoretic Approach to Regular XPath.- The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed....

This practically-focused textbook presents a concise tutorial on data structures and algorithms using the object-functional language Scala. The material builds upon the foundation established in th...

This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking the ideal features of logic programming as refer...

MAS as Complex Systems: A View on the Role of Declarative Approaches.- A Logic-Based Infrastructure for Reconfiguring Applications.- Operational Semantics for Agents by Iterated Refinement.- Go! fo...

Patterns and Types for Querying XML Documents.- Dual Syntax for XML Languages.- Exploiting Schemas in Data Synchronization.- Efficiently Enumerating Results of Keyword Search.- Mapping Maintenance ...

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 we...

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the ...

Invited Talk.- Agent-Oriented Modelling: Declarative or Procedural?.- Invited Papers.- Joint Conversation Specification and Compliance.- Interoperation in Protocol Enactment.- Contributed Papers: M...

This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with t...

The robust capability of evolutionary algorithms (EAs) to find solutions to difficult problems has permitted them to become popular as optimization and search techniques for many industries. Despit...

This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for mode...