Formale Beschreibungsverfahren der Informatik: Ein - download pdf or read online

By Prof. Dr. rer. nat. Helmut Eirund, Prof. Dr. rer. nat. Bernd Müller, Prof. rer. nat. Gerlinde Schreiber (auth.)

ISBN-10: 3322801039

ISBN-13: 9783322801036

ISBN-10: 3519026430

ISBN-13: 9783519026433

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen consumer Interface.
Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch intestine als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet.

Show description

Neue elektrische Bremsverfahren für Straßen- und by K. Töfflinger PDF

By K. Töfflinger

ISBN-10: 3642512194

ISBN-13: 9783642512193

ISBN-10: 3642513387

ISBN-13: 9783642513381

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer booklet data mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Show description

Integration von Förder- und Handhabungseinrichtungen - download pdf or read online

By Joachim Schuler

ISBN-10: 3540179550

ISBN-13: 9783540179559

ISBN-10: 366207933X

ISBN-13: 9783662079331

Das Fördern und Handhaben von Materialflußgut mit einer für beide Funktionen gleichermaßen geeigneten integrierten Förder- und Handhabungseinrichtung erschließt zahlreiche Anwendungsgebiete. Das Fördergut kann automatisch sowohl losweise als auch einzeln vom Handhabungsmittel aufgenommen und abgegeben werden. Programmierbare und automatisch bewegliche Förder- und Handhabungsmittel sowie automatisch übergebbare Förderhilfsmittel als Hauptkomponenten integrierter Förder- und Handhabungseinrichtungen können in unterschiedlicher Weise miteinander verknüpft werden. In diesem Band werden Ausführungsmöglichkeiten für die automatische Übernahme von Fördergut und Handhabungsmittel, für die Energieversorgung sowie zur berührungslosen Datenübertragung von Förderaufträgen und Handhabungsprogrammen sowie weitere wichtige Lösungskomponenten dargelegt. Eine aus einem fahrerlosen Flurförderzeug, einem Industrieroboter und einer automatisch übernehmbaren Palette bestehende Versuchsanlage wurde mit Erfolg getestet.

Show description

Read e-book online Grundlagen der Computerlinguistik: PDF

By Roland R. Hausser

ISBN-10: 3540671870

ISBN-13: 9783540671879

ISBN-10: 3642573061

ISBN-13: 9783642573064

Die zentrale Aufgabe einer zukunftsorientierten Computerlinguistik ist die Entwicklung kognitiver Maschinen, mit denen Menschen in ihrer jeweiligen Sprache frei reden können. Langfristig umfaßt diese Zielsetzung eine funktional ausgerichtete Theoriebildung, eine objektive Verifikationsmethode und eine Fülle praktischer Anwendungen.
Für die natürlichsprachliche Kommunikation wird nicht nur Sprachverarbeitung, sondern auch nichtsprachliche Wahrnehmung und Handlung benötigt. Deshalb ist der Inhalt dieses Lehrbuchs als Sprachtheorie für die Konstruktion sprechender Roboter organisiert. Sein zentrales Thema ist die Kommunikationsmechanik natürlicher Sprachen - beim Sprecher und beim Hörer. Der Inhalt ist in folgende vier Teile mit je sechs Kapiteln gegliedert: Sprachtheorie; Formale Grammatik; Morphologie und Syntax; Semantik und Pragmatik. Insgesamt 772 Übungsaufgaben dienen der Verständniskontrolle und -vertiefung.

Show description

Read e-book online Datamining und Computational Finance: Ergebnisse des 7. PDF

By Tae Horn Hann (auth.), Prof. Dr. Georg Bol, Prof. Dr. Gholamreza Nakhaeizadeh, Prof. Dr. Karl-Heinz Vollmer (eds.)

ISBN-10: 3642576567

ISBN-13: 9783642576560

ISBN-10: 3790812846

ISBN-13: 9783790812848

Der Schwerpunkt des siebten Karlsruher Ökonometrie-Workshops lag auf der Anwendung Neuronaler Netze bei Finanzzeitreihen, dem Einsatz von Datamining und Maschinellen Lernverfahren bei Fragestellungen des Finanzbereichs und quantitativen Methoden zur Beurteilung von Markt- und Länderrisiken. Das Spektrum ausgewählter Referate in diesem Buch, u.a. auch von overseas renommierten Experten, reicht von allgemeinen Betrachtungen zur Prognose mit Neuronalen Netzen und empirischen Ergebnissen für Wechselkurse, Rentenmärkte und Absatzzahlen über die Beurteilung von Marktrisiken und die Kreditüberwachung mit Maschinellen Lernverfahren bis zur Ermittlung und Einschätzung von Länderrisiken. Dieser Band berichtet über die aktuelle Entwicklung in diesen Gebieten und bietet ein discussion board für Diskussionen.

Show description

Download e-book for iPad: Schutz vor Rechtsproblemen im Internet: Handbuch für by Prof. Dr. Jürgen Zimmerling, Dipl.-Inform. Dipl.-Betriebsw.

By Prof. Dr. Jürgen Zimmerling, Dipl.-Inform. Dipl.-Betriebsw. Ulrich Werner (auth.)

ISBN-10: 3642565557

ISBN-13: 9783642565557

ISBN-10: 3642629865

ISBN-13: 9783642629860

Das net als supranationaler Raum öffentlichen Rechts ist keines-wegs rechtsfrei, es stellt vielmehr das Recht vor Fragen bisher nicht gekannter Komplexität. Das Buch behandelt die wichtigsten Bereiche kommerzieller Internet-Nutzung unter dem Gesichtspunkt des deutschen Rechts und be-schreibt die häufigsten rechtlichen Fallstricke. Nach einer Einführung in die Grundlagen des our on-line world geht es schwerpunktmäßig um Domain-Namensrecht und Abmahnungspraxis, Inhalt und Gestaltung von Webseiten, Verträge consistent with email und HTML-Formular, Einbeziehung der Allgemeinen Geschäftsbedingungen (AGB), Werbung und Verkauf im world-wide-web sowie Datenerhebung und Marktforschung. Dabei werden insbesondere die unterschiedlichen Positionen der aktuell kontroversen Diskussion herausgearbeitet und rechtlich bewertet. Hervorzuheben ist, daß sich das Buch nicht an der juristischen Klassifikation orientiert, sondern an den praktischen Komponenten des Einsatzes von Internet-Technologien zur Marktkommunikation. Rechtsanwalt Prof. Dr. Jürgen Zimmerling ist Mitglied des Europäischen Parlaments und dort insbesondere des Interfraktionellen Ausschusses für E-Commerce. Dipl.-Inform. Dipl.-Betriebswirt Ulrich Werner ist supervisor E-Business improvement bei dawn communications AG in Zürich und mit horizontalen B2B-Marktplätzen, E-Procurement und software carrier delivering befaßt; dawn ist ein three way partnership der Tele Danmark, BT British Telecom, UBS Union Banque Suisse und SBB Schweizer Bundesbahn.

Show description