Die entscheidenden Argumente fur die Korrektheit eines Programms konnen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fuhrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fur die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhangig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an...
Die entscheidenden Argumente fur die Korrektheit eines Programms konnen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden,...
Als ich vor etwa fiinf Jahren als frischgebackener UniversWits dozent fiir CAD mein erstes Buch iiber "Rechnergestiitzte Konstruk tion" verfaBte, ahnte ich nicht, daB ich so bald ein weiteres Werk iiber das Thema CAD erstellen wiirde. Was mich selbst in Erstaunen versetzte, war die Tatsache, daB das Wissen und die Information, die ich weitergeben wollte, selbst in diesem doch eher kurzen Zeit raum eine vollig andere, neue war. Dies hangt mit dem explosiven Wachstum und den'stets immer groBer werdenden Moglichkeiten der modernsten Technologie im Ingenieurwesen zusammen. War damals ein echter...
Als ich vor etwa fiinf Jahren als frischgebackener UniversWits dozent fiir CAD mein erstes Buch iiber "Rechnergestiitzte Konstruk tion" verfaBte, ahnt...
Der Software-Schutz umfaBt zum einen den Schutz von Software von Endbeniitzern vor unbefugtem Zugriff und den Schutz von Computern vor unbefugter Beniitzung, zum anderen den Schutz von Software vor illegaler VervieWntigung. Da Software ein machtiges Werkzeug sein kann und sich zu minimalen Kosten in Serie produzieren laBt, ist das Risiko des MiBbrauchs besonders hoch. Der illegale Verkauf und Tausch von PC-Software ist heute schon weit verbreitet. Viele wissen dabei nicht, daB sie eigentlich etwas Unrechtes tun. Auch das miBbrauchliche Eindringen in fremde Computer hat in den letzten lahren...
Der Software-Schutz umfaBt zum einen den Schutz von Software von Endbeniitzern vor unbefugtem Zugriff und den Schutz von Computern vor unbefugter Beni...
Die Mensch-Maschine-Schnittstelle erlangt immer grossere Bedeutung im Hinblick auf schnelle und ergonomische Kommunikation zwischen Mensch und Rechner. Mit graphischen Hilfsmitteln sowie leistungsfahigen Eingabemedien, wie Maus und Touch-Screen, konnen Dialogtechniken realisiert werden, die dem Interaktionsverhalten des Benutzers immer mehr entgegenkommen. Im Zusammenhang damit ist der Begriff Desktop (Schreibtisch) bekannt geworden, wo alltagliche Tatigkeiten der Buroarbeit mit der Benutzeroberflache eines Systems imitiert werden. Ziel des Buches ist es, dem Leser einen Uberblick uber...
Die Mensch-Maschine-Schnittstelle erlangt immer grossere Bedeutung im Hinblick auf schnelle und ergonomische Kommunikation zwischen Mensch und Rechner...
Die Erforschung des Gehirns und seiner kognitiven Fahigkeiten war schon immer ein Anliegen der Menschheit. Der neueste Versuch, ein breites Verstandnis der Vorgange im Gehirn zu erlangen, ist unter dem Titel Neurale Netze zusammengefasst. Um dem Leser den Einstieg zu erleichtern, wird das Thema schrittweise nahergebracht. Einfuhrende Kapitel betten zuerst den Themenkreis Neurale Netze in das Umfeld anderer Wissensgebiete ein, spezialisierte und detaillierte Kapitel vermitteln biologische Analogie, einfache Modelle, Lernstrategien bis zu Simulation in Soft- und Hardware. Das Buch...
Die Erforschung des Gehirns und seiner kognitiven Fahigkeiten war schon immer ein Anliegen der Menschheit. Der neueste Versuch, ein breites Verstandni...
Das vorliegende Buch gibt einen umfassenden Uberblick uber das wohl aktivste Forschungs- und Anwendungsgebiet der Artificial Intelligence - uber Expertensysteme. Basierend auf den Erfahrungen aus mehrjahriger Vorlesungstatigkeit stellt das Autorenteam neben grundlegenden Konzepten auch die theoretischen wie praktischen Aspekte ausfuhrlich dar. Eine kompetente Einfuhrung in die Pradikatenlogik wird gegeben. Als Novum verdeutlicht dieses Buch die unterschiedlichen Schlussweisen und Komponenten von Expertensystemen durch ausfuhrbare Prototypen in der logischen Programmiersprache Prolog. Dem...
Das vorliegende Buch gibt einen umfassenden Uberblick uber das wohl aktivste Forschungs- und Anwendungsgebiet der Artificial Intelligence - uber Exper...
Das Buch ist eine Einfuhrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingefuhrt. Die logischen Hintergrunde werden dabei nur angedeutet. Anschliessend werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte...
Das Buch ist eine Einfuhrung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische...
Als erste Monographie im deutschsprachigen Raum vermittelt das vorliegende Buch eine umfassende Darstellung der notwendigen Kenntnisse fur eine menschengerechte Gestaltung von EDV-Systemen im Buro. Es wird ein neues Vorgehensmodell zur ergonomischen Gestaltung vorgestellt, das den gesamten Lebenszyklus eines Burosystems abdeckt. In ubersichtlicher Weise werden die zu beachtenden Kriterien samt praktischen Beispielen dargestellt und den einzelnen Phasen des Vorgehensmodells zugeordnet. Fur die Umsetzung werden eine Vielzahl von fur den Praktiker sehr hilfreichen Methoden und Werkzeugen...
Als erste Monographie im deutschsprachigen Raum vermittelt das vorliegende Buch eine umfassende Darstellung der notwendigen Kenntnisse fur eine mensch...
In einer Zeit der unterschiedlichsten Netzwerktypen und ihrer herstellerspezifischen Auspragungen ist die Schaffung von Standards notwendiger denn je. Diese Standards sollen einen gemeinsamen Nenner darstellen, auf den sich die einzelnen Hersteller von Netzwerkhard- und -software beziehen konnen. Dieses Buch stellt die wichtigsten Standards fur Rechnernetze vor. Nach einer Einleitung fur Einsteiger, in der die allgemeinen Grundbegriffe erklart werden, werden im zweiten Teil die gebrauchlichsten Standards des Transportsystems vorgestellt, Starken und Grenzen dieser Standards aufgezeigt und die...
In einer Zeit der unterschiedlichsten Netzwerktypen und ihrer herstellerspezifischen Auspragungen ist die Schaffung von Standards notwendiger denn je....
Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt seine Leser in den Umgang mit Listen, Baumen und Graphen sowie in deren wichtigste Anwendungen ein und macht mit objektorientierten Entwurfs- und Programmierverfahren vertraut. Der hier verwendete objektorientierte Ansatz wird in der Literatur zur Entwicklung von Datenstrukturen und Algorithmen bisher wenig verwendet. Er hilft, Datenstrukturen und Algorithmen schrittweise zu entwickeln und verstandlich darzustellen. Ausserdem bietet er erweiterte...
Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt se...
