Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Logic-Based Program Synthesis and Transformation
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24,2007, Revised Selected Papers, Lecture Notes in Computer Science 4915 – Theoretical Computer Science and General Issues
| ISBN: | 3540787682 |
|---|---|
| ISBN 13: | 9783540787686 |
| Herausgeber: | Andy King |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 222 S. |
| Erscheinungsdatum: | 18.03.2008 |
| Auflage: | 1/2008 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.
Das könnte Ihnen auch gefallen …
-
![Produktbild: Logic-Based Benders Decomposition]()
Logic-Based Benders Decomposition
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reversible Logic Synthesis]()
Reversible Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Switching Theory for Logic Synthesis]()
Switching Theory for Logic Synthesis
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Transformation and Programming Environments]()
Program Transformation and Programming Environments
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for FPGA-Based Control Units]()
Logic Synthesis for FPGA-Based Control Units
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for FSM-Based Control Units]()
Logic Synthesis for FSM-Based Control Units
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic of Programs]()
Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transformation of a College Writing Program]()
Transformation of a College Writing Program
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Program Semantics]()
Logic and Program Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Minimization Algorithms for VLSI Synthesis]()
Logic Minimization Algorithms for VLSI Synthesis
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Memristor Based Logic Architectures]()
Memristor Based Logic Architectures
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and Optimization]()
Logic Synthesis and Optimization
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Logic Synthesis]()
Sequential Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Field-Programmable Logic: Architectures, Synthesis and Applications]()
Field-Programmable Logic: Architectures, Synthesis and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Transformation of Programs]()
Specification and Transformation of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development in Computational Logic]()
Program Development in Computational Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Normalization and Partial Evaluation of Functional Logic Programs]()
Normalization and Partial Evaluation of Functional Logic Programs
19,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for Asynchronous Controllers and Interfaces]()
Logic Synthesis for Asynchronous Controllers and Interfaces
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Algorithm Derivation and Program Transformation]()
Parallel Algorithm Derivation and Program Transformation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Memory-Based Logic Synthesis]()
Memory-Based Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and Verification]()
Logic Synthesis and Verification
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for Compositional Microprogram Control Units]()
Logic Synthesis for Compositional Microprogram Control Units
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Separation Logic for High-level Synthesis]()
Separation Logic for High-level Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: QSAR Based Design & Synthesis]()
QSAR Based Design & Synthesis
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Implementing Functional Logic Programs]()
Implementing Functional Logic Programs
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Techniques in Logic Synthesis, Optimizations and Applications]()
Advanced Techniques in Logic Synthesis, Optimizations and Applications
139,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Logic Synthesis]()
Advanced Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning About Program Transformations]()
Reasoning About Program Transformations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Termination Proofs for Logic Programs]()
Termination Proofs for Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Minimization Algorithms for VLSI Synthesis]()
Logic Minimization Algorithms for VLSI Synthesis
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for FSM-Based Control Units]()
Logic Synthesis for FSM-Based Control Units
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sample-Based Texture Synthesis]()
Sample-Based Texture Synthesis
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Separation Logic for High-level Synthesis]()
Separation Logic for High-level Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis Using Synopsys®]()
Logic Synthesis Using Synopsys®
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for Control Automata]()
Logic Synthesis for Control Automata
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programs, Norms and Action]()
Logic Programs, Norms and Action
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for VLSI-Based Combined Finite State Machines]()
Logic Synthesis for VLSI-Based Combined Finite State Machines
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic of Programs]()
Temporal Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Switching Theory for Logic Synthesis]()
Switching Theory for Logic Synthesis
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and Verification]()
Logic Synthesis and Verification
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Live Data Structures in Logic Programs]()
Live Data Structures in Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for VLSI-Based Combined Finite State Machines]()
Logic Synthesis for VLSI-Based Combined Finite State Machines
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and SOC Prototyping]()
Logic Synthesis and SOC Prototyping
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and Verification Algorithms]()
Logic Synthesis and Verification Algorithms
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis from Incomplete Information]()
Logic Program Synthesis from Incomplete Information
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: VHDL: A logic synthesis approach]()
VHDL: A logic synthesis approach
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Inductive Synthesis of Functional Programs]()
Inductive Synthesis of Functional Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Behavioral Program Synthesis with Genetic Programming]()
Behavioral Program Synthesis with Genetic Programming
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and Optimization]()
Logic Synthesis and Optimization
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Memory-Based Logic Synthesis]()
Memory-Based Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and SOC Prototyping]()
Logic Synthesis and SOC Prototyping
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development by Specification and Transformation]()
Program Development by Specification and Transformation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Logic Synthesis]()
Advanced Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for FPGA-Based Finite State Machines]()
Logic Synthesis for FPGA-Based Finite State Machines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for Control Automata]()
Logic Synthesis for Control Automata
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for FPGA-Based Control Units]()
Logic Synthesis for FPGA-Based Control Units
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Execution of Logic Programs]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Execution of Logic Programs]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for Genetic Diseases]()
Logic Synthesis for Genetic Diseases
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Productivity Programs in Schools: Synthesis of the Curriculum]()
Productivity Programs in Schools: Synthesis of the Curriculum
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Artificial Intelligence]()
Logic-Based Artificial Intelligence
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite State Machine Logic Synthesis for Complex Programmable Logic Devices]()
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Techniques in Logic Synthesis, Optimizations and Applications]()
Advanced Techniques in Logic Synthesis, Optimizations and Applications
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation - Meta-Programming in Logic]()
Logic Program Synthesis and Transformation – Meta-Programming in Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis Using Synopsys®]()
Logic Synthesis Using Synopsys®
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multiprocessor Execution of Logic Programs]()
Multiprocessor Execution of Logic Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis for FPGA-Based Finite State Machines]()
Logic Synthesis for FPGA-Based Finite State Machines
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Benders Decomposition]()
Logic-Based Benders Decomposition
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite State Machine Logic Synthesis for Complex Programmable Logic Devices]()
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis of Asynchronous Controllers and Interfaces]()
Logic Synthesis of Asynchronous Controllers and Interfaces
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Behavioral Program Synthesis with Genetic Programming]()
Behavioral Program Synthesis with Genetic Programming
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Logic Synthesis]()
Sequential Logic Synthesis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Artificial Intelligence]()
Logic-Based Artificial Intelligence
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
