Carsten Lutz – författare
563 kr
Skickas inom 7-10 vardagar
1 074 kr
Skickas inom 7-10 vardagar
685 kr
Läs direkt efter köp
685 kr
Läs direkt efter köp
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
545 kr
Skickas inom 10-15 vardagar
712 kr
Läs direkt efter köp
This Festschrift has been put together on the occasion of Franz Baader''s 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz''s honour and appreciate the breadth and depth of his favourite areas of computer science.
KI 2014: Advances in Artificial Intelligence
37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
562 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany, in September 2014. The 24 revised full papers presented together with 7 short papers were carefully reviewed and selected from 62 submissions. The papers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling.
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
562 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.
The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
253 kr
Läs direkt efter köp
Die fünfte Auflage des Werkes berücksichtigt die infolge der Reformen der Juristenausbildung weiter gestiegenen Anforderungen. Die Empfehlungen wurden zum einen aufgrund der im ständigen Dialog mit den Lesern gewonnenen praktischen Hinweise überarbeitet. Zum anderen fließen die langjährigen Erfahrungen der Autoren als Prüfer im Staatsexamen in die Neuauflage ein.
Das vollständig aktualisierte Lehrbuch enthält unter anderem noch weiter verfeinerte
Hinweise zum effektiven Lernen,
Muster-Pläne für Arbeitsgruppen,
Lernpläne und
Tipps, wie eine Arbeitsgruppe zum Hochleistungsteam geformt werden kann.
Die Rückmeldungen der Leser belegen, dass das Buch eine wertvolle oder sogar eine unverzichtbare Hilfe auf dem Weg zum Prädikatsexamen sein kann. Viel Erfolg!
315 kr
Läs direkt efter köp
Die 6. Auflage des Werkes berücksichtigt die infolge der Reformen der Juristenausbildung weiter gestiegenen Anforderungen. Die Empfehlungen wurden zum einen aufgrund der im ständigen Dialog mit den Leser:innen gewonnenen praktischen Hinweise überarbeitet. Zum anderen fließen die langjährigen Erfahrungen der Autoren als Prüfer im Staatsexamen in die Neuauflage ein. Das vollständig aktualisierte Lehrbuch enthält unter anderem noch weiter verfeinerte Hinweise zum effektiven Lernen Hinweise auf Apps und andere digitale Tools Musterpläne für Arbeitsgruppen Lernpläne Tipps, wie eine Arbeitsgruppe zum Hochleistungsteam geformt werden kann. Die Autoren Dr. Philipp ter Haar, Abteilungsleiter, Hamburg | Dr. Carsten Lutz, Rechtsanwalt, Fachanwalt für Handels- und Gesellschaftsrecht, Heidelberg | Dr. Matthias Wiedenfels, Rechtsanwalt, Frankfurt am Main
338 kr
Skickas inom 3-6 vardagar