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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|