RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 11 - 12 di 12 (tempo di esecuzione: 0.072 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The quotient in preorder theories (extended version) | 1-gen-2020 | Incer Romeo, Inigo; Mangeruca, Leonardo; Villa, Tiziano; Sangiovanni-Vincentelli, Alberto | |
VIS user's manual | 1-gen-1995 | Villa, Tiziano; G., Swamy; T., Shiple |
Risultati 11 - 12 di 12 (tempo di esecuzione: 0.072 secondi).
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
Opzioni
Scopri
Tipologia
- 07 Altra tipologia 12
- 07 Altra tipologia::07.15 Rapport... 12
Data di pubblicazione
- 2010 - 2020 2
- 2000 - 2009 4
- 1990 - 1999 5
- 1987 - 1989 1
Editore
- Dept. of EECS, University of Cali... 1
- EECS Department, University of Ca... 1
- Tech. Rep. TR-05-23, Nov. 24, 200... 1
- Technical Report, Tomsk Universit... 1
- University of California, Berkele... 1
- University of California, Berkele... 1
- University of California, Berkele... 1
- University of California, Berkele... 1
- University of California, Berkele... 1
- University of California, Berkele... 1
Keyword
- codifica 3
- macchine a stati finiti 3
- Automata equations. parallel equa... 1
- automi ibridi 1
- BALM-II 1
- circuiti numerici 1
- Controllori massimali 1
- diagrammi di decisione 1
- diagrammi di decisione binaria 1
- equazione sincrone 1
Lingua
- eng 9
- rus 2
- ita 1
Accesso al fulltext
- no fulltext 7
- open 5