phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Frontiers of Combining Systems

Limba englezăengleză
Carte Carte broșată
Carte Frontiers of Combining Systems Clare Dixon
Codul Libristo: 16771870
Editura Springer International Publishing AG, august 2017
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining... Descrierea completă
? points 202 b
400 lei
În depozitul extern Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Cambridge Checkpoint Science Workbook 7 Mary Jones / Carte broșată
common.buy 73 lei
Joy of Music Bernstein Leonard / Carte broșată
common.buy 191 lei
Coleccion Tiempo / Carte broșată
common.buy 69 lei
Original Sin: Hulk Vs. Iron Man Kieron Gillen / Carte broșată
common.buy 98 lei
Fatal Fire Marla Bradeen / Carte broșată
common.buy 105 lei
Leben im Gleichgewicht von Gnade und Glaube Andrew Wommack / Carte broșată
common.buy 66 lei
Atlantis Encyclopedia Frank Joseph / Carte broșată
common.buy 154 lei
CFAST Consolidated Model of Fire Growth and Smoke Transport (Version 5): User s Guide Nist / Carte broșată
common.buy 84 lei
Universal Anthology; A Collection of the Best Literature, Ancient, Mediaeval and Modern, with Biographical and Explanatory Notes Volume 2 Garnett / Copertă tare
common.buy 217 lei
curând
Guide to the Beaches and Battlefields of Normandy David Evans / Carte broșată
common.buy 84 lei
Hayri Potur Muzaffer Izgü / Carte broșată
common.buy 89 lei
Normalarbeitsverhaltnis oder Prekariat Siegfried Schwab / Carte broșată
common.buy 428 lei
Ruby on Rails For Dummies Barry Burd / Carte broșată
common.buy 159 lei
Revenge of the Middle-Aged Woman Elizabeth Buchanová / Carte broșată
common.buy 64 lei
Always Coming Home: A Short Story Denise Longrie / Carte broșată
common.buy 35 lei
DESIGN AND APPLICATION OF THE WORM GEAR (801780) William P. Crosher / Copertă tare
common.buy 528 lei

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.

Informații despre carte

Titlu complet Frontiers of Combining Systems
Autor Clare Dixon, Marcelo Finger
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 351
EAN 9783319661667
ISBN 3319661663
Codul Libristo 16771870
Editura Springer International Publishing AG
Greutatea 5504
Dimensiuni 155 x 235 x 20

Categorii

Society & Social Sciences > Politics & government > Public administration
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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

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