klaus p jantke
Discovery Science
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th International Conference on Discovery S...
Federation over the Web
EbookSofort lieferbarThe lives of people all around the world, especially in industrialized nations, continue to be ch...
Algorithmic Learning Theory
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 14th International Conference on Algorithmi...
Discovery Science
EbookSofort lieferbarThese are the conference proceedings of the 4th International Conference on Discovery Science (DS...
Grundlagen der künstlichen Intelligenz
EbookSofort lieferbarKeine ausführliche Beschreibung für 'Grundlagen der Künstlichen Intelligenz' verfügbar.
Mathematical Methods of Specification and Synthesis of Software Systems ’85
EbookSofort lieferbarNo detailed description available for 'Mathematical Methods of Specification and Synthesis of Sof...
Mathematical Methods of Specification and Synthesis of Software Systems ’85
TaschenbuchBezug 11-15Verification of an alternating bit protocol by means of process algebra protocol.- Predicative pr...
Algorithmic Learning Theory
TaschenbuchBezug 11-15This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmi...
Discovery Science
TaschenbuchBezug 11-15The 9th International Conference on Discovery Science (DS 2006) was held in Barcelona, Spain, on ...
Nonmonotonic and Inductive Logic
TaschenbuchBezug 11-15This proceedings volume contains revised and reviewed papersbased on talks presented at the first...
Recent Trends in Data Type Specification
TaschenbuchBezug 11-15The algebraic specification of abstract data types is now awell establishedresearch topic in comp...
Algorithmic Learning Theory
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 6th International Workshop on Algorithmic L...
- 1
- 2