Logic-Based Program Synthesis and Transformation
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers, Lecture Notes in Computer Science 6037 – Theoretical Computer Science and General Issues
| ISBN: | 3642125913 |
|---|---|
| ISBN 13: | 9783642125911 |
| Herausgeber: | Danny De Schreye |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 205 S., 29 s/w Illustr., 205 p. 29 illus. |
| Erscheinungsdatum: | 20.04.2010 |
| Auflage: | 1/2010 |
| Produktform: | Kartoniert |
| Einband: | KT |
Das könnte Ihnen auch gefallen …
-
![]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Memory-Based Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis and Transformation – Meta-Programming in Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Techniques in Logic Synthesis, Optimizations and Applications
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Switching Theory for Logic Synthesis
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis and Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Specification and Transformation of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Sequential Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Artificial Intelligence
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Field-Programmable Logic: Architectures, Synthesis and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for FPGA-Based Finite State Machines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic and Architecture Synthesis
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Live Data Structures in Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis Using Synopsys®
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Reversible Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Program Synthesis Methodologies
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis Using Synopsys®
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Benders Decomposition
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for FSM-Based Control Units
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Memory-Based Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Parallel Algorithm Derivation and Program Transformation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Artificial Intelligence
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for FPGA-Based Control Units
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for FSM-Based Control Units
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis and SOC Prototyping
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis from Incomplete Information
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis from Incomplete Information
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis and Optimization
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for FPGA-Based Control Units
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
VHDL: A logic synthesis approach
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Program Transformation and Programming Environments
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Switching Theory for Logic Synthesis
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Minimization Algorithms for VLSI Synthesis
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for Control Automata
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Specification and Transformation of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Behavioral Program Synthesis with Genetic Programming
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for VLSI-Based Combined Finite State Machines
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Inductive Synthesis of Functional Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Implementing Functional Logic Programs
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Separation Logic for High-level Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis and SOC Prototyping
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for Genetic Diseases
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic and Program Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Program Synthesis Methodologies
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Reversible Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Program Development by Specification and Transformation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Behavioral Program Synthesis with Genetic Programming
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Reasoning About Program Transformations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Sequential Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Parallel Algorithm Derivation and Program Transformation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Multiprocessor Execution of Logic Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Separation Logic for High-level Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Techniques in Logic Synthesis, Optimizations and Applications
139,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Minimization Algorithms for VLSI Synthesis
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for VLSI-Based Combined Finite State Machines
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Sample-Based Texture Synthesis
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Program Development in Computational Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for Genetic Diseases
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Temporal Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for Control Automata
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Programs, Norms and Action
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis and Optimization
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Reasoning About Program Transformations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis and Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis of Asynchronous Controllers and Interfaces
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis for FPGA-Based Finite State Machines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Termination Proofs for Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
QSAR Based Design & Synthesis
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Memristor Based Logic Architectures
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Synthesis and Verification Algorithms
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
