Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=006.7*



Treffer 1094 von 1229 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1266730508
Art des Inhalts Konferenzschrift, 2007, Brisbane
Titel Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Person(en) Dumas, Marlon (Herausgeber)
Organisation(en) WS-FM (4 : 2007 : Brisbane) (Herausgebendes Organ)
Verlag Cham : Springer International Publishing
Zeitliche Einordnung Erscheinungsdatum: 2008
Umfang/Format Online-Ressource (pdf)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Web services and formal methods
Persistent Identifier URN: urn:nbn:de:101:1-2022083106005554531164
DOI: 10.1007/978-3-540-79230-7
URL https://link.springer.com/book/10.1007/978-3-540-79230-7 (Verlag)
ISBN/Einband/Preis 978-3-540-79230-7
EAN 9783540792307
Beziehungen Lecture Notes in Computer Science
Schlagwörter Web Services ; Formale Methode
Web Services ; Kommunikationsprotokoll
Web Services ; Dienstgüte ; Datensicherung ; Leistungsbewertung
Semantic Web ; Web Services ; Ontologie <Wissensverarbeitung> ; Semantisches Netz
DDC-Notation 006.76015113 [DDC22ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1094 von 1229
< < > <


E-Mail-IconAdministration