Diese Einführung in die Informatik ermöglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschäftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken für Korrektheitsbeweise und Laufzeitbestimmungen.
Kaufen Sie hier:
E-Book Tabs
Weitere E-Books zum Thema: Programmiersprachen - Softwareentwicklung
Inhaltsangabe:Einleitung: Im digitalen Mobilfunk werden im Falle einer gestörten Datenübertragung fehlerkorrigierende und -verdeckende Maßnahmen getroffen. Hierbei können bei sehr schlechten ...
Inhaltsangabe:Einleitung: ‘Gemeinschaftlich arbeiten ist ohne Ordnung, ohne dass sich alle dieser Ordnung fügen, unmöglich’. Dieses Zitat vom russischen Revolutionär Lenin beinhaltet das ...
Das Cloud Computing Modell ist in aller Munde, wenngleich dieser Begriff sehr häufig falsch verwendet wird. Oft wird Cloud Computing ganz einfach als Weiterentwicklung des wohlbekannten Grid ...
Doktorarbeit / Dissertation aus dem Jahr 2008 im Fachbereich Informatik - Angewandte Informatik, Note: Magna Cum Laude, Technische Universität München (Fakultät für Informatik), 103 Quellen im ...
Inhaltsangabe:Einleitung: In unserem alltäglichen Leben können wir den Kontakt mit multidisziplinären komplexen Systemen nicht mehr vermeiden. Die aktuellen Systeme, denen die Medien zur Zeit ...
Diplomarbeit aus dem Jahr 2002 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Christian-Albrechts-Universität Kiel (Institut für Informatik und Praktische Mathematik), Sprache: ...
Der leichtgewichtige Ansatz von Spring und das mächtige O/RMapping-Tool Hibernate haben in den letzten Jahren eine Revolution in der Entwicklung von JEE-Enterprise-Applikationen ausgelöst. ...
Diplomarbeit aus dem Jahr 2011 im Fachbereich Informatik - Programmierung, Note: 2,0, Wilhelm Büchner Hochschule Private Fernhochschule Darmstadt, Sprache: Deutsch, Abstract: Die Verkürzung des ...
Inhaltsangabe:Gang der Untersuchung: Die Entwicklung eines webbasierten Informationssystems für den Customer Support einen führenden Mobilfunkanbieter zeigt exemplarisch wie XSLT zur Umsetzung des ...
Fachbeiträge zum Archivwesen der Wirtschaft; Rezensionen
Die seit 1967 vierteljährlich erscheinende Zeitschrift für das Archivwesen der Wirtschaft "Archiv und Wirtschaft" bietet Raum für ...
Veröffentlichte Gebrauchsmustereintragungen beim Deutschen Patent- und Markenamt. Bibliographie, Hauptanspruch,wichtigste Zeichnung, Nebenklassenhinweise.
Checkpoint is a tax research system that ...
Vom Deutschen Patent- und Markenamt erteilte Patente. Bibliographie, Patentanspruch, wichtigste Zeichnung.
Thomson Reuters is the world’s leading source of intelligent information for businesses ...
FÜHREND - Das AUTOCAD & Inventor Magazin berichtet seinen Lesern seit 30 Jahren ausführlich über die Lösungsvielfalt der SoftwareLösungen des Herstellers Autodesk. Die Produkte gehören zu ...
Unter dem Motto „DRIVEN" steht das BMW Magazin für Antrieb, Leidenschaft und Energie − und die Haltung, im Leben niemals stehen zu bleiben.Das Kundenmagazin der BMW AG inszeniert die neuesten ...
Internationale Fachzeitschrift für Küchenforschung und Küchenplanung.
Mit Fachinformationen für Küchenfachhändler, -spezialisten
und -planer in Küchenstudios, Möbelfachgeschäften und den ...
Zeitschrift für Vollstreckungs-, Zustellungs- und Kostenrecht
Die Deutsche Gerichtsvollzieher Zeitung (DGVZ) ist eine juristische Fachzeitschrift für das Vollstreckungs-, Zustellungs- und ...
Informiert über das internationale, nationale und internationale Hockey.
Die Deutsche Hockeyzeitung ist Ihr kompetenter Partner für Ihr Wirken im Hockeymarkt.
Sie ist die einzige ...
Zeitschrift für Literatur, Kunst und Kritik."...weil sie mit großer Aufmerksamkeit die internationale Literatur beobachtet und vorstellt; weil sie in der deutschen Literatur nicht nur das Neueste ...
Prüfungs- und Praxiswissen für Steuerfachangestellte
Mehr Erfolg in der Ausbildung, sicher in alle Prüfungen gehen, im Beruf jeden Tag überzeugen: „Die Steuerfachangestellten“ ist die ...