Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Noch nicht die passende Literatur gefunden?
→ Book a Librarian
Ergebnis der Suche nach:
tit all "Process Algebra."
im Bestand: Gesamter Bestand
1 - 10 von 60
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
1
Imperative Process Algebra and Models of Parallel Computation
Enthalten in Theory of computing systems 14.3.2024: 1-42
2
Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting
Soltanieh, Amin. - München : Dr. Hut, 2023
Ankündigung
3
Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting
Soltanieh, Amin. - München : Verlag Dr. Hut, 2023
4
Formal Modeling and Verifying Dubbo Using Process Algebra
Enthalten in Mobile networks and applications 23.10.2023: 1-16
5
Reactive bisimulation semantics for a process algebra with timeouts
Enthalten in Acta informatica 8.4.2022: 1-47
6
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective
Enthalten in Mobile networks and applications 9.12.2019: 1-15
7
Stapp, Bohm and the Algebra of Process
Enthalten in Activitas nervosa superior 17.4.2019: 1-6
8
An asynchronous process algebra with multiple clocks
Andersen, Henrik Reif. - Bamberg : Otto-Friedrich-Universität Bamberg, 2018
9
Process Algebra with Strategic Interleaving
Enthalten in Theory of computing systems 8.8.2018: 1-18
10
Improving process algebra model structure and parameters in infectious disease epidemiology through data mining
In: Journal of intelligent information systems 22.7.2017: 1-23
1 - 10 von 60
Alle Materialarten
Bücher (12)
Online Ressourcen (48)
Artikel (34)
Alle Kataloge/Sammlungen
Hochschulschriften (8)
Alle Standorte
Frankfurt (59)
Leipzig (59)
Online (frei zugänglich) (14)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration