Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

Frontiers of Combining Systems

6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Frontiers of Combining Systems Boris Konev
Codul Libristo: 01569153
Editura Springer, Berlin, noiembrie 2006
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Co... Descrierea completă
? points 132 b
289.14 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Cesty za oponu času 4 Stanislav Motl / Carte Copertă tare
common.buy 72.96 lei
Lettre ouverte à Patrice Chéreau Koltes / Carte Carte broșată
common.buy 36.07 lei
Přestaň být hodným klukem! Robert Glover / Carte Carte broșată
common.buy 76.88 lei
Guide de lithothérapie Alleguede / Carte Carte broșată
common.buy 69.44 lei
Psychopatologie všedního života Sigmund Freud / Carte Carte broșată
common.buy 64.41 lei
Ist der Begriff Fake News noch angemessen? Eine Begriffsexploration / Carte Carte broșată
common.buy 86.09 lei
Tumorerkrankungen des Fortpflanzungssystems bei Frauen Hurshida Ahmedzhanova / Carte Carte broșată
common.buy 180.80 lei
risorsa idrica potabile. Amministrazione, gestione e tutela Silvana Di Giuseppe / Carte Carte broșată
common.buy 187.23 lei
Stymulatory tkankowe w medycynie estetycznej Załęska Izabela / Carte Copertă tare
common.buy 225.63 lei
Wiehernde Amtsschimmel Hans Brennert / Carte Carte broșată
common.buy 115.77 lei
Betriebswirtschaftslehre Im Spannungsfeld Zwischen Generalisierung Und Spezialisierung Werner Kirsch / Carte Carte broșată
common.buy 377.89 lei
Léčení příčin nadváhy a přejídání Doreen Virtue / Carte Carte broșată
common.buy 69.84 lei
Dolores Ernest Capendu / Carte Carte broșată
common.buy 172.26 lei
Diccionario de técnicos y directivos del FC Barcelona Ángel Iturriaga Barco / Carte Carte broșată
common.buy 131.85 lei
Imperatori di Bisanzio Giorgio Ravegnani / Carte Carte broșată
common.buy 74.97 lei
Der Luchs (Puzzle) Arno Klatt / Joc / Jucărie Joc
common.buy 181.30 lei
Das Geheimnis der Goldmine Agatha Christie / Audio Audio CD
common.buy 48.53 lei
Eichkostenverordnung Ohne Autor / Carte Carte broșată
common.buy 41.50 lei
Handbuch der Ramm-, Vibrations- und Einpresstechnik Heinrich Otto Buja / Carte Copertă tare
common.buy 430.70 lei
HIT-GIRL 06 EN LA INDIA MILLIGAN / Carte Carte broșată
common.buy 105.02 lei
Kinky Munich Inka L. Minden / Carte Carte broșată
common.buy 46.31 lei
Ausstellungsarbeit im Kunstunterricht Stefan Spengler / Carte Carte broșată
common.buy 141.06 lei
ungeloeste Konflikt in Afrikas Mitte Sylvia Stützer / Carte Carte broșată
common.buy 240.80 lei
Beobachtung und Analyse einer Unterrichtsstunde nach der Berliner Didaktik und der Interaktionsanalyse nach Flanders Doreen Oelmann / Carte Carte broșată
common.buy 90.95 lei

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Frontiers of Combining Systems
Autor Boris Konev, Frank Wolter
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 286
EAN 9783540746201
ISBN 354074620X
Codul Libristo 01569153
Editura Springer, Berlin
Greutatea 456
Dimensiuni 155 x 235 x 15

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Nine Weeks At Hammersmith Dave Wilson / Carte Carte broșată
common.buy 150.25 lei
UNTITLED BLAKE CROUCH BLAKE CROUCH / Carte Carte broșată
common.buy 107.43 lei
Childhood LEO TOLSTOI / Carte Carte broșată
common.buy 90.94 lei
365 Kid's Drawing: The Best Kid Drawing Book Dr Lee Drawing / Carte Carte broșată
common.buy 35.37 lei
The Alleghany Mining District of Sierra County California Us Department of Interior / Carte Carte broșată
common.buy 85.02 lei
Disruptive Behavior Disorders in Children Meredith Weber / Carte Carte broșată
common.buy 219.29 lei
Language of Singing Bowls Frank Perry / Carte Carte broșată
common.buy 70.04 lei
Outdoor Kitchens: Ideas for Planning, Designing, and Entertaining Joseph R. Provey / Carte Carte broșată
common.buy 95.57 lei
Where Did You Sleep Last Night?: A Personal History Danzy Senna / Carte Carte broșată
common.buy 91.65 lei
History's Mysteries: Freaky Phenomena Kitson Jazynka / Carte Copertă tare
common.buy 150.95 lei
Artigas and the Emancipation of Uruguay John Street / Carte Copertă tare
common.buy 59.79 lei
Stan's Leap Tom Duerig / Carte Copertă tare
common.buy 142.61 lei
Ecotourism in Brunei Darussalam Azman Ahmad / Carte Carte broșată
common.buy 395.68 lei
Rationality and Social Responsibility Joachim I. Krueger / Carte Carte broșată
common.buy 499.90 lei
Eating Disorders: Time For Change Laura J. Goodman / Carte Carte broșată
common.buy 381.71 lei
Strange Relation Rachel Hadas / Carte Carte broșată
common.buy 108.54 lei
International Comparisons of Information Communication Technologies Felix B. Tan / Carte Copertă tare
common.buy 1 074.29 lei
Nonlinear Optical Properties of Materials Rashid a Ganeev / Carte Carte broșată
common.buy 576.99 lei
Blue Lake Christmas Mystery Cynthia Harrison / Carte Carte broșată
common.buy 78.18 lei
Top
Ten Drugs Thomas Hager / Carte Carte broșată
common.buy 72.96 lei
Water Resources Of Illinois (1914) Albert Howard Horton / Carte Carte broșată
common.buy 219.09 lei
Atlas of Pelvic Anatomy and Gynecologic Surgery Mickey M. Karram / Carte Copertă tare
common.buy 1 376.61 lei
Dark and Shallow Lies Ginny Myers Sain / Carte Carte broșată
common.buy 55.17 lei
Oxford History of the Ancient Near East: Volume II D. T. Potts / Carte Copertă tare
common.buy 1 212.49 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?