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.
Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.)
| Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.) |
| Autore | International workshop CTRS-94 : 4. : 1994 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 373 p. : ill. ; 24 cm. |
| Disciplina | 6525 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - gerusalemme - 1994
scrittura elettronica - congressi - 1994 |
| ISBN | 3-540-60381-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210880203316 |
International workshop CTRS-94 : 4. : 1994
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov
| Logic for Programming, Artificial Intelligence, and Reasoning [Risorsa elettronica] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540755609 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009246130403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pillars of Computer Science [Risorsa elettronica] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
| Pillars of Computer Science [Risorsa elettronica] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540781271 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009255000403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Evolution of Programs / Nachum Dershowitz
| The Evolution of Programs / Nachum Dershowitz |
| Autore | Dershowitz, Nachum |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1983 |
| Descrizione fisica | v, 359 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Algorithms
Calculus Code Notation Partition |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0253841 |
|
Dershowitz, Nachum
|
||
| Boston, : Birkhäuser, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Evolution of Programs / Nachum Dershowitz
| The Evolution of Programs / Nachum Dershowitz |
| Autore | Dershowitz, Nachum |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1983 |
| Descrizione fisica | v, 359 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N01 - General topics in the theory of software [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68Qxx - Theory of computing [MSC 2020] |
| Soggetto non controllato |
Algorithms
Calculus Code Notation Partition |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00253841 |
|
Dershowitz, Nachum
|
||
| Boston, : Birkhäuser, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Unconventional Computation [Risorsa elettronica] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
| Unconventional Computation [Risorsa elettronica] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642037450 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009261730403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||