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.
Automata, languages and programming : ninth colloquium Aarhus, Denmark, July 12-16, 1982 / edited by M. Nielsen and E. M. Schmidt
| Automata, languages and programming : ninth colloquium Aarhus, Denmark, July 12-16, 1982 / edited by M. Nielsen and E. M. Schmidt |
| Autore | Nielsen, Mogens |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | vii, 613 p. ; 25 cm. |
| Disciplina | 001.6424 |
| Altri autori (Persone) | Schmidt, Erik Meineche |
| Soggetto topico |
Programming
Programming languages |
| ISBN | 3540115765 |
| Classificazione | AMS 68N15 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000708299707536 |
Nielsen, Mogens
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computer science logic : 11th International whorkshop, CLS'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen... [et al.] (eds.)
| Computer science logic : 11th International whorkshop, CLS'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen... [et al.] (eds.) |
| Autore | International workshop CSL'97 : 11. : 1997 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | VIII, 509 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - aarhus - 1997
elaboratori elettronici - congressi - 1997 |
| ISBN | 3-540-64570-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210170203316 |
|
International workshop CSL'97 : 11. : 1997
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of software science and computation structures : 5th International conference, FOSSACS 2002 : Held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : Proceedings / Mogens Nielsen ... <et al.> (Eds.)
| Foundations of software science and computation structures : 5th International conference, FOSSACS 2002 : Held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : Proceedings / Mogens Nielsen ... <et al.> (Eds.) |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr.2002 |
| Descrizione fisica | XIII,433 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Software Congressi 2002 |
| ISBN | 3-540-43366-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001158490203316 |
| Berlin : Springer-Verlag, copyr.2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM 2009: Theory and Practice of Computer Science [Risorsa elettronica] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings / 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, Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia
| SOFSEM 2009: Theory and Practice of Computer Science [Risorsa elettronica] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings / 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, Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540958918 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259160403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TAPSOFT'95 : theory and practice of software development : 6th International jointconference CAAP/FASE : Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen (eds.)
| TAPSOFT'95 : theory and practice of software development : 6th International jointconference CAAP/FASE : Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen (eds.) |
| Autore | International joint conference CAAP/FASE : 6. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | XV, 810 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - aarhus - 1995
software - sviluppo - congressi - 1995 |
| ISBN | 3-540-59293-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210630203316 |
|
International joint conference CAAP/FASE : 6. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||