Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch
2015, ISBN: 3319178210
2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch
2015, ISBN: 3319178210
2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch
2015, ISBN: 3319178210
2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2015, ISBN: 3319178210
Logic-Based Program Synthesis and Transformation ab 21.32 € als Taschenbuch: 24th International Symposium LOPSTR 2014 Canterbury UK September 9-11 2014. Revised Selected Papers. Auflage 2… Mehr…
Hugendubel.de Nr. 23816887. Versandkosten:, , DE. (EUR 0.00) Details... |
2015, ISBN: 9783319178219
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, Buch, Softcover, 2015, [PU: Springer International Publishing], Springer Internat… Mehr…
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch
2015, ISBN: 3319178210
2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…
Seki, Hirohisa (Herausgeber); Proietti, Maurizio (Herausgeber):
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch2015, ISBN: 3319178210
2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch
2015
ISBN: 3319178210
2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…
2015, ISBN: 3319178210
Logic-Based Program Synthesis and Transformation ab 21.32 € als Taschenbuch: 24th International Symposium LOPSTR 2014 Canterbury UK September 9-11 2014. Revised Selected Papers. Auflage 2… Mehr…
2015, ISBN: 9783319178219
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, Buch, Softcover, 2015, [PU: Springer International Publishing], Springer Internat… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation
EAN (ISBN-13): 9783319178219
ISBN (ISBN-10): 3319178210
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2015-06-27T22:15:28+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-10T18:53:35+01:00 (Vienna)
ISBN/EAN: 9783319178219
ISBN - alternative Schreibweisen:
3-319-17821-0, 978-3-319-17821-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: maurizi, maurizio, proietti
Titel des Buches: notes the synthesis, logic, transformation, science synthesis, september, maurizio, canterbury canterbury, 2014
Daten vom Verlag:
Autor/in: Maurizio Proietti; Hirohisa Seki
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Verlag: Springer; Springer International Publishing
333 Seiten
Erscheinungsjahr: 2015-05-04
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 333 p. 61 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Answer set programming; Constraint logic programming; Declarative debugging; Formal methods; Formal semantics; Languages; Logic programming; Operational semantics; Program analysis; Program semantics; Program synthesis; Program transformation; Program verification; Semantics and reasoning; Software notation and tools; Software security; Software testing; Static analysis; Term rewriting systems; Verification; Computer Science Logic and Foundations of Programming; Software Engineering; Formal Languages and Automata Theory; Artificial Intelligence; Discrete Mathematics in Computer Science; Software Engineering; Künstliche Intelligenz; Mathematik für Informatiker; Diskrete Mathematik; EA
Invited Talks.- Obscuring Code: Unveiling and Veiling Information in Programs.- Synthesizing Functions from Relations in Leon.- Program Analysis and Transformation.- Analyzing array manipulating programs by program transformation.- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction.- Constraint Handling Rules.- Confluence Modulo Equivalence in Constraint Handling Rules.- Exhaustive Execution of CHR through Source-to-Source Transformation.- A Formal Semantics for the Cognitive Architecture ACT-R.- CHRAnimation: An Animation Tool for Constraint Handling Rules.- Termination Analysis.- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems.- Security.-Partial Evaluation for Java Malware Detection.- Access control and obligations in the category-based metamodel: a rewritebased Semantics.- Program Testing and Verification.-Concolic Execution and Test-Case Generation in Prolog.- Liveness properties in CafeOBJ-a case study for meta-level specifications.- Program Synthesis.- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols.- Drill & Join: A method for inductive program synthesis.- Program Derivation.- Functional Kleene Closures.- Semantic Issues in Logic Programming.- On completeness of logic programs.- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies.- Program Transformation and Optimization.- Declarative Compilation for Constraint Logic Programming.- Pre-indexed Terms for Prolog.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)
- 9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)
- 9783030138387 Logic-Based Program Synthesis and Transformation (Fred Mesnard; Peter J. Stuckey)
- 9783319631387 Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Pape (Manuel V Hermenegildo; Pedro Lopez-Garcia)
- 9783540787686 Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) (Andy King)
< zum Archiv...