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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Deontic Logic in Computer Science

11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Deontic Logic in Computer Science Thomas Agotnes
Codul Libristo: 01661583
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2012
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic... Descrierea completă
? points 121 b
262.50 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

A Brighter Side Of Death / Audio Audio CD
common.buy 121.05 lei
House of Night - Gejagt P. C. Cast / Carte Carte broșată
common.buy 80.18 lei
Cultures fiscales en occident du Xe au XVIIe siècle Verdés Pijuan / Carte Carte broșată
common.buy 174.51 lei
Connaître Jésus James Alison / Carte Carte broșată
common.buy 125.63 lei
Top Leftin
Frýdlantsko - album starých pohlednic Miloslav Nevrlý / Carte Foaie
common.buy 15.38 lei
The Cape : 1969 Joe Hill / Carte Copertă tare
common.buy 132.29 lei
Guten Morgen, Tel Aviv! Katharina Höftmann / Carte Carte broșată
common.buy 45.65 lei
Durchblick Erdkunde - Differenzierende Ausgabe 2012 für Niedersachsen Timo Frambach / Carte Foaie
common.buy 44.82 lei
INFECTIONS FONGIQUES DE LA T?TE ET DU COU Tejinder Kaur / Carte Carte broșată
common.buy 394.59 lei
Zur tektonischen Analyse des sächsischen Erzgebirges Klaus Schmidt / Carte Copertă tare
common.buy 743.74 lei
Rétablissement Davidson / Carte Carte broșată
common.buy 162.66 lei
Jsi fakt borec Umíš vydělat prachy na blahobyt Jen Sincero / Carte Copertă tare
common.buy 54.39 lei
Das Heiligthum der Menschheit fur gebildete und innige Verehrer desselben in kurzen, zusammenhangenden Reden dargestellt Johann Michael Sailer / Carte Carte broșată
common.buy 97.03 lei
Burg Torre Rocca Enna Sizilien - 500 Teile (Puzzle) / Joc / Jucărie Joc
common.buy 150.70 lei
Burgermilitar der Reichsstadt Ulm in der Zeit der Mediatisierung um 1800 Thomas Müller / Carte Carte broșată
common.buy 94.84 lei
Diálogo de Epitecto y el emperador Adriano : derivaciones de un texto escolar en el siglo XIII BIZZARRI / Carte Carte broșată
common.buy 117.62 lei
Berta Mir 5. El caso del asesino invisible Jordi Sierra i Fabra / Carte Carte broșată
common.buy 105.66 lei
Nicolas Cabasilas: Correspondance de Nicolas Cabasilas Marie-Helene Congourdeau / Carte Carte broșată
common.buy 204.88 lei
1813: Ein Historischer Roman, Volume 2 Ferdinand Stolle / Carte Carte broșată
common.buy 116.69 lei
Neoklassische Kapitalmarkttheorie und Behavioral Finance Jessica Plöger / Carte Carte broșată
common.buy 222.88 lei

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.

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 Deontic Logic in Computer Science
Autor Thomas Agotnes, Jan M. Broersen, Dag Elgesem
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 215
EAN 9783642315695
ISBN 3642315690
Codul Libristo 01661583
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 355
Dimensiuni 155 x 235 x 13

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Society & Social Sciences > Politics & government > Public administration
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer programming / software engineering
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

Gardening in Clay Soil: Storey's Country Wisdom Bulletin A-140 Gardenway / Carte Carte broșată
common.buy 24.02 lei
Top
Super Sons Omnibus Expanded Edition (New Edition) Patrick Gleason / Carte Copertă tare
common.buy 471.97 lei
Before the Gilded Age: W. W. Corcoran and the Rise of American Capital and Culture Mark L. Goldstein / Carte Copertă tare
common.buy 129.06 lei
History and Description of the Ancient Town and Borough of Colchester V2: In Essex (1826) Thomas Cromwell / Carte Copertă tare
common.buy 241.49 lei
A Reply to Dr. H.C. Wood's Review of the Medical Testimony in the Trial of Mrs. E.G. Wharton for the Alleged Attempt to Poison Mr. Van Ness Philip C Williams / Carte Carte broșată
common.buy 89.64 lei
Totally Tuneless: An Alphabetical Anthology of Almost Every Song Lyric (1984 -2014) Mitch Friedman / Carte Carte broșată
common.buy 51.99 lei
Build A Profitable Business: 10 steps you can take to build a profitable business Derick Gentry Thompson / Carte Carte broșată
common.buy 56.99 lei
Transformation of Foreign Policy Gunther Hellmann / Carte Copertă tare
common.buy 439.63 lei
The Dead Towns of Georgia Charles Colcock Jones / Carte Carte broșată
common.buy 95.26 lei
Tables Of the Covenant (TOC) CHERI POTTER / Carte Carte broșată
common.buy 116.69 lei
Whey Proteins MICHELLE WYATT / Carte Copertă tare
common.buy 1 691.98 lei
Outlaw Tales of Montana Gary Wilson / Carte Carte broșată
common.buy 72.79 lei
Dictionary of International Human Rights Law de la Vega / Carte Carte broșată
common.buy 234.52 lei
Canada Richard Ford / Carte Carte broșată
common.buy 97.24 lei
Top
Beat Goes On: The Complete Rebus Stories Ian Rankin / Carte Carte broșată
common.buy 89.64 lei
Re-Thinking Mobility Vincent Kaufmann / Carte Copertă tare
common.buy 1 189.10 lei
Rethinking the Market Economy Jean-Jacques Lambin / Carte Copertă tare
common.buy 306.29 lei
Cambridge Global English Stage 3 Stage 3 Learner's Book with Audio CD Caroline Linse / Carte Copertă tare
common.buy 144.25 lei
Skillful - Listening and Speaking - Level 4 Student Book & Digibook Lindsay Clandfield & Mark McKinnon / Carte Copertă tare
common.buy 154.65 lei
Weighted Inequalities and Degenerate Elliptic Partial Differential Equations E.W. Stredulinsky / Carte Carte broșată
common.buy 143.62 lei
Cat Toys Lura Rogers / Carte Carte broșată
common.buy 33.58 lei
Examine Mechanism of Changes in Human Development Olusegun Emmanuel Afolabi / Carte Carte broșată
common.buy 89.64 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?