Treffer 1 - 7 von 7

1

Towards Distributed Mobile Computing
MASSARI, GIUSEPPE ; ZANELLA, MICHELE ; FORNACIARI, WILLIAM
2016 Mobile System Technologies Workshop (MST). :29-35

Mobile applications, Dis... 0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
2

A multi-facet approach to dynamic agent systems
Fundamenta Informaticae. 85(1-4):19-33

models of concurrent categorical semantics distributed and mobile c... dynamic agents synchronization system specification
Fachzeitschrift
Zu den Favoriten
3

31st Nordic Workshop on Programming Theory NWPT 2019 : Tallinn, Estonia, 13-15 November 2019 : Abstracts
Department of Software Science

programming logics program verification real-time and hybrid sys... program construction models of concurrent program transformation a...
Zu den Favoriten
4

25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : Abstracts
Institute Of Cybernetics At Tallinn University Of Technology

programming logics program verification real-time and hybrid sys... program construction program transformation a... formal specification of...
Zu den Favoriten
5

20th Nordic Workshop on Programming Theory NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : Abstracts
Institute of Cybernetics at Tallinn University of Technology

programming logics program verification real-time and hybrid sys... program construction program transformation a... formal specification of...
Zu den Favoriten
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

07151 Abstracts Collection -- Geometry in Sensor Networks
Suri, Subhash ; Wattenhofer, Roger ; Widmayer, Peter ; et al.

E-Ressource
Zu den Favoriten

Filter