- Accueil ›
- Résultats de recherche pour 'ccl=su:Computer science and ( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )'
Affiner votre recherche
Disponibilité
-
Auteurs
- Diaz, Josep (1)
- Lanese, Ivan (1)
- Rutten, Jan (1)
- Sangiorgi, Davide (3)
-
Sites de rattachement
-
Types de document
-
Collection
-
Sujets
- Algorithm Analysis a... (1)
- Algorithms (1)
- Bisimulation (2)
- Coinduction (Mathema... (2)
- Computation by Abstr... (1)
- Computer logic (1)
- Computer science (4)
- Computer Science (1)
- Computers (1)
- COMPUTERS / Networki... (2)
- Discrete Mathematics... (1)
- Induction (Mathemati... (2)
- Logics and Meanings ... (1)
- Mathematical logic (1)
- Mathematical Logic a... (1)
- Modality (Logic) (2)
- Numeric Computing (1)
- Numerical analysis (1)
- Afficher plus
- Afficher moins