Fenster schließen ☓
Suchbegriff:
Was suchen Sie? (Suchworte, EAN-Nr.)  Such-Tipps

Produktvorschläge:
Hundeerziehung: Gut erzogen - fit für den Alltag (GU Tierratgeber)
Hundeerziehung: Gut erzogen - fit für den Alltag (GU Tierratgeber)
Binding : Taschenbuch, Label : GRÄFE UND UNZER Verlag GmbH, Publisher : GRÄFE UND UNZER Verlag GmbH, medium : Taschenbuch, numberOfPages : 64, publicationDate : 2014-08-09, authors : Katharina[...]
EAN 9783833838026
Hersteller: Katharina Schlegl-Kofler
Bester Preis:
5,49€ (+1.99)
von: Medimops (gebrauchtes)
Alle Preise
Low Carb - Das 8-Wochen-Programm: Wenig Kohlenhydrate - viel abnehmen
Low Carb - Das 8-Wochen-Programm: Wenig Kohlenhydrate - viel abnehmen
Binding : Broschiert, Edition : 1, Label : Trias, Publisher : Trias, medium : Broschiert, numberOfPages : 112, publicationDate : 2013-01-09, releaseDate : 2013-01-09, authors : Claudia Lenz,[...]
EAN 9783830467076
Hersteller: Claudia Lenz
Bester Preis:
4,21€ (+1.99)
von: Medimops (gebrauchtes)
Alle Preise
Die Erfindung des Lebens. Roman
Die Erfindung des Lebens. Roman
Binding : Gebundene Ausgabe, Edition : EA, , Label : Luchterhand Literaturverlag, Publisher : Luchterhand Literaturverlag, medium : Gebundene Ausgabe, numberOfPages : 592, publicationDate : 2009-09-14, authors : Hanns-Josef Ortheil,[...]
EAN 9783630872964
Hersteller: Hanns-Josef Ortheil
Bester Preis:
2,82€ (+1.99)
von: Medimops (gebrauchtes)
Alle Preise
Das Silmarillion
Das Silmarillion
Mittelerde lag im Dämmerlicht unter den Sternen ... eine Zeit, in der die Elben große Dinge schufen. Aber am schönsten von allen sind die Silmaril, die Edelsteine, in die das Licht der Bäume eingeschlossen ist. Das Licht, das noch älter ist als Sonne[...]
EAN 9783608938296
Hersteller: Klett Cotta
Bester Preis:
27,00€
von: Thalia-Fremdsprachen
Alle Preise
Weltmacht IWF
Weltmacht IWF
Er erpresst Staaten. Er plündert Kontinente. Er hat Generationen von Menschen die Hoffnung auf eine bessere Zukunft genommen und ist dabei zur mächtigsten Finanzorganisation der Welt aufgestiegen: Die Geschichte des IWF gleicht einem modernen Kreuzzug gegen[...]
EAN 9783828833296
Hersteller: Tectum Wissenschaftsverlag
Bester Preis:
17,95€
von: Thalia-Fremdsprachen
Alle Preise
Schluss mit dem Eiertanz: Für Angehörige von Menschen mit Borderline
Schluss mit dem Eiertanz: Für Angehörige von Menschen mit Borderline
Binding : Broschiert, Edition : Neuausgabe, Label : Balance Buch + Medien, Publisher : Balance Buch + Medien, medium : Broschiert, numberOfPages : 384, publicationDate : 2009-11-05, authors :[...]
EAN 9783867390057
Hersteller: Randi Kreger
Bester Preis:
13,49€ (+1.99)
von: Medimops (gebrauchtes)
Alle Preise

Stadler, Rolf: Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache

Hersteller: Springer Berlin / EAN-Nummer: 9783540545460

TOP PREIS!
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache

Anbieter: Thalia Deutsch

Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei Xerox PARC entworfene Architektur und ein Ausschnitt aus der Architektur des internationalen Standards f}r Directory-Systeme (X.500) spezifiziert. Daran lassen sich die Vorteile der vorgeschlagenen Methode aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und besitzen eine deklarative und eine prozedurale Semantik. Die erstellten Spezifikationen lassen sich auf einem Prolog-System ausf}hren. Die Ausf}hrbarkeit der Spezifikationen erweist sich als vielseitig anwendbare Eigenschaft, welche beispielsweise die Simulation eines Directory-Systems bei gegebener Konfiguration erm|glicht oder die ]berpr}fung (Verifikation, Validierung) einer Spezifikation erleichtert. [...]

Anbieter-Kategorie: Buch

Preis: 54,99 Euro (+ Versandkosten 0,00 Euro)

ID: 20234545487
TOP PREIS!
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache

Anbieter: Thalia-Fremdsprachen

Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei Xerox PARC entworfene Architektur und ein Ausschnitt aus der Architektur des internationalen Standards f}r Directory-Systeme (X.500) spezifiziert. Daran lassen sich die Vorteile der vorgeschlagenen Methode aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und besitzen eine deklarative und eine prozedurale Semantik. Die erstellten Spezifikationen lassen sich auf einem Prolog-System ausf}hren. Die Ausf}hrbarkeit der Spezifikationen erweist sich als vielseitig anwendbare Eigenschaft, welche beispielsweise die Simulation eines Directory-Systems bei gegebener Konfiguration erm|glicht oder die ]berpr}fung (Verifikation, Validierung) einer Spezifikation erleichtert. [...]

Anbieter-Kategorie: Buch

Preis: 54,99 Euro (+ Versandkosten 0,00 Euro)

ID: 20236317605
Schlagworte der gewählten Anbieter-Kategorien:
des, für, von, de, das, die, im, mit, in, der, und, gmbh, unser, springer, wissen, gruyter, grin, verlag, books, partners, on, buch, bod, hansebooks, berlin, zur, media, creative, llc, demand, lernen, schülerband, arbeitsheft, nachschlagen, ausbildung, schule, klasse, schuljahr, ausgabe, the, lösungen, deutsch, mathematik, schülerbuch, and, fachbücher, bayern, 10, of