Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

Ergebnis der Suche nach: "122239318"
im Bestand: Gesamter Bestand

21 - 27 von 27

	21	Z-User Workshop Z-User Workshop (8 : 1994 : Cambridge). - London : Springer, 1994
	22	Z-User Workshop Z-User Workshop (7 : 1992 : London). - London : Springer, 1993
	23	Algebraic approach to linking the semantics of web services Enthalten in Innovations in systems and software engineering Bd. 7, 7.10.2011, Nr. 3, date:9.2011: 209-224
	24	Egon Börger and Alexander Raschke: Modeling companion for software practitioners Enthalten in Formal aspects of computing Bd. 30, 22.10.2018, Nr. 6, date:11.2018: 761-762
	25	PTSC: probability, time and shared-variable concurrency Enthalten in Innovations in systems and software engineering Bd. 5, 11.8.2009, Nr. 4, date:12.2009: 271-284
	26	Specification, Verification and Prototyping of an Optimized Compiler Enthalten in Formal aspects of computing Bd. 6, 10.11.2012, Nr. 6, date:12.1994: 643-658
	27	Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP Enthalten in Formal aspects of computing Bd. 32, 15.6.2020, Nr. 2-3, date:7.2020: 275-314

21 - 27 von 27

Alle Materialarten

Alle Kataloge/Sammlungen

Teilbestand nach VGG (3)

Alle Standorte > Leipzig (27)

Aktionen