15th Annual IEEE Symposium on Logic in Computer Science |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2000 |
Descrizione fisica | 1 online resource (500 pages) |
Disciplina | 004.0151 |
Soggetto topico | Computer science - Mathematics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996218935103316 |
[Place of publication not identified], : IEEE Computer Society Press, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
15th Annual IEEE Symposium on Logic in Computer Science |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2000 |
Descrizione fisica | 1 online resource (500 pages) |
Disciplina | 004.0151 |
Soggetto topico | Computer science - Mathematics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872766003321 |
[Place of publication not identified], : IEEE Computer Society Press, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
16th IEEE Symposium on Computer Arithmetic |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
Descrizione fisica | 1 online resource (xii, 282 pages) |
Disciplina | 004.0151 |
Soggetto topico | Computer arithmetic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198557103316 |
[Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
16th IEEE Symposium on Computer Arithmetic |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
Descrizione fisica | 1 online resource (xii, 282 pages) |
Disciplina | 004.0151 |
Soggetto topico | Computer arithmetic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872926803321 |
[Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
18th Annual IEEE Symposium on Logic in Computer Science |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
Descrizione fisica | 1 online resource (xiv, 393 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198557603316 |
[Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
18th Annual IEEE Symposium on Logic in Computer Science |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
Descrizione fisica | 1 online resource (xiv, 393 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872928203321 |
[Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
2 |
Pubbl/distr/stampa | Los Alamitos, Ca. [etc.], : IEEE computer society press, c1990 |
Descrizione fisica | IX, 396 p. ; 29 cm |
Disciplina |
004.01
004.0151 |
ISBN | 0818689455 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-MIL0047270 |
Los Alamitos, Ca. [etc.], : IEEE computer society press, c1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
Descrizione fisica | 1 online resource |
Disciplina | 004.0151 |
Collana | ACM Conferences |
Soggetto topico |
Formal methods (Computer science)
Computer simulation |
ISBN | 1-4244-7886-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | MEMOCODE '10 |
Record Nr. | UNISA-996200711803316 |
[Place of publication not identified], : IEEE, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
Descrizione fisica | 1 online resource |
Disciplina | 004.0151 |
Collana | ACM Conferences |
Soggetto topico |
Formal methods (Computer science)
Computer simulation |
ISBN | 1-4244-7886-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | MEMOCODE '10 |
Record Nr. | UNINA-9910140836603321 |
[Place of publication not identified], : IEEE, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
2010 Formal Methods in Computer-Aided Design |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
Descrizione fisica | 1 online resource (vii, 279 pages) : illustrations |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Digital integrated circuits - Computer-aided design |
ISBN | 0-9835678-0-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996203486203316 |
[Place of publication not identified], : IEEE, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|