| | | | | |
| Bild | | | | Bestellen |
|
|
92% |
|
|
Springer Verlag 9783319814674 |
€ 99,99* pro Stück |
|
92% |
|
|
|
ab € 51,72* pro 2 Stück |
|
92% |
|
|
|
ab € 43,42* pro 2 Stück |
|
91% |
|
|
Springer Verlag 9783540755586 |
€ 49,99* pro Stück |
|
91% |
|
Algebraic and Logic Programming (1 Angebot) Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid implementations of algebraic specifications.- Multi-modal logic programming using equational and order-s... |
Springer Verlag 9783540531623 |
€ 49,99* pro Stück |
|
91% |
|
CONCUR 2002 - Concurrency Theory (1 Angebot) Invited Talks.- Refinement and Verification Applied to an In-Flight Data Acquisition Unit*.- A Deductive Proof System for CTL*.- Event-State Duality: The Enriched Case.- Expressive Power of Tempora... |
Springer Verlag 9783540440437 |
€ 99,99* pro Stück |
|
91% |
|
|
|
ab € 15,58* pro Stück |
|
91% |
|
|
Springer Verlag 9783540311393 |
€ 49,99* pro Stück |
|
91% |
|
|
|
ab € 14,93* pro Stück |
|
91% |
|
Computer Science Logic (1 Angebot) This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as An... |
Springer Verlag 9783540569923 |
€ 49,99* pro Stück |
|
91% |
|
|
|
ab € 15,51* pro Stück |
|
91% |
|
Foundations of Equational Logic Programming (1 Angebot) Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic pro... |
Springer Verlag 9783540515333 |
€ 34,99* pro Stück |
|
91% |
|
Implementation and Application of Automata (1 Angebot) Invited Lectures.- Implementation and Application of Automata in String Processing.- Applications of Automata in XML Processing.- Program Analysis through Finite Tree Automata.- Technical Contribut... |
Springer Verlag 9783642029783 |
€ 49,99* pro Stück |
|
91% |
|
Programming Languages and Systems (1 Angebot) Invited Talk.- Techniques for Contextual Equivalence in Higher-Order, Typed Languages.- Models and Languages for Web Services.- Structured Communication-Centred Programming for Web Services.- CC-Pi... |
Springer Verlag 9783540713142 |
€ 99,99* pro Stück |
|
91% |
|
Logic Programming and Nonmonotonic Reasoning (1 Angebot) Invited Papers.- A Computational Logic Approach to Heterogenous Agent Systems.- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto.- On The Complexity of Model Chec... |
Springer Verlag 9783540425939 |
€ 49,99* pro Stück |
|
|