Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers
| 1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2019 |
| Descrizione fisica | 1 online resource (148 pages) |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| ISBN | 1-5044-6618-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910389550903321 |
| [Place of publication not identified] : , : IEEE, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers
| 1076-2019 - IEEE Standard for VHDL Language Reference Manual - Redline / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2019 |
| Descrizione fisica | 1 online resource (148 pages) |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| ISBN | 1-5044-6618-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996574961003316 |
| [Place of publication not identified] : , : IEEE, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
18 th Annual Symposium on Foudations of Computer Science : formerly called the Annual Symposium on Switching and Automata Theory : october 31 november 2, 1977 Providence, Rhode Island : sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the ACM Special interest Group for Automata and Computability Theory and Brown University
| 18 th Annual Symposium on Foudations of Computer Science : formerly called the Annual Symposium on Switching and Automata Theory : october 31 november 2, 1977 Providence, Rhode Island : sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the ACM Special interest Group for Automata and Computability Theory and Brown University |
| Autore | Annual Symposium on Foundation of Computer Science <18; Providence; 1977> |
| Pubbl/distr/stampa | Long Beach : IEEE, 1977 |
| Descrizione fisica | V, 269 p. : ill. ; 28 cm |
| Disciplina | 001.642 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000362790203316 |
Annual Symposium on Foundation of Computer Science <18; Providence; 1977>
|
||
| Long Beach : IEEE, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2.:Applications to Recognizability and Decidability / Michel Rigo
| 2.:Applications to Recognizability and Decidability / Michel Rigo |
| Autore | RIGO, Michel |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | Testo elettronico (PDF) (XIX, 245 p.) |
| Disciplina | 001.642 |
| Collana | Networks and Telecommunications Series |
| Soggetto topico |
Computer programming
Formal languages Machine theory |
| ISBN | 9781119042853 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996451649603316 |
| RIGO, Michel | ||
| London, : ISTE | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 IEEE 23rd Conference on Software Engineering Education and Training
| 2010 IEEE 23rd Conference on Software Engineering Education and Training |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Soggetto topico | Software engineering - Study and teaching (Higher) |
| ISBN |
9781424470532
1424470536 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139108603321 |
| [Place of publication not identified], : IEEE, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2010 IEEE 34th Annual Computer Software and Applications Conference
| 2010 IEEE 34th Annual Computer Software and Applications Conference |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| ISBN |
9781424475131
1424475139 9780769540856 0769540856 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910140903603321 |
| [Place of publication not identified], : IEEE, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2011 26th Annual IEEE Symposium on Logic in Computer Science
| 2011 26th Annual IEEE Symposium on Logic in Computer Science |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| ISBN |
9780769544120
0769544126 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141127203321 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2011 IEEE 35th IEEE Annual Computer Software and Applications Conference Workshops
| 2011 IEEE 35th IEEE Annual Computer Software and Applications Conference Workshops |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| ISBN |
9780769544595
0769544592 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141088103321 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2012 34th International Conference on Software Engineering
| 2012 34th International Conference on Software Engineering |
| Autore | Glinz Martin |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Collana | ACM Conferences |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN | 1-4673-1067-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '12 |
| Record Nr. | UNINA-9910376325603321 |
|
Glinz Martin
|
||
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2013 11th International Symposium on Programming and Systems (ISPS)
| 2013 11th International Symposium on Programming and Systems (ISPS) |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2013 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Soggetto topico |
Computer programming
Computer simulation |
| ISBN |
9781479911530
1479911534 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910133704803321 |
| [Place of publication not identified], : IEEE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||