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

Inbunden

3029:-

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

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

Andra format:

  • 250 sidor
  • 1986
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems '85".
  • Författare: Wolfgang Bibel, Klaus P Jantke
  • Format: Inbunden
  • ISBN: 9783112733400
  • Språk: Engelska
  • Antal sidor: 250
  • Utgivningsdatum: 1986-12-31
  • Förlag: De Gruyter

Du kanske gillar

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

    Mathematical Methods of Specification...

    Klaus P Jantke Wolfgang Bibel

    Pocket

    749:-
  2. bokomslag Rad-, Wander- & Gewässerkarte Storkower Gewässer, Scharmützelsee

    Rad-, Wander- & Gewässerkarte Storkow...

    139:-
  3. bokomslag Nonmonotonic and Inductive Logic

    Nonmonotonic and Inductive Logic

    Gerhard Brewka, Klaus P Jantke, Peter H Schmitt

    Pocket

    719:-
  4. bokomslag Radwander- und Wanderkarte Scharmützelsee, Bad Saarow und Umgebung 1 : 35 000

    Radwander- und Wanderkarte Scharmütze...

    Verlag Barthel

    119:-
  5. bokomslag Analogical and Inductive Inference

    Analogical and Inductive Inference

    Klaus P Jantke

    Pocket

    449:-
  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 Algorithmic Learning Theory

    Algorithmic Learning Theory

    Ricard Gavaldà, Klaus P Jantke, Eiji Takimoto

    Pocket

    749:-
  8. bokomslag Algorithmic Learning Theory

    Algorithmic Learning Theory

    Klaus P Jantke Setsuo Arikawa

    Pocket

    749:-
  9. 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...

    P H Schmitt Wolfgang Bibel

    2829:-
  10. bokomslag Grundlagen Der Künstlichen Intelligenz: Eine Einführung in Einzelbeiträgen

    Grundlagen Der Künstlichen Intelligen...

    Jan Grabowski, Klaus P Jantke, Helmut Thiele

    Inbunden

    3029:-

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

    P H Schmitt Wolfgang Bibel

    Inbunden

    2819:-
  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...

    P H Schmitt Wolfgang Bibel

    Inbunden

    2819:-
  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...

    P H Schmitt Wolfgang Bibel

    Inbunden

    2199:-
  4. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel

    Pocket

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

    5th Conference on Automated Deduction

    R Kowalski Wolfgang Bibel

    Pocket

    719:-
  6. bokomslag Fundamentals of Artificial Intelligence

    Fundamentals of Artificial Intelligence

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

    Pocket

    749:-
  7. bokomslag Analogical and Inductive Inference

    Analogical and Inductive Inference

    Klaus P Jantke

    Pocket

    449:-
  8. bokomslag Algorithmic Learning Theory

    Algorithmic Learning Theory

    Ricard Gavaldà, Klaus P Jantke, Eiji Takimoto

    Pocket

    749:-
  9. bokomslag Federation over the Web

    Federation over the Web

    Klaus P Jantke, Aran Lunzer, Nicolas Spyratos, Yuzuru Tanaka

    Pocket

    749:-
  10. bokomslag Discovery Science

    Discovery Science

    Ayumi Shinohara Klaus P Jantke

    Pocket

    719:-