- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Erscheinungsjahr an der Haupttitelstelle: 2007
Freiburg (Breisgau), Univ., Diss., 2008
- Schlagwort
-
XML ; Deduktion ; Model checking ; Vollständige Induktion ; Formalisierung ; Constraint ; Spezifikationssprache
- Urheber
- URN
-
urn:nbn:de:bsz:25-opus-52042
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Webanwendungen über XML-Spezifikationen, Hauptbd.
Webanwendungen über XML-Spezifikationen, Anh.
XML-Lösungen programmieren : [die wichtigsten XML-Technologien und -Spezifikationen praxisnah erklärt]
Webanwendungen über XML-Spezifikationen : verdeutlicht am Beispiel eines holländischen Auktionssystems
Entwicklung und Umsetzung eines XML-basierten elektronischen Arzneimittelinformationssystems (AIS) mit XML-topic maps
XML-Schemaevolution : Änderung eines XML-Schemas mit automatisierter Adaption assoziierter XML-Dokumente
SOAP developer's guide : [Spezifikation, xml, BizTalk-Server]
Generieren von XML-Editoren in XForms aus XML-Schema
Ein Werkzeug zur Spezifikation von effizienten Antriebstopologien für Elektrofahrzeuge
XML & Co. : die W3C-Spezifikationen für Dokumenten- und Datenarchitektur
XML-Werkzeug-Generator mit Hilfe von XML-Schema-Modellen : Generierung von Software-Familien für die Verarbeitung von XML-Dateien
XML-Verarbeitung auf Grafikkarten
Webanwendungen über XML-Spezifikationen, Hauptbd.
Webanwendungen über XML-Spezifikationen, Anh.
XML-Lösungen programmieren : [die wichtigsten XML-Technologien und -Spezifikationen praxisnah erklärt]
Webanwendungen über XML-Spezifikationen : verdeutlicht am Beispiel eines holländischen Auktionssystems
Entwicklung und Umsetzung eines XML-basierten elektronischen Arzneimittelinformationssystems (AIS) mit XML-topic maps
XML-Schemaevolution : Änderung eines XML-Schemas mit automatisierter Adaption assoziierter XML-Dokumente
SOAP developer's guide : [Spezifikation, xml, BizTalk-Server]
Generieren von XML-Editoren in XForms aus XML-Schema
Ein Werkzeug zur Spezifikation von effizienten Antriebstopologien für Elektrofahrzeuge
XML & Co. : die W3C-Spezifikationen für Dokumenten- und Datenarchitektur
XML-Werkzeug-Generator mit Hilfe von XML-Schema-Modellen : Generierung von Software-Familien für die Verarbeitung von XML-Dateien
XML-Verarbeitung auf Grafikkarten
Webanwendungen über XML-Spezifikationen, Hauptbd.
Webanwendungen über XML-Spezifikationen, Anh.
XML-Lösungen programmieren : [die wichtigsten XML-Technologien und -Spezifikationen praxisnah erklärt]
Webanwendungen über XML-Spezifikationen : verdeutlicht am Beispiel eines holländischen Auktionssystems
Entwicklung und Umsetzung eines XML-basierten elektronischen Arzneimittelinformationssystems (AIS) mit XML-topic maps
XML-Schemaevolution : Änderung eines XML-Schemas mit automatisierter Adaption assoziierter XML-Dokumente
SOAP developer's guide : [Spezifikation, xml, BizTalk-Server]
Generieren von XML-Editoren in XForms aus XML-Schema
Ein Werkzeug zur Spezifikation von effizienten Antriebstopologien für Elektrofahrzeuge
XML & Co. : die W3C-Spezifikationen für Dokumenten- und Datenarchitektur
XML-Werkzeug-Generator mit Hilfe von XML-Schema-Modellen : Generierung von Software-Familien für die Verarbeitung von XML-Dateien