Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €
phone Kontakt phoneWie einkaufen

Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Logic Based Program Synthesis and Transformation Kung-Kiu Lau
Libristo-Code: 01563497
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española / Buch Broschur
common.buy 7.09 €
Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Buch binding.
common.buy 19.49 €
Ergotherapie Wolfgang Presber / Buch Hardcover
common.buy 43.00 €
Análisis y evaluación de políticas sociales Trinidad Requena / Buch Broschur
common.buy 25.99 €
Host na večeři B. P. Walter / Buch Hardcover
common.buy 13.69 €
technical EXPERT. Technik / Buch Buch
common.buy 15.89 €
Женский круг. Самые глубокие практики и традиции для обретения внутренней силы / Buch Hardcover
common.buy 26.89 €
Bergson Et Le Christ Des Evangiles Henri Gouhier / Buch Broschur
common.buy 28.19 €
Ctrl + Q Kathy Dorl / Buch Broschur
common.buy 23.59 €
Голос твоего рода. Исцеление родовых программ Елена Вайс / Buch Hardcover
common.buy 18.39 €
В сторону Свана Марсель Пруст / Buch Hardcover
common.buy 12.69 €
Abduction Shine / Buch Broschur
common.buy 22.59 €
Vzdělávání v mateřské škole Eva Svobodová / Buch Broschur
common.buy 8.49 €
Zakarya Zakarya Audio Audio CD
common.buy 20.09 €
Brelok Łamignat (Kajko i Kokosz) / Buch binding.
common.buy 5.19 €
Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA / Audio Audio CD
common.buy 13.59 €
Einkommensumverteilungen in der gesetzlichen Krankenversicherung Günter Ott / Buch Broschur
common.buy 108.79 €
Wika - Wika und Oberons Zorn Thomas Day / Buch Hardcover
common.buy 15.80 €
funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer / Buch Broschur
common.buy 9.99 €
MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS / Buch Broschur
common.buy 15.19 €
Leben Friedrich Nietzsches. Biografie in zwei Banden. Bd 1 Elisabeth Förster-Nietzsche / Buch Broschur
common.buy 44.99 €
Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J / Buch Broschur
common.buy 26.69 €
Clus Muñoz Robledano / Buch Broschur
common.buy 12.39 €
1926 Bakü Türkoloji Kurultayi Mustafa Öner / Buch Broschur
common.buy 28.19 €

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic Based Program Synthesis and Transformation
Autor Kung-Kiu Lau
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2001
Anzahl der Seiten 188
EAN 9783540421276
ISBN 3540421270
Libristo-Code 01563497
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 306
Abmessungen 155 x 235 x 11

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Physics of Sedimentology Kenneth J. Hsu / Buch Hardcover
common.buy 89.39 €
Artificial Social Systems Cristiano Castelfranchi / Buch Broschur
common.buy 53.79 €
Thermal Design and Thermal Behaviour of Radio Telescopes and their Enclosures Albert Greve / Buch Broschur
common.buy 160.79 €
Cobbett's Two-Penny Trash William Cobbett / Buch Broschur
common.buy 10.99 €
Very Different Monica Shauna Ray Ratapu / Buch Broschur
common.buy 13.19 €
Terrateer in Training Alexandra Quast / Buch Broschur
common.buy 10.49 €
NCLEX: Mental Health Disorders: Easily Dominate The Test With 105 Practice Questions & Rationales to Help You Become a Nurse! Chase Hassen / Buch Broschur
common.buy 14.99 €
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Buch Broschur
common.buy 19.59 €
sacred tree John Philpot / Buch Broschur
common.buy 17.79 €
Development of English Literature Patrick Francis Mullany / Buch Broschur
common.buy 20.59 €
The Sage of Monticello Dumas Malone / Buch Broschur
common.buy 19.89 €
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Buch Hardcover
common.buy 39.79 €
HORATIUS RESTITUTUS: OR, THE BOOKS OF HO HORACE / Buch Hardcover
common.buy 39.79 €
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Buch Broschur
common.buy 17.89 €
Natural History of British Insects Edward Donovan / Buch Hardcover
common.buy 33.09 €
So You Think You're a New York Mets Fan?: Stars, Stats, Records, and Memories for True Diehards Brett Topel / Buch Broschur
common.buy 15.99 €
Demnächst
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Buch Hardcover
common.buy 29.99 €
Towards an Intellectual History of Ukraine Ralph Lindheim / Buch Broschur
common.buy 49.69 €
Superconductor Levitation Jinwon Kim / Buch Broschur
common.buy 139.39 €
Move Mountains Iaroslav Wise / E-Book Adobe ePub DRM
common.buy 14.39 €
Butt Seriously: The Definitive Guide to Anal Health, Pleasure, and Everything In-Between GOLDSTEIN EVAN / Buch Broschur
common.buy 17.49 €
Top
Times Killer Su Doku Book 20 The Times Mind Games / Buch Broschur
common.buy 9.89 €
The Anxiety Coach: A Groundbreaking Program for Parents and Children Dr. Stephen P.H. Whiteside / Buch Broschur
common.buy 17.49 €
Fighting the Opioid Epidemic Amitava Dasgupta / E-Book Adobe ePub DRM
common.buy 144.79 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?