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 | ||
| ||
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 35th International Conference on Software Engineering
| 2013 35th International Conference on Software Engineering |
| Autore | Notkin David |
| 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-3076-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '13 |
| Record Nr. | UNINA-9910375876703321 |
|
Notkin David
|
||
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2014 47th Annual IEEE/ACM International Symposium on Microarchitecture : 13-17 December 2014, Cambridge, United Kingdom / / sponsored by IEEE Computer Society
| 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture : 13-17 December 2014, Cambridge, United Kingdom / / sponsored by IEEE Computer Society |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 |
| Descrizione fisica | 1 online resource (697 pages) |
| Disciplina | 001.642 |
| Soggetto topico |
Microprogramming
Computer architecture |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280311603316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2014 47th Annual IEEE/ACM International Symposium on Microarchitecture : 13-17 December 2014, Cambridge, United Kingdom / / sponsored by IEEE Computer Society
| 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture : 13-17 December 2014, Cambridge, United Kingdom / / sponsored by IEEE Computer Society |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 |
| Descrizione fisica | 1 online resource (697 pages) |
| Disciplina | 001.642 |
| Soggetto topico |
Microprogramming
Computer architecture |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910135082303321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2017 50th Annual IEEE/ACM International Symposium on Microarchitecture : 14-17 October 2017, Boston, MA, USA / / IEEE Computer Society
| 2017 50th Annual IEEE/ACM International Symposium on Microarchitecture : 14-17 October 2017, Boston, MA, USA / / IEEE Computer Society |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 |
| Descrizione fisica | 1 online resource (850 pages) |
| Disciplina | 001.642 |
| Soggetto topico |
Microprogramming
Computer architecture |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910279616803321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2017 50th Annual IEEE/ACM International Symposium on Microarchitecture : 14-17 October 2017, Boston, MA, USA / / IEEE Computer Society
| 2017 50th Annual IEEE/ACM International Symposium on Microarchitecture : 14-17 October 2017, Boston, MA, USA / / IEEE Computer Society |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 |
| Descrizione fisica | 1 online resource (850 pages) |
| Disciplina | 001.642 |
| Soggetto topico |
Microprogramming
Computer architecture |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996575382703316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
