Refine your search
Availability
-
Authors
- Asarin, Eugene
- Bouyer, Patricia
- Bowen, Jonathan P.
- Cassez, Franck
- Donzeau-Gouge, Véron...
- El-Fakih, Khaled
- Harman, Mark
- Haverkort, Boudewijn
- Higashino, Teruo
- Jard, Claude
- Leucker, Martin
- Najm, Elie
- Pol, Jaco
- Pradat-Peyre, Jean-F...
- Raskin, Jean-Françoi...
- Rozenberg, Grzegorz
- Thiagarajan, P. S.
- Wang, Farn
- Yasumoto, Keiichi
- Yi, Wang
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Autómata temporal
- Computador de sistem...
- Ingeniería de Softwa...
- Método formal (Infor...
- Método Formal (infor...
- Método formal (Infor...
- Procesamiento de dat...
- Procesamiento electr...
- Programas para compu...
- Redes de computadore...
- Registro de computad...
- Simulación por compu...
- Simulación por compu...
- Sistemas por computa...
- Software por computa...
- Show more
- Show less