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 10-16 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

    3029:-
  2. bokomslag Nonmonotonic and Inductive Logic

    Nonmonotonic and Inductive Logic

    Gerhard Brewka, Klaus P Jantke, Peter H Schmitt

    Pocket

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

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

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

    Radwander- und Wanderkarte Scharmütze...

    Verlag Barthel

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

    P H Schmitt Wolfgang Bibel

    2829:-
  6. bokomslag Analogical and Inductive Inference

    Analogical and Inductive Inference

    Klaus P Jantke

    Pocket

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

    2139:-
  8. bokomslag Recent Trends in Data Type Specification

    Recent Trends in Data Type Specification

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

    Pocket

    749:-
  9. bokomslag Algorithmic Learning Theory

    Algorithmic Learning Theory

    Ricard Gavaldà, Klaus P Jantke, Eiji Takimoto

    Pocket

    749:-
  10. bokomslag Algorithmic Learning Theory

    Algorithmic Learning Theory

    Klaus P Jantke Setsuo Arikawa

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

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