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

31 - 36 von 36

	31	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
	32	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
	33	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
	34	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
	35	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
	36	Bowen, Jonathan P. 1956- / Informatiker

31 - 36 von 36

Alle Materialarten

Alle Kataloge/Sammlungen

Teilbestand nach VGG (3)

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen