Significant service restrictions in the lending area from 17 March!
Showing 1 - 20
of 61
Narrow Search
Department
Subject area
Subject
Konferenzschrift
38
Nebenläufigkeit
11
Objektorientierte Programmierung
6
Formale Methode
5
Parallelverarbeitung
5
Petri-Netz
5
more ...
Aufsatzsammlung
4
Softwareentwicklung
4
Computersimulation
3
Software
3
Softwarespezifikation
3
Theoretische Informatik
3
Verifikation
3
Eingebettetes System
2
Formale Sprache
2
Logik
2
Modelica
2
Objektorientierung
2
Programmierung
2
Systementwicklung
2
UML
2
Zuverlässigkeit
2
Ada
1
Algebra
1
Algebraische Methode
1
Asynchrones Schaltwerk
1
Automation
1
Biocomputer
1
Datenbanksystem
1
Diskretes Ereignissystem
1
less ...
Author
Agha, Gul
3
Rozenberg, Grzegorz
3
Bjørner, Dines
2
Freeman, Peter
2
Fritzson, Peter
2
Hamza, M. H.
2
more ...
Prehn, S
2
Wasserman, Anthony I.
2
Wing, Jeannette M.
2
Aalst, Wil van der
1
Alagar, Vangalur S.
1
Baeten, Josephus C. M.
1
Baier, Christel
1
Barbacci, Mario R.
1
Bode, Arndt
1
Borzyszkowski, Andrzej M.
1
Brauer, Wilfried
1
Brim, Luboš
1
Cassandras, Christos G.
1
Chen, Han-Fu
1
Chomicki, Jan
1
Cindio, Fiorella
1
Cortadella, Jordi
1
Dal Cin, Mario
1
Ehrig, Hartmut
1
Gacek, Cristina
1
George, Chris
1
Ghezzi, Carlo
1
Hagiya, Masami
1
Hahn, Winfried
1
less ...
Language
Date of publishing
Filter