top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
15th Annual IEEE Symposium on Logic in Computer Science
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
Opac: Controlla la disponibilità qui
15th Annual IEEE Symposium on Logic in Computer Science
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
Opac: Controlla la disponibilità qui
16th IEEE Symposium on Computer Arithmetic
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
Opac: Controlla la disponibilità qui
16th IEEE Symposium on Computer Arithmetic
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
Opac: Controlla la disponibilità qui
18th Annual IEEE Symposium on Logic in Computer Science
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
Opac: Controlla la disponibilità qui
18th Annual IEEE Symposium on Logic in Computer Science
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
Opac: Controlla la disponibilità qui
2
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
Opac: Controlla la disponibilità qui
2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign
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
Opac: Controlla la disponibilità qui
2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign
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
Opac: Controlla la disponibilità qui
2010 Formal Methods in Computer-Aided Design
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...