Mathematical Methods of Specification and Synthesis of Software Systems '85 1
bokomslag Mathematical Methods of Specification and Synthesis of Software Systems '85
Data & IT

Mathematical Methods of Specification and Synthesis of Software Systems '85

Wolfgang Bibel • Klaus P Jantke

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 248 sidor
  • 1986
  • Författare: Wolfgang Bibel, Klaus P Jantke
  • Format: Pocket/Paperback
  • ISBN: 9783540164449
  • Språk: Engelska
  • Antal sidor: 248
  • Utgivningsdatum: 1986-06-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Mathematical Methods of Specification and Synthesis of Software Systems '85

    Mathematical Methods of Specification...

    Klaus P Jantke Wolfgang Bibel

    Inbunden

    2899:-
  2. bokomslag Analogical and Inductive Inference

    Analogical and Inductive Inference

    Klaus P Jantke

    Pocket

    449:-
  3. bokomslag Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    2839:-
  4. bokomslag Nonmonotonic and Inductive Logic

    Nonmonotonic and Inductive Logic

    Gerhard Brewka, Klaus P Jantke, Peter H Schmitt

    Pocket

    729:-
  5. bokomslag Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    2129:-
  6. bokomslag Recent Trends in Data Type Specification

    Recent Trends in Data Type Specification

    Hartmut Ehrig, Klaus P Jantke, Fernando Orejas, Horst Reichel

    Pocket

    749:-
  7. bokomslag Wissensrepräsentation und Inferenz

    Wissensrepräsentation und Inferenz

    Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub

    Pocket

    809:-
  8. bokomslag Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    2839:-
  9. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel

    Pocket

    769:-
  10. bokomslag Algorithmic Learning Theory

    Algorithmic Learning Theory

    Ricard Gavaldà, Klaus P Jantke, Eiji Takimoto, Ricard Gavalda

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    Inbunden

    2839:-
  2. bokomslag Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    Inbunden

    2839:-
  3. bokomslag Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    Inbunden

    2129:-
  4. bokomslag SAP R/3¿ Guide to EDI and Interfaces

    SAP R/3¿ Guide to EDI and Interfaces

    Axel Angeli, Ulrich Streit, Robi Gonfalonieri, Wolfgang Bibel

    Pocket

    729:-
  5. bokomslag Multiobjective Heuristic Search: An Introduction to Intelligent Search Methods for Multicriteria Optimization

    Multiobjective Heuristic Search: An I...

    Wolfgang Bibel Pallab Dasgupta

    Häftad

    739:-
  6. bokomslag Scalable Search in Computer Chess: Algorithmic Enhancements and Experiments at High Search Depths

    Scalable Search in Computer Chess: Al...

    Wolfgang Bibel Ernst A Heinz

    Häftad

    1409:-
  7. bokomslag Efficiency of Theorem Proving Strategies

    Efficiency of Theorem Proving Strategies

    David A Plaisted, Yunshan Zhu, Wolfgang Bibel

    Pocket

    729:-
  8. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel

    Häftad

    1429:-
  9. bokomslag 5th Conference on Automated Deduction

    5th Conference on Automated Deduction

    R Kowalski Wolfgang Bibel

    Pocket

    729:-
  10. bokomslag Fundamentals of Artificial Intelligence

    Fundamentals of Artificial Intelligence

    Wolfgang Bibel, A W Biermann, J P Delgrande, G Huet, Philippe Jorrand

    Pocket

    749:-