IRIS

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 20 di 69
Titolo Data di pubblicazione Autore(i) File
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 1-gen-1983 De Nicola, R
A Completeness Theorem for Nondeterministic Kleene Algebras. 1-gen-1994 De Nicola, R; Labella, A
A control Lyapunov approach to predictive control of hybrid systems 1-gen-2008 DI CAIRANO, S.; Lazar, M.; Bemporad, A.; Heemels, W. P. M. H.
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 1-gen-2005 Lorenzo, Bettini; DE NICOLA, R; Daniele, Falassi; Marc, Lacoste; Michele, Loreti
A modal logic for KLAIM 1-gen-2000 DE NICOLA, R; M., Loreti
A Process Algebra based on Linda 1-gen-1996 DE NICOLA, R; R., Pugliese
A Process Calculus for QoS-Aware Applications 1-gen-2005 DE NICOLA, R; G. -L., Ferrari; U., Montanari; R., Pugliese; E., Tuosto
A Reversible Abstract Machine and Its Space Overhead 1-gen-2012 Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B
A SAT-based hybrid solver for optimal control of hybrid systems 1-gen-2004 Bemporad, A.; Giorgetti, N.
A Symbolic Semantics for the pi-calculus 1-gen-1994 M, Boreale; DE NICOLA, R.
A Theory of May Testing for Asynchronous Languages 1-gen-1999 M, Boreale; DE NICOLA, R.; Pugliese, R.
A Two-Phase Static Analysis for Reliable Adaptation 1-gen-2014 Degano, P.; Ferrari, G. L.; Galletta, L.
ABEL - A domain specific framework for programming with attribute-based communication 1-gen-2019 De Nicola, R.; Duong, T.; Loreti, M.
AllAboard: A system for exploring urban mobility and optimizing public transport using cellphone data 1-gen-2013 Berlingerio, M.; Calabrese, F.; Di Lorenzo, G.; Nair, R.; Pinelli, F.; Sbodio, M. L.
Asynchronous Observations of Processes 1-gen-1998 M, Boreale; DE NICOLA, R.; Pugliese, R.
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 1-gen-2021 Simic, S.; Inverso, O.; Tribastone, M.
Checking the Expressivity of Firewall Languages 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 1-gen-2018 Incerto, E.; Tribastone, M.; Trubiani, C.
Core Calculi for Service-Oriented Computing 1-gen-2011 Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G
Deeper insights into neural nets with random weights 1-gen-2022 Li, Ming; Gnecco, GIORGIO STEFANO; Sanguineti, Marcello
Mostrati risultati da 1 a 20 di 69
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile