Ebók

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Michael Hanus

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Logic-Based Program Synthesis and Transformation

Nágreining

Meira eftir Michael Hanus

Aðrar bøkur eftir sama høvund

Practical Aspects of Declarative Languages

Michael Hanus

374,95 kr.

Líknandi Bøkur

Finn líknandi bøkur her

Data Mining and Knowledge Discovery via Logic-Based Methods

Evangelos Triantaphyllou

1.049,95 kr.

Designing Reliable Distributed Systems

Peter Csaba Ölveczky

529,95 kr.

PIC16F1847 Microcontroller-Based Programmable Logic Controller, Three Volume Set

Murat Uzam

989,95 kr.

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

Pedro Ponce-Cruz; Arturo Molina; Brian MacCleery

679,95 kr.

Model-Based Reasoning in Science and Technology

Author

969,95 kr.

Act-Based Conceptions of Propositional Content

Friederike Moltmann; Markus Textor

529,95 kr.

Case-Based Reasoning Research and Development

KlausDieter Althoff; Ralph Bergmann; L. Karl Branting

679,95 kr.

Search Based Software Engineering

374,95 kr.

Patch-Based Techniques in Medical Imaging

374,95 kr.

Advances in Case-Based Reasoning

Ralph Bergmann; KlausDieter Althoff; Alexandre Hanft

679,95 kr.

Springer Handbook of Model-Based Science

Lorenzo Magnani

2.379,95 kr.

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications

679,95 kr.