Angebote zu "Kutsche" (6 Treffer)

Kategorien

Shops

Business Intelligence
44,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 23.04.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Business Intelligence, Titelzusatz: 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures, Redaktion: Zimányi, Esteban // Kutsche, Ralf-Detlef, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Data Mining // EDV // Datenverarbeitung // Anwendungen // Betrieb // Verwaltung // Öffentliche Verwaltung // Knowledge Management // Management // Wissensmanagement // Wirtschaft // Wirtschaftsmathematik // Wirtschaftsrechnen // Roboter // Robotik // Industrieroboter // Informationstechnologie // IT // Technologie // Expertensystem // Wissensbasiertes System // Intelligenz // Künstliche Intelligenz // KI // AI // COMPUTERS // Databases // Wirtschaftsmathematik und // informatik // IT-Management // Informationstechnik // allgemeine Themen // Wissensbasierte Systeme // Expertensysteme // Management spezifischer Bereiche // Unternehmenssoftware, Rubrik: Informatik, Seiten: 149, Abbildungen: 59 schwarz-weiße Abbildungen, Bibliographie, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Business Information Processing (Nr. 205), Informationen: Book, Gewicht: 265 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Fundamental Approaches to Software Engineering
79,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 20.03.2002, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Fundamental Approaches to Software Engineering, Titelzusatz: 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, Auflage: 2002, Redaktion: Kutsche, Ralf-Detlef // Weber, Herbert, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Programmiersprachen, Rubrik: Informatik, Seiten: 360, Informationen: Paperback, Gewicht: 322 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Information Systems: Modeling, Development, and...
87,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.04.2009, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Information Systems: Modeling, Development, and Integration, Titelzusatz: Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009, Proceedings, Auflage: 2009 // 2009. 2009, Redaktion: Jianhua Yang // Ginige, Athula // Mayr, Heinrich C. // Kutsche, Ralf-Detlef, Verlag: Springer-Verlag GmbH, Sprache: Englisch, Schlagworte: Datenverarbeitung // Schule u. Ausbildung // EDV // Theorie // Software-Entw // Software Engineering // E-Business // Electronic Commerce // E-Commerce // Electronic Marketing // E-Venture // Internet // Marketing // Net Economy // Informationssystem // informatik // Wirtschaftsinformatik // Wirtschaft // Wirtschaftsmathematik // Wirtschaftsrechnen // Suchmethoden // Spezielle Anwender // Maschine // Suchmaschine // Anwendungen // Betrieb // Verwaltung // Betriebssystem // Operating System // Programmieren // Data Warehouse // Informationsmanagement // Database // Datenbank // Surfen // Recherche // Information Retrieval // Allgemeines // Lehrmittel // Lerntechnologien // E-Learning // Wirtschaftsmathematik und // IT-Management // Unternehmensanwendungen // Wartung und Reparaturen // IT // Betriebssysteme // Datenbankprogrammierung // Data Warehousing // Informationsrückgewinnung // Computernetzwerke und maschinelle Kommunikation // allgemein // Systemanalyse und // design, Rubrik: Datenkommunikation // Netze, Mailboxen, Seiten: 564, Reihe: Lecture Notes in Business Information Processing (Nr. 20), Informationen: Book, Gewicht: 857 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Formalisieren und Beweisen
134,00 CHF *
ggf. zzgl. Versand

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: 'Wirst Du jemals denken wie ein Mensch? Rechne mal nach!' Der Computer rechnet und rechnet und gibt schliesslich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. 'Fangt doch jeden Abschnitt mit einem Beispiel an', schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik für Informatiker durchzuführen. 'Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Sätze. ' Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logelei, die Offene Prädikatenlogik mit dem Architektenbeispiel und die volle Prädikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich fürs Verstehen sind. Deswegen sieht man beim Blättern so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tätigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollständigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Anbieter: Orell Fuessli CH
Stand: 31.05.2020
Zum Angebot
Formalisieren und Beweisen
71,95 € *
ggf. zzgl. Versand

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: 'Wirst Du jemals denken wie ein Mensch? Rechne mal nach!' Der Computer rechnet und rechnet und gibt schließlich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. 'Fangt doch jeden Abschnitt mit einem Beispiel an', schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik für Informatiker durchzuführen. 'Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Sätze. ' Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logelei, die Offene Prädikatenlogik mit dem Architektenbeispiel und die volle Prädikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich fürs Verstehen sind. Deswegen sieht man beim Blättern so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tätigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollständigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Anbieter: Thalia AT
Stand: 31.05.2020
Zum Angebot