ralf detlef kutsche (32 Ergebnisse)

Zustand: New. pp. x + 125 Illus.

Hardcover. Zustand: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2306.[xiii, 339 p. : ill. ; 24 cm].

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Broschiert. Zustand: Gut. VIII, 172 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 280.

Kartoniert. Zustand: Gut. 23 cm VIII, 172 S. Orig.-Karton. graph. Darst. Gutes Exemplar.

OBroschur. Zustand: Gut. VIII,172 Seiten mit graphischen Darstellungen und zahlreichen Formeln. Kaum Gebrauchsspuren, ansonsten gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 450.

Zustand: New. pp. 149.

Paperback. Zustand: Brand New. 2015 edition. 150 pages. 9.00x6.00x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 150 pages. 9.25x6.10x0.29 inches. In Stock.

Zustand: New. pp. 360 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Paperback. Zustand: Brand New. 1st edition. 339 pages. 9.00x6.00x0.75 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the tutorial lectures of the 4th European Business Intelligence Summer School, eBISS 2014, held in Berlin, Germany, in July 2014.The tutorials presented here in an extended and refined format were given by renowned experts and cover topics including requirements engineering for decision-support systems, visual analytics of large data sets, linked data and semantic technologies, supervised classification on data streams, and knowledge reuse in large organizations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the tutorial lectures of the 4th European Business Intelligence Summer School, eBISS 2014, held in Berlin, Germany, in July 2014.The tutorials presented here in an extended and refined format were given by renowned experts and cover topics including requirements engineering for decision-support systems, visual analytics of large data sets, linked data and semantic technologies, supervised classification on data streams, and knowledge reuse in large organizations.

Broschiert. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 172 Seiten, Deutsch 292g.

Taschenbuch. Zustand: Neu. Business Intelligence | 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures | Ralf-Detlef Kutsche (u. a.) | Taschenbuch | ix | Englisch | 2015 | Springer International Publishing | EAN 9783319175508 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes 5 revised tutorial lectures of the 9th European Business Intelligence and Big Data Summer School, eBISS 2019, held in Berlin, Germany, during June 30 ¿ July 5, 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -ETAPS 2002 was the fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes 5 revised tutorial lectures of the 9th European Business Intelligence and Big Data Summer School, eBISS 2019, held in Berlin, Germany, during June 30 - July 5, 2019. The tutorials were given by renowned experts and covered advanced aspects of business intelligence and big data. This summer school, presented by leading researchers in the field, represented an opportunity for postgraduate students to equip themselves with the theoretical and practical skills necessary for developing challenging business intelligence applications.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2002 was the fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Taschenbuch. Zustand: Neu. Fundamental Approaches to Software Engineering | 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings | Herbert Weber (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer-Verlag GmbH | EAN 9783540433538 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Paperback. Zustand: Brand New. 2nd edition. 183 pages. German language. 9.60x6.69x0.43 inches. In Stock.

Softcover/Paperback. 2., verb. Aufl. 172 S. Einband etw.berieben u. bestaubt // Automatisches Beweisverfahren, Informatik, Datenverarbeitung N03 9783528147181 *.* Sprache: Deutsch Gewicht in Gramm: 390.

Zustand: New. 1991. Paperback. . . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt. Es richtet sich an Studenten und Wissenschaftler der Informatik, die damit auch Grundlagen von Symbolmanipulation, formalen Spezifikationsmethoden sowie funktionaler und logischer Programmierung erwerben können.Ausgehend von der Prädikatenlogik werden theoretische Konzepte und Strategien für automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution über die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkül stellt ein handwerkliches Regelsystem für die allgemeine Prädikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermöglicht, die Gleichheitsrelation adäquat behandeln zu können. (, Ersetzen von Gleichem durch Gleiches'); schließlich wird mit der ausführlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont.

Zustand: New. 1989. Paperback. . . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Grundlagen des maschinellen Beweisens | Eine Einführung für Informatiker und Mathematiker | Ralf-Detlef Kutsche | Taschenbuch | ix | Deutsch | 1991 | Vieweg & Teubner | EAN 9783528147181 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen 'LOGIK II fUr Informatiker: Grundlagen des maschinellen Beweisens' Bestandteil des Lehrangebots in Theoretischer Informatik und schlieBt direkt an die 'WGIK fUr Informatiker: F ormalisieren und Beweisen' an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich fUr die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger BUcher in diesem Themenfeld -wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen -ist seit dem Beginn der 70er Jahre entstanden, U. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87] und Padawitz [Pad88]; in deutscher Sprache etwa Bllisius & BUrckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Erglinzung solcher BUcher fUr den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einflihrung in diese Thematik zu geben. Wir knUpfen an Grundkenntnisse der Logik an und stellen daher die spliter benotigten Begriffe in Kapitell nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher AbleitungskalkUl, der die Prlidikatenlogik erster Stufe prinzipiell dem Rechner zuglinglich macht.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 184 pp. Deutsch.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.