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)
Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
Autore Borger, Egon
Disciplina 511.3
Altri autori (Persone) Oberschelp, Walter
Richter, Michael M.
Schinzel, Brigitta
Thomas, Wolfgang
Soggetto topico Recursion theory
ISBN 354013901X
Classificazione AMS 03D
AMS 03F
AMS 68-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000773229707536
Borger, Egon  
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Developments in language theory : foundations, applications, and perspectives, Aachen, Germany, 6-9 July 1999 / G. Rozenberg, W. Thomas (eds.)
Developments in language theory : foundations, applications, and perspectives, Aachen, Germany, 6-9 July 1999 / G. Rozenberg, W. Thomas (eds.)
Pubbl/distr/stampa Singapore [etc.] : World Scientific, copyr. 2000
Descrizione fisica IX, 385 p. : ill. ; 20 cm
Disciplina 511.3
Soggetto non controllato Linguaggi formali - Congressi - 1999
Congressi - Aachen - 1999
ISBN 981-02-4380-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000772620203316
Singapore [etc.] : World Scientific, copyr. 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Foundations of software science and computation structures : second International conference, FOSSACS'99 : held as part of the joint European conferences on theory and practice of software, ETAPS'99 :Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / Wolfgang Thomas (ed.)
Foundations of software science and computation structures : second International conference, FOSSACS'99 : held as part of the joint European conferences on theory and practice of software, ETAPS'99 :Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / Wolfgang Thomas (ed.)
Autore International conference FOSSACS'99 : 2. : 1999
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1999
Descrizione fisica X, 321 p. : ill. ; 24 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato congressi - amsterdam - 1999
software - progettazione - congressi - 1999
ISBN 3-540-65719-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000207850203316
International conference FOSSACS'99 : 2. : 1999  
Berlin [etc.] : Springer-Verlag, copyr. 1999
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Mathematical Logic : Second edition / H. -D. Ebbinghaus, J. Flum, W. Thomas.
Mathematical Logic : Second edition / H. -D. Ebbinghaus, J. Flum, W. Thomas.
Autore Ebbinghaus, Heinz-Dieter
Edizione [2nd ed. -]
Pubbl/distr/stampa New York : Springer-Verlag, c1994
Descrizione fisica x, 289 p. : ill. ; 24 cm
Disciplina 511.3
Soggetto non controllato Logica matematica - Fondamenti
ISBN 0-387-94258-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001330380403321
Ebbinghaus, Heinz-Dieter  
New York : Springer-Verlag, c1994
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Mathematical Logic
Mathematical Logic
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1984
Collana Undergraduate Texts in Mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001243620403321
Ebbinghaus, Heinz-Dieter  
New York [etc.] : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Reading in cost accounting budgeting and control / by Thomas
Reading in cost accounting budgeting and control / by Thomas
Autore Thomas, Wolfgang
Pubbl/distr/stampa Cincinnati : South Western, 1968
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990002636050403321
Thomas, Wolfgang  
Cincinnati : South Western, 1968
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
STACS 2006 [Risorsa elettronica] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings / edited by Bruno Durand, Wolfgang Thomas
STACS 2006 [Risorsa elettronica] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings / edited by Bruno Durand, Wolfgang Thomas
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2006
Collana Lecture Notes in Computer Science
ISBN 9783540322887
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009242470403321
Berlin ; Heidelberg : Springer, 2006
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
STACS 2007 [Risorsa elettronica] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil
STACS 2007 [Risorsa elettronica] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2007
Collana Lecture Notes in Computer Science
ISBN 9783540709183
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009245720403321
Berlin ; Heidelberg : Springer, 2007
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui