Annual Symposium on Foundations of Computer Science : [papers] |
Pubbl/distr/stampa | [New York], : [Institute of Electrical and Electronics Engineers] |
Descrizione fisica | 1 online resource |
Disciplina | 519.4 |
Soggetto topico |
Switching theory
Machine theory Electronic data processing Théorie de la commutation Théorie des automates Informatique Fundamentele informatica |
Soggetto genere / forma | Conference papers and proceedings. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Foundations of computer science |
Record Nr. | UNISA-996280992503316 |
[New York], : [Institute of Electrical and Electronics Engineers] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Annual Symposium on Foundations of Computer Science : [papers] |
Pubbl/distr/stampa | [New York], : [Institute of Electrical and Electronics Engineers] |
Descrizione fisica | 1 online resource |
Disciplina | 519.4 |
Soggetto topico |
Switching theory
Machine theory Electronic data processing Théorie de la commutation Théorie des automates Informatique Fundamentele informatica |
Soggetto genere / forma | Conference papers and proceedings. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Foundations of computer science |
Record Nr. | UNINA-9910626186303321 |
[New York], : [Institute of Electrical and Electronics Engineers] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC |
Pubbl/distr/stampa | New York, N.Y., : ACM Press, c1990- |
Descrizione fisica | 1 online resource |
Disciplina | 005 |
Soggetto topico |
Mathematics - Data processing
Algebra - Data processing Fundamentele informatica Symbolische logica |
Soggetto genere / forma | Conference papers and proceedings. |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
ISSAC
Symbolic and algebraic computation |
Record Nr. | UNISA-996217759003316 |
New York, N.Y., : ACM Press, c1990- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|