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 226 - 229 di 229 (tempo di esecuzione: 0.259 secondi).
Towards a theory of abstract data types: a discussion on problems and tools
1980 Bertoni, A; Mauri, G; Miglioli, P
A characterization of abstract data as model theoretic invariants
1979 Bertoni, A; Mauri, G; Miglioli, P
An algebraic approach to problem solution and problem semantics
1977 Bertoni, A; Mauri, G; Torelli, M
Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata
1977 Bertoni, A; Mauri, G; Torelli, M
Titolo | Tipologia | Data di pubblicazione | Autori | File |
---|---|---|---|---|
Towards a theory of abstract data types: a discussion on problems and tools | 02 - Intervento a convegno | 1980 | Mauri, G + | |
A characterization of abstract data as model theoretic invariants | 02 - Intervento a convegno | 1979 | Mauri, G + | |
An algebraic approach to problem solution and problem semantics | 02 - Intervento a convegno | 1977 | Mauri, G + | |
Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata | 02 - Intervento a convegno | 1977 | Mauri, G + |
Risultati 226 - 229 di 229 (tempo di esecuzione: 0.259 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
Keyword
- P systems 14
- cellular automata 11
- membrane systems 8
- stochastic simulation 7
- Computer Science (all) 6
- Theoretical Computer Science 6
- WhoTeach 6
- formal languages 5
- genetic programming 5
- Membrane Computing 5
Rivista
- ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 3
- PROCEDIA COMPUTER SCIENCE 2
- 3642159788; 978-364215978-7 1
Editore
- Springer 54
- Springer Verlag 33
- Springer-Verlag 20
- ACM Press 10
- Institute of Electrical and Electronics Engineers Inc. 10
- World Scientific 8
- IEEE 7
- IEEE Press 5
- IEEE Computer Society 4
- SciTePress 4
Lingua
- eng 229
Settore disciplinare
- INF/01 - INFORMATICA 178
- ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI 18
- BIO/10 - BIOCHIMICA 2
Tipologia
- 02 - Intervento a convegno 229
Accesso al fulltext
- no fulltext 212
- reserved 10
- open 6
- partially open 1