{"title":"Studienreihe Informatik","description":null,"products":[{"product_id":"einfuhrung-in-expertensysteme-book-frank-puppe-9783540540236","title":"Einfuhrung in Expertensysteme","description":"Expertensysteme er|ffnen dem Computer neue Anwendungsfelder, da die Programme leistungsf{higer werden und mit geeigneten Expertensystemwerkzeugen auch ohne spezielle Programmier- kenntnisse entwickelt und gewartet werden k|nnen. Die Kern- idee ist die saubere Trennung zwischen allgemeinen Problem- l|sungsstrategien und anwendungsspezifischem Wissen. Dieses Buch gibt eine profunde Einf}hrung in die derzeitig verf}g- barenTechniken und in Aspekte des betrieblichen Einsatzes.","brand":"WoB","offers":[{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":49549949108497,"sku":"GOR013530559","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49623439245585,"sku":"GOR013547986","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354972549393,"sku":"NLS9783540540236","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540540237.jpg?v=1750999650"},{"product_id":"problemlosungsmethoden-in-expertensystemen-book-frank-puppe-9783540532316","title":"Problemlösungsmethoden in Expertensystemen","description":"Diagnostisches Problemlosen ist der bisher erfolgreichste Anwendungsbereich von Expertensystemen. Nach einer ausfuhrlichen Einfuhrung in Expertensysteme werden aus Erfahrungen mit existierenden Diagnostik-Systemen und psychologischen Studien uber medizinische Diagnostik Richtlinien zur Entwicklung von Werkzeugen (Shells) fur heuristische Diagnostik abgeleitet. Der Hauptteil des Buches beschaftigt sich mit der Konkretisierung und Implementierung dieser Mechanismen in dem Shell MED2 zur Entwicklung medizinischer und technischer Diagnostik-Systeme, was anhand von Beispielwissensbasen illustriert wird. Der Leser bekommt mit dem Buch eine exemplarische Einfuhrung in Expertensysteme, den Stand der Forschung bei diagnostischem Problemlosen und eine Bedienungsanleitung fur lauffahige Software zur Entwicklung von heuristischen Diagnostik-Expertensystemen.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52089104859409,"sku":"NLS9783540532316","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540532316.jpg?v=1756905769"},{"product_id":"kooperation-und-konkurrenz-book-ralf-g-herrtwich-9783642978524","title":"Kooperation und Konkurrenz","description":"Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozeßdatenverarbeitung, Rechnerarchitektur, Rechnernetze, Produktionstechnik, Büroautomation Die Programmierung nebenläufiger, verteilter und echtzeitabhängiger Systeme erlangte zunehmende Bedeutung nicht nur in der Informatik, sondern vor allem auch in zahlreichen Anwendungsbereichen. Ursprünglich mußte man sich mit ihr nur beim Betriebssystembau und in der Prozeßdatenverarbeitung beschäftigen. Heute ist sie aufgrund neuartiger Rechnerarchitekturen und wegen der Verwendung von Rechnernetzen in der Telekommunikation, in der Produktionstechnik und in der Büroautomation für viele andere Gebiete unabdingbar geworden. Ausgehend von der sequentiellen Programmierung stellt dieses Buch die grundlegenden Konzepte, Methoden und Techniken der Programmierung nebenläufiger, verteilter und echtzeitabhängiger Systeme im Zusammenhang dar. Die Verwaltung und Synchronisation nebenläufiger Prozesse sowie die prozeßübergreifende Kommunikation, z.B. mit Semaphoren, Monitoren, Nachrichten oder Rendezvous, stehen dabei im Mittelpunkt. Konfigurationsmechanismen und Protokolle machen die vorgestellten Verfahren auch für verteilte Systeme anwendbar, und die Berücksichtigung von Zeitschranken erlaubt ihren Einsatz in echtzeitabhängigen Systemen. Dieses Buch wendet sich gleichermaßen an Informatiker, Ingenieure und Naturwissenschaftler. Es soll sowohl Studierende als auch den in der Praxis Tätigen ein umfassendes Grundwissen vermitteln, das ihnen nicht nur das Verstehen und Anwenden der erforderlichen Mechanismen ermöglicht, sondern sie auch in die Lage versetzt, solche Mechanismen selbst zu implementieren.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52353150976273,"sku":"NLS9783642978524","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642978524.jpg?v=1758182648"},{"product_id":"fehlertoleranzverfahren-book-klaus-echtle-9783540526803","title":"Fehlertoleranzverfahren","description":"Dieses Buch beschreibt die grundlegenden Verfahren zur Tolerierung von Fehlern, die in Rechensystemen auftreten. Besondere Beachtung finden Fehlertoleranz-Manahmen fur verteilte Systeme, da diese eine zunehmende Bedeutung erlangen. Die Ansatze zur Vermeidung von Zuverlassigkeitsengpassen durch Fehlertoleranz-Instanzen, die selbst fehlertolerant sind, werden ausfuhrlich diskutiert. Die Darstellung ist weniger auf die Beschreibung existierender fehlertoleranter Rechensysteme ausgerichtet als vielmehr auf eine systematische, weitgehend implementierungsunabhangige Klassifikation der verschiedenen Schritte zur Fehlertoleranz und ihrer Varianten. Es wird ein Uberblick gegeben, der die Entwurfsalternativen bei der Realisierung von Fehlertoleranz-Verfahren aufzeigt und ihre Auswirkungen auf Zuverlassigkeit, Leistungsfahigkeit und andere Eigenschaften eines Rechensystems verdeutlicht.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52355117711633,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52355121185041,"sku":"NLS9783540526803","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540526803.jpg?v=1758184637"},{"product_id":"petrinetze-book-wolfgang-reisig-9783540166221","title":"Petrinetze","description":"1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen\/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat\/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52404279345425,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52404279705873,"sku":"NLS9783540166221","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540166221.jpg?v=1758763720"},{"product_id":"einfuhrung-in-die-programmierung-mit-modula-2-book-franz-ritzinger-9783540180777","title":"Einführung in die Programmierung mit Modula-2","description":"Dieses Buch, in dessen Titel sich \"Einführung in die Programmierung\" und \"Programmierung mit Modula-2\" verbinden, wendet sich sowohl an den Programmieranfänger, als auch an den erfahrenen Programmierer, der die Sprache Modula-2 erlernen will. Einerseits vermittelt es ein solides Grundwissen der Programmiertechnik und führt in zeitgemäße Methoden des Programmentwurfs ein, andererseits gibt es eine handbuchartige Beschreibung der Programmiersprache Modula-2 und übt ihren methodischen Gebrauch an vielen Beispielen ein. Die von Niklaus Wirth stammende Programmiersprache Modula-2 hat, im Gegensatz zu Programmiersprachen wie Ada, COBOL oder PL\/I, einen geringen Sprachumfang und ist daher leicht erlernbar. Trotzdem enthält sie alle Sprachelemente, die zur Formulierung kompliziertester Algorithmen und zur Realisierung der modernen Konzepte des Software Engineering erforderlich sind. Modula-2 zeichnet sich durch einen systematischen Aufbau aus, ermöglicht das Schreiben gut lesbarer Programme, unterstützt moderne Prinzipien des Software Engineering und eignet sich zur Implementierung auf Mikrocomputern; all dies macht die Sprache zu einem wertvollen Instrument auch zur Einführung in die Grundlagen der Programmierung. Die meisten Kapitel und viele Abschnitte enthalten Übungsaufgaben, die dem Leser helfen sollen, das erlernte Wissen zu vertiefen und seinen Wissensstand zu überprüfen. Das Buch unterscheidet sich von vielen Büchern über Programmiersprachen vor allem dadurch, daß das Hauptgewicht nicht auf der Programmiersprache selbst, sondern auf der Programmiermethodik liegt. In der bereits 1 1\/2 Jahre nach Erscheinen des Buches vorliegenden 2. Auflage wurden alle bekanntgewordenen Fehler und Unklarheiten beseitigt.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52404291338513,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52404291993873,"sku":"NLS9783540180777","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540180777.jpg?v=1758763804"},{"product_id":"recent-advances-in-schizophrenia-book-anthony-kales-9780387972213","title":"Recent Advances in Schizophrenia","description":"I am honored to introduce readers to this extraordinary volume, the first in the annual International Perspectives Series: Psychiatry, Psychology, and Neurosciences. This particular volume on the Recent Advances In Schizophrenia stems from the Third Annual Pennsylvania Conference on Schizophrenia, held in March, 1988. At that international meeting, some of the most esteemed researchers in the field surveyed our current under- standing of schizophrenia. Collectively, their presentations capture the excitement of a research field launching into a stage of rapid worldwide advancement. The last decade has seen an enormous refocusing of scientific effort on schizophrenia, directed, in large measure, by the National Institute of Mental Health (NIMH). Our understanding of this mysterious, disabling disorder in all its diversity has been enhanced by a host of technologies, including new neuroimaging techniques, cognitive psychology, molecular genetics, and anatomical, biochemical, and molecular neuropathology. The resulting growth spurt in our knowledge constitutes the essence of the conference and of this volume. As the following pages amply docu- ment, it has been a decade of great progress, one in which we can take great pride. The science of our field has matured to the point that a major research thrust is now feasible-one likely to have enormous benefits for schizophrenic patients and their families. It is a very exciting time to be in this field and to participate in accelerating its advances.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52427736613137,"sku":"NLS9780387972213","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":52707960979729,"sku":"NGR9780387972213","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387972213.jpg?v=1759161889"},{"product_id":"programmierung-und-datenstrukturen-book-klaus-hinrichs-9783540171003","title":"Programmierung und Datenstrukturen","description":"Dieses Buch ist aus der zweisemestrigen EinfUhrungsvorlesung Informatik 1 und 2 an der ErR Ziirich entstanden. Da der Inhalt des ersten Semesters, der die Abschnitte 1 und 2 umfasst, eine unkonventione11e EinfUhrung in die Informatik darstellt, ist eine ErkHirung angebracht, damit der Leser beurteilen kann, ob die Voraussetzungen und Zielsetzungen dieses Buches auf ihn zutreffen. Zlihlen wir zuerst die Funktionen auf, die dieses Buch niche zu erfiillen versuchl Dieses Buch ist keine Anfangeranleitung zum Programmieren. Wir setzen voraus, dass der Leser eine moderne Programmiersprache nicht nur kennt, sondern auch geiibt hat, zum Beispiel anhand einer der vielen EinfUhrungen ins Programmieren in Pascal. Wir streben keine umfassende Darste11ung der Informatik an, sondern wlihlen gezielt Themen aus, die schnell zu wichtigen Begriffen, Methoden und Erkenntnissen in einigen Kernbereichen der Informatik fUhren. Wer eine Ubersicht iiber einen viel grasseren Themenkreis sucht, dem sei die Injormatik von Bauer und Goos  BG] empfohlen. Wir streben auch keine formale Darste11ung der behandelten Themen an. Informatik ist zwar die Technik der Formalisierung, aber formale Darste11ungen sind in erster Linie fUr den Umgang mit Maschinen geeignet, nicht fUr die Kommunikation von Mensch zu Mensch. Gerade bei der ersten Begegnung mit einem Gedankengang, wie es beim Lesen eines Lehrbuches die Regel ist, ist Intuition der Schliissel zum Verstiindnis. Wir versuchen mit Vielen Beispielen und Bildern des Lesers Intuition anzusprechen.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616655274257,"sku":"NLS9783540171003","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540171003.jpg?v=1761527948"},{"product_id":"grundbegriffe-der-theoretischen-informatik-book-franz-stetter-9783540193623","title":"Grundbegriffe der Theoretischen Informatik","description":"In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen, Komplexitat - auf der Basis der Programmiersprache PASCAL motiviert, abgeleitet und in einer einheitlichen Betrachtungsweise dargestellt. Ferner wird die Aquivalenz verschiedener Ansatze zu einer Theorie der Berechenbarkeit - Programme, rekursive Funktionen, Regelsprachen und Turingmaschinen - als weiteres zentrales Konzept herausgestellt. Wahrend in den Kapiteln 1-7 qualitative Aspekte der Berechenbarkeit behandelt werden, ist Kapitel 8 den quantitativen Aspekten gewidmet. Die Komplexitat, d.h. Zeit- bzw. Speicheraufwand fur eine Berechnung, ist sowohl abhangig von dem zugrundeliegenden Berechnungsmodell als auch von dem zu losenden Problem, da fur ein bestimmtes Problem gewisse Schranken nicht unterschritten werden konnen. Bei einem so weitgespannten Gebiet wie der Theoretischen Informatik mussen zwangslaufig manche Einschrankungen bei der Stoffauswahl gemacht werden. So wird z.B. Semantik nur informell behandelt, Parallelitat nur ansatzweise betrachtet oder Automatentheorie nur am Rand gestreift. Ziel der Stoffauswahl war es, ein moglichst umfassendes Bild der Theoretischen Informatik zu bieten und ein Fundament fur weitergehende Studien zu legen. Das Buch setzt Grundkenntnisse aus den Anfangervorlesungen uber Analysis und Lineare Algebra voraus. Um den Leser mit der Terminologie in diesem Buch vertraut zu machen, sind im Anhang diese mathematischen Grundlagen in knapper Form zusammengestellt.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616932098321,"sku":"NLS9783540193623","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540193623.jpg?v=1761528813"},{"product_id":"lisp-book-herbert-stoyan-9783540169147","title":"LISP","description":"Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universit t Erlangen-N rnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle- sung Structure und Interpretation of Computer Programs von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 ver ffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrb chern LISP von Win- ston und Horn (1981) und Artificial Intelligence Programming von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript LISP - Pro- gramming and Proving von McCarthy und Talcott (1980) von der Stanford University. Im Mittelpunkt unserer Darstellung steht der Begriff des Programmierstils. Er gestattet eine sinnvolle Klassifikation der Ans tze und Leitlinien, nach denen in LISP programmiert wird und erm glicht gleichzeitig die Einbeziehung neuer Grundgedanken wie des der Objektorientierung. Wir hoffen, damit eine neu- artige Einf hrung in die Programmierung vorzulegen, die nur noch wenige Ge- meinsamkeiten mit traditionellen Darstellungen teilt. So kommt es, da  in diesem Lehrbuch nichts  ber interne Repr sentation von LISP-Objekten (z. B. Spei- cherstrukturen, automatische Speicherverwaltung, usw.) und  ber interne Details der Implementation von LISP zu finden ist. Wir haben diese Entscheidung be- wu t getroffen, da wir meinen, da  diese Themen Gegenstand eines weiterf hren- den Textes sein sollten. Der hieran interessierte Leser sei auf Allens Anatomy of LISP (1979) verwiesen.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52655382429969,"sku":"NLS9783540169147","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540169147.jpg?v=1762220315"},{"product_id":"rechensysteme-book-eike-jessen-9783540163831","title":"Rechensysteme","description":"Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universitat Hamburg gehalten haben. Der Umstand, da die ubliche getrennte Darstellung der Gebiete Betriebssysteme, Rechnerorganisation und Verteilte Systeme jede der Veran- staltungen mit der Prasentation eines Instrumentariums von Verfahren belastet und dabei den Lernenden die Einheit der Gesichtspunkte leicht verborgen bleibt, fuhrte dazu, da das Lehrgebiet Rechnerorganisation und Betriebssysteme in eine Grundvorlesung Rechensysteme und darauf aufbauende - dank der bereits ge- brachten Grundlagen - mehr implementationsorientierte Vorlesungen Rechneror- ganisation, Betriebssysteme, Verteilte Systeme gegliedert wurde. Die Vor- lesung Rechensysteme hat Ansatz und Material zu diesem Buch geliefert. Das Buch eignet sich daher als Begleittext fur Studenten der Informatik im Hauptstudium und fur Nebenfachinformatiker mit Interesse fur Rechensysteme, sowie als Grundlagentext fur Programmierer und Systemanalytiker. Es ist als Lehrbuch fur eigenstandiges Lernen und als Nachschlagewerk fur Praktiker geeig- net, die Aufschlu uber theoretische Modelle voraussetzende Fragen brauchen. Fur vertiefende Studien werden zahlreiche Literaturhinweise gegeben. Wir danken Eike Best, Wilfried Brauer, Heino Carstensen, Hans-Jurgen Siegert und Bernd Wolfinger fur viele wichtige Ratschlage, Werner Pohlmann und zahlreichen Studenten fur Hinweise auf Fehler und Verstandnisschwierigkeiten und den vielen, die mit Geduld und Verstandnis Manuskript und druckfertigen Text hergestellt haben: Gabriele Diem, Ullrich Dillis, Heidrun Durry, Anita Graef, Monika Grimm und Anne Christi ne Hogrefe. Munchen\/Hamburg, Juni 1986 Jessen Eike Rudiger Va1k Wer sich der Praxis hingibt ohne Wissenschaft ist wie der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie wei, wohin er fahrt.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52659939967249,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52659940851985,"sku":"NLS9783540163831","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540163831.jpg?v=1762264132"},{"product_id":"programmiermethoden-der-kunstlichen-intelligenz-book-herbert-stoyan-9783540524694","title":"Programmiermethoden der Künstlichen Intelligenz","description":"Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, da es zu jedem Problem ein angepates Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen Programmierstilen. Um den angehenden KI-Programmierer mit KI-Programmiersprachen (Wissensreprasentationsformalismen) und ihrer Implementierung vertraut zu machen, wird eine Reihe etablierter oder zeitweise wichtiger Sprachen vorgestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im ersten Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im vorliegenden zweiten Band stehen Relations-, Regel-, Plan-, Anweisungs- und Objekt-orientierte Formen sowie die ATN-Programmierung (Augmented Transition Networks) im Vordergrund.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52660735312145,"sku":"NLS9783540524694","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540524694.jpg?v=1762265882"},{"product_id":"semantik-von-programmiersprachen-book-elfriede-fehr-9783540151630","title":"Semantik von Programmiersprachen","description":"Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunachst werden unterschiedliche Formalisierungsansatze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschlieend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklart und verwendet. Schlielich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermoglicht es, selbstandig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und naturlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52661276803345,"sku":"NLS9783540151630","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540151630.jpg?v=1762267116"},{"product_id":"programmiermethoden-der-kunstlichen-intelligenz-book-herbert-stoyan-9783540194187","title":"Programmiermethoden der Künstlichen Intelligenz","description":"Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, da jedem Problem ein angepates Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen Programmierstilen. Um den angehenden KI-Programmierer zu befahigen, mit KI-Programmiersprachen (Wissensreprasentationsformalismen) umzugehen, sie zu verstehen und zu implementieren, wird eine Reihe von etablierten bzw. zeitweise wichtigen Sprachen dargestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im vorliegenden 1. Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im 2. Band werden moderne Konzepte und Methoden im Vordergrund stehen.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52662127853841,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52662128705809,"sku":"NLS9783540194187","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540194187.jpg?v=1762268797"}],"url":"https:\/\/www.worldofbooks.com\/collections\/studienreihe-informatik-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}