phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Frontiers of Combining Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Frontiers of Combining Systems Clare Dixon
Libristo kód: 16771870
Nakladateľstvo Springer International Publishing AG, august 2017
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining... Celý popis
? points 195 b
77.71 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Cambridge Checkpoint Science Workbook 7 Mary Jones / Brožovaná
common.buy 15.13 €
Joy of Music Bernstein Leonard / Brožovaná
common.buy 35.52 €
Coleccion Tiempo / Brožovaná
common.buy 14.02 €
Original Sin: Hulk Vs. Iron Man Kieron Gillen / Brožovaná
common.buy 18.06 €
PRIPRAVUJEME
Guide to the Beaches and Battlefields of Normandy David Evans / Brožovaná
common.buy 16.85 €
Leben im Gleichgewicht von Gnade und Glaube Andrew Wommack / Brožovaná
common.buy 13.21 €
Fatal Fire Marla Bradeen / Brožovaná
common.buy 19.67 €
Universal Anthology; A Collection of the Best Literature, Ancient, Mediaeval and Modern, with Biographical and Explanatory Notes Volume 2 Garnett / Pevná
common.buy 40.77 €
CFAST Consolidated Model of Fire Growth and Smoke Transport (Version 5): User s Guide Nist / Brožovaná
common.buy 15.84 €
Revenge of the Middle-Aged Woman Elizabeth Buchanová / Brožovaná
common.buy 12.81 €
Hayri Potur Muzaffer Izgü / Brožovaná
common.buy 16.34 €
Normalarbeitsverhaltnis oder Prekariat Siegfried Schwab / Brožovaná
common.buy 79.93 €
DESIGN AND APPLICATION OF THE WORM GEAR (801780) William P. Crosher / Pevná
common.buy 104.46 €
Atlantis Encyclopedia Frank Joseph / Brožovaná
common.buy 24.72 €
Ruby on Rails For Dummies Barry Burd / Brožovaná
common.buy 28.86 €
Always Coming Home: A Short Story Denise Longrie / Brožovaná
common.buy 6.65 €

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.

Informácie o knihe

Celý názov Frontiers of Combining Systems
Autor Clare Dixon, Marcelo Finger
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2017
Počet strán 351
EAN 9783319661667
ISBN 3319661663
Libristo kód 16771870
Nakladateľstvo Springer International Publishing AG
Váha 5504
Rozmery 155 x 235 x 20

Kategórie

Spoločnosť a spoločenské vedy > Politika a štát > Verejná správa
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet