Results
|
|
1.
|
Fundamentals of computation theory: FCT '79 : proceedings of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory held in Berlin/Wendisch-Rietz (GDR), Sept. 17-21, 1979/ ed. by Lothar Budach. by
- Budach, L. (Lothar), 1935-
- Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory (1979 : Wendisch Rietz, Germany)
Series: Mathematical research ; Bd. 2 Language: engfre
Publication details: Berlin: Akademie-Verlag, 1979
Availability: Items available for loan: Castorina (1)Call number: 511.35 F981 1979 IMPA.
Found in Open Library:
|
|
|
2.
|
Semigroups, automata, and languages: University of Porto, 20-24, June 1994/ edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva. by
- Almeida, Jorge
- Gomes, Gracinda M. S
- Silva, Pedro V
Publication details: Singapore: River Edge, NJ: World Scientific, c1996
Availability: Items available for loan: Castorina (1)Call number: 512.2 S471 1996 IMPA.
Found in Open Library:
|
|
|
3.
|
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. by
- AMS-IMS-SIAM Joint Summer Research Conference Machine and Statistical Learning : Prediction and Discovery (2006: Snowbird, Utah)
- Verducci, Joseph S
- Shen, Xiaotong, 1964-
- Lafferty, John
Series: Contemporary mathematics (American Mathematical Society) ; v. 443.
Publication details: Providence, R.I.: American Mathematical Society, c2007
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|
|
|
4.
|
Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College/ Robert H. Gilman, editor. by
- AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science (1998: Mount Holyoke College)
- Gilman, Robert H, 1942-
Series: Contemporary mathematics (American Mathematical Society) ; v. 250.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|
|
|
5.
|
|
|
|
6.
|
Logic and machines: decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der UniversitÌat Münster/Westfalen/ edited by E. Börger, G. Hasenjaeger, and D. Rödding. by
- Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
- Borger, E. (Egon), 1946-
- Hasenjaeger, G. (Gisbert), 1919-
- Rödding, D. (Dieter), 1937-
Series: Lecture notes in computer science ; 171.
Publication details: Berlin ; New York: Springer-Verlag, 1984
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|
