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.

Biblioteca

MARC Lista (tabellare)
Algorithmics : The Spirit of computing / David Harel
Algorithmics : The Spirit of computing / David Harel
Autore Harel, David <1950- >
Pubbl/distr/stampa Reading [Mass.] : Addison-Wesley, c1992
Descrizione fisica xv, 476 p. : ill. ; 24 cm
Disciplina 005.1
Soggetto non controllato Algoritmi
Programmazione
ISBN 0-201-50401-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001225460403321
Harel, David <1950- >  
Reading [Mass.] : Addison-Wesley, c1992
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algoritmi : lo spirito dell'informatica / David Harel, Yishai Feldman
Algoritmi : lo spirito dell'informatica / David Harel, Yishai Feldman
Autore Harel, David <1950- >
Pubbl/distr/stampa Milano : Springen-Verlag, c2008
Descrizione fisica xxii, 616 p. : ill. ; 24 cm
Disciplina 005.1
Altri autori (Persone) Feldman, Yishai
Collana Collana di informatica
Soggetto non controllato Algoritmi
Informatica
ISBN 978-88-470-0579-2
978-88-470-0580-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990008653290403321
Harel, David <1950- >  
Milano : Springen-Verlag, c2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn
Autore Harel, David <1950- >
Pubbl/distr/stampa Cambridge (Mass.) : The Mit press, c2000
Descrizione fisica xv, 459 p. ; 23 cm
Disciplina 004.015
Altri autori (Persone) Kozen, Dexter <1951- >
Tiuryn, Jerzy
Collana Fundations of computing
Soggetto non controllato Matematica degli elaboratori
Metodi formali
Logica per il computer
ISBN 0-262-08289-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001485560403321
Harel, David <1950- >  
Cambridge (Mass.) : The Mit press, c2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-Order Dynamic Logic / David Harel
First-Order Dynamic Logic / David Harel
Autore Harel, David <1950- >
Pubbl/distr/stampa Berlin : Springer-Verlag, 1979
Descrizione fisica IX, 133.
Collana Lecture notes in computer science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001319080403321
Harel, David <1950- >  
Berlin : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-Order Dynamic Logic / David Harel
First-Order Dynamic Logic / David Harel
Autore Harel, David <1950- >
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1979
Disciplina 510.78
Collana Lecture notes in computer science
Soggetto non controllato Cibernetica
Teoria dei giochi
Teoria degli automi
Intelligenza artificiale
ISBN 3-540-09237-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001004670403321
Harel, David <1950- >  
Berlin [etc.] : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Model Driven Engineering Languages and Systems [Risorsa elettronica] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
Model Driven Engineering Languages and Systems [Risorsa elettronica] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2006
Collana Lecture Notes in Computer Science
ISBN 9783540457732
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009240350403321
Berlin ; Heidelberg : Springer, 2006
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui