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 theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
Autore Brakhage, Helmut
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1975
Descrizione fisica viii, 292 p. : ill. ; 25 cm.
Disciplina 001.642
Altri autori (Enti) Gesellschaft fur Informatik
Soggetto topico Computer science - Congresses
Formal languages - Congresses
Machine theory - Congresses
ISBN 3540074074
Classificazione AMS 68Q45
AMS 68Q68
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000708409707536
Brakhage, Helmut  
Berlin ; New York : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes
Autore International symposium on category theory <1. ; 1974 ; San Francisco>
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1975
Descrizione fisica x, 245 p. ; 25 cm
Disciplina 512.55
Altri autori (Persone) Manes, Ernest Gene
Altri autori (Enti) American Association for the Advancement of Science
American Mathematical Society
Collana Lecture notes in computer science, 0302-9743 ; 24
Soggetto topico Control theory - Congresses
Machine theory - Congresses
ISBN 3540071423
Classificazione AMS 18-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000736549707536
International symposium on category theory <1. ; 1974 ; San Francisco>  
Berlin ; New York : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski
Autore International FCT-Conference <1983 ; Borgholm, Sweden>
Pubbl/distr/stampa Berlin : Springer-Verlag, 1983
Descrizione fisica xi, 514 p. : ill. ; 24 cm.
Disciplina 001.642
Altri autori (Persone) Karpinski, Marek
Soggetto topico Computational complexity - Congresses
Machine theory - Congresses
ISBN 0387126899 (U.S.)
Classificazione AMS 68-06
CR C.2
CR E.2
CR E.3
CR E.4
CR F.2
CR F.3
CR F.4
CR G.2.1
QA267
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000904779707536
International FCT-Conference <1983 ; Borgholm, Sweden>  
Berlin : Springer-Verlag, 1983
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / edited by Ferenc Gécseg
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / edited by Ferenc Gécseg
Autore Gécseg, Ferenc
Pubbl/distr/stampa Berlin : Springer-Verlag, 1981
Descrizione fisica x, 471 p. : ill. ; 25 cm.
Disciplina 511
Soggetto topico Computational complexity - Congresses
Computer science - Congresses
Machine theory - Congresses
Theory of computing - Congresses
ISBN 3540108548
Classificazione AMS 68-06
AMS 68-XX
AMS 68Q
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000919559707536
Gécseg, Ferenc  
Berlin : Springer-Verlag, 1981
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
Mathematical theory of automata : proceedings of the symposium [held at] New York, April 24-26, 1962 / edited by Jerome Fox
Mathematical theory of automata : proceedings of the symposium [held at] New York, April 24-26, 1962 / edited by Jerome Fox
Autore Symposium on mathematical theory of automata
Pubbl/distr/stampa New York : Polytechnic Press, 1963
Descrizione fisica xix, 640 p. ; 23 cm.
Altri autori (Persone) Fox, Jerome
Collana MRI Symposia Series ; 12
Soggetto topico Machine theory - Congresses
Classificazione 53(082.2)
510.93
621.3.8
621.381
QA267
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001072929707536
Symposium on mathematical theory of automata  
New York : Polytechnic Press, 1963
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah / Joseph Stephen Verducci, Xiaotong Shen, John Lafferty, editors.
Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah / Joseph Stephen Verducci, Xiaotong Shen, John Lafferty, editors.
Autore AMS-IMS-SIAM Joint Summer research conference machine and statistical learning : prediction and discovery <2006 ; Snowbird, Utah>
Pubbl/distr/stampa Providence, R. I. : American Mathematical Society, c2007
Descrizione fisica vi, 226 p. : ill. ; 26 cm
Disciplina 006.31
Altri autori (Persone) Verducci, Joseph S.author
Shen, Xiaotongauthor
Lafferty, John
Collana Contemporary mathematics, 0271-4132 ; 443
Soggetto topico Machine theory - Congresses
ISBN 9780821841952
0821841955
Classificazione AMS 62-06
AMS 00B25
LC QA267.P7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991003886769707536
AMS-IMS-SIAM Joint Summer research conference machine and statistical learning : prediction and discovery <2006 ; Snowbird, Utah>  
Providence, R. I. : American Mathematical Society, c2007
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / eds. Marek Karpinski, Jan van Leeuwen
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / eds. Marek Karpinski, Jan van Leeuwen
Autore Karpinski, Marek
Pubbl/distr/stampa Amsterdam ; New York : North-Holland, 1985
Descrizione fisica ix, 187 p. : ill. ; 25 cm.
Disciplina 511
Altri autori (Persone) Leeuwen, Jan : vanauthor
Collana Annals of discrete mathematics ; 24
Soggetto topico Computational complexity - Congresses
Computer science-mathematics
Machine theory - Congresses
ISBN 0444876472
Classificazione AMS 68-XX
QA267
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001447249707536
Karpinski, Marek  
Amsterdam ; New York : North-Holland, 1985
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui