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.
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-b10746134
Nielsen, Mogens  
Berlin : Springer-Verlag, 1982
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui