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.
Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. 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, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. 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, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2008
Collana Lecture Notes in Computer Science
ISBN 9783540876038
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009257220403321
Berlin ; Heidelberg : Springer, 2008
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Software Engineering [Risorsa elettronica] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / 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, Egon Börger, Antonio Cisternino
Advances in Software Engineering [Risorsa elettronica] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / 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, Egon Börger, Antonio Cisternino
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2008
Collana Lecture Notes in Computer Science
ISBN 9783540897620
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009258550403321
Berlin ; Heidelberg : Springer, 2008
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computability, complexity, logic / E. Börger
Computability, complexity, logic / E. Börger
Autore Borger, Egon
Pubbl/distr/stampa Amsterdam : North-Holland, 1989
Descrizione fisica xx, 592 p. ; 23 cm.
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 128
Soggetto topico Computable functions
Computational complexity
Mathematical logic
Symbolic logic
ISBN 0444874062
Classificazione AMS 03D
AMS 03D05
AMS 03D15
AMS 68Q
QA9.59.B6713
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000773079707536
Borger, Egon  
Amsterdam : North-Holland, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Computabilità complessità logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Borger
Computabilità complessità logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Borger
Autore Borger, Egon
Pubbl/distr/stampa Torino : Bollati Boringhieri, 1989
Descrizione fisica 369 p. ; 24 cm
Disciplina 160
Collana Testi e manuali della scienza contemporanea, Serie di informatica
Soggetto non controllato Logica
Ricorsività
ISBN 88-339-5434-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001091730403321
Borger, Egon  
Torino : Bollati Boringhieri, 1989
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding
Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding
Autore Borger, Egon
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1984
Descrizione fisica vi, 456 p. : ill. ; 25 cm.
Disciplina 511
Altri autori (Persone) Hasenjaeger, G.author
Rodding, D.
Soggetto topico Computational complexity - Congresses
Decision making - Congresses
Machine theory - Congresses
ISBN 3540133313
Classificazione AMS 03D05
AMS 62C
AMS 68-06
AMS 90A05
QA267
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991001094149707536
Borger, Egon  
Berlin ; New York : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The Classical Decision Problem / Egon Borger, Erich Gradel, Yuri Gurevich
The Classical Decision Problem / Egon Borger, Erich Gradel, Yuri Gurevich
Autore Borger, Egon
Pubbl/distr/stampa Berlin : Springer-Verlag, 2001
Descrizione fisica xii, 482 p. ; 24 cm
Disciplina 511.3
Collana Universitext
Soggetto non controllato Logica matematica
Logica pura del primo ordine
Teoria dei modelli
ISBN 3-540-42324-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001493800403321
Borger, Egon
Berlin : Springer-Verlag, 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui