Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Frontiers of Combining Systems

Name: Frontiers of Combining Systems
Brand: Springer, Berlin
SKU: 01564181
Price: 45.49 EUR
Availability: InStock
Author: Alessandro Armando
ISBN: 9783540433811

4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Alessandro Armando

Sprache

Englisch

Buch Broschur

Libristo-Code: 01564181

Verlag Springer, Berlin, November 2001

This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of C... Vollständige Beschreibung

Libristo-Code: 01564181

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cult of the Lamb Vinyl Figure Spring Lamb 10 cm Spiel/Spielzeug

Spielzeug

43.69 €

Kalkulation und Preisbildung bei langfristiger Fertigung insbesondere im Schiffbau. Klaus Möckelmann

Broschur

59.90 €

Come leggere. Carta, schermo o audio? Naomi S. Baron

Broschur

22.79 €

Die Alterssicherung sozialer Gruppen in der Bundesrepublik Deutschland Hans Pentenrieder

Broschur

49.90 €

Insolvenzanfechtung gegen Insider. Johann Killinger

Broschur

59.90 €

El tapon de cristal/ Una aventura de Arsene Lupin MAURICE LEBLANC

Hardcover

14.09 €

POSTER JEU DE L'OIE PERCEVAL - CONTE DU GRAAL Myrrha

Plakat

7.59 €

MENDELSOHN, F MY GOD, MY GOD SATB CHANT MENDELSSOHN Buch

binding.

6.69 €

Die vier Einsichten Alberto Villoldo

Broschur

12.00 €

Merveilles De L'industrie: Machines ? Vapeur: Bateaux ? Vapeur: Chemins De Fer... Arthur Mangin

Broschur

21.79 €

CLARENCE 2 Fridolfs

Broschur

14.09 €

Geistliche HALTESTELLEN im Kirchenjahr Windbichler Ernst

Broschur

14.80 €

Cómo tener una vida plena Dale Carnegie

Broschur

17.19 €

Gidersen Veda Etme Ahmed Günbay Yildiz

Broschur

11.69 €

Histoire Poetique Et Politique de M. de Lamartine Avec Portrait Et Autographe Lurine-L

Broschur

15.99 €

Modernisierung Kommunaler Sozialpolitik Stephan Grohs

Broschur

37.99 €

This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002.The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes into constraint programming and deduction systems.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Frontiers of Combining Systems

Autor Alessandro Armando

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 264

EAN 9783540433811

ISBN 3540433813

Libristo-Code 01564181

Verlag Springer, Berlin

Gewicht 386

Abmessungen 155 x 235 x 14

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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