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.
Languages: From Formal to Natural [Risorsa elettronica] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
| Languages: From Formal to Natural [Risorsa elettronica] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642017483 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009260270403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Studies in automatic programming logic / Zohar Manna, Richard Waldinger ; with a contributions by Shmuel Katz, Karl Levitt
| Studies in automatic programming logic / Zohar Manna, Richard Waldinger ; with a contributions by Shmuel Katz, Karl Levitt |
| Autore | Manna, Zohar |
| Pubbl/distr/stampa | New York ; Amsterdam : North Holland, ©1977 |
| Descrizione fisica | 192 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) | Waldinger, Richard |
| Collana |
Artificial intelligence series
The computer science library |
| Soggetto non controllato | Programmazione |
| ISBN | 0-444-00224-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000495460403321 |
Manna, Zohar
|
||
| New York ; Amsterdam : North Holland, ©1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Aspect-Oriented Software Development VI [Risorsa elettronica] : Special Issue on Aspects and Model-Driven Engineering / edited by Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel
| Transactions on Aspect-Oriented Software Development VI [Risorsa elettronica] : Special Issue on Aspects and Model-Driven Engineering / edited by Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642037641 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009261780403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||