Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987 Proceedings /
Saved in:
Meeting name: | International FCT-Conference (6th : 1987 : Kazanʹ, R.S.F.S.R.) |
---|---|
Imprint: | Berlin, Heidelberg : Springer-Verlag, 1987. |
Description: | 1 online resource : v.: digital. |
Language: | English |
Series: | Lecture Notes in Computer Science, 0302-9743 ; 278 Lecture notes in computer science ; 278. |
Subject: | Computer science. Computer software. Combinatorial analysis. Computer Science. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematical Logic and Formal Languages. Models and Principles. Combinatorial analysis. Computer science. Computer software. Electronic books. |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11078110 |
LEADER | 03770cam a2200541Mi 4500 | ||
---|---|---|---|
001 | 11078110 | ||
005 | 20170630044538.3 | ||
006 | m o d | ||
007 | cr nn|008mamaa | ||
008 | 100729s1987 gw o 100 0 eng d | ||
003 | ICU | ||
040 | |a KIJ |b eng |e pn |c KIJ |d OCLCO |d SINTU |d GW5XE |d OCLCF |d ITD |d OCLCQ | ||
020 | |a 9783540481386 |q (electronic bk.) | ||
020 | |a 3540481389 |q (electronic bk.) | ||
020 | |z 9783540187400 | ||
035 | |a (OCoLC)827360406 | ||
050 | 4 | |a QA75.5-76.95 | |
049 | |a MAIN | ||
111 | 2 | |a International FCT-Conference |n (6th : |d 1987 : |c Kazanʹ, R.S.F.S.R.) | |
245 | 1 | 0 | |a Fundamentals of Computation Theory : |b International Conference FCT '87 Kazan, USSR, June 22-26, 1987 Proceedings / |c edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov. |
260 | |a Berlin, Heidelberg : |b Springer-Verlag, |c 1987. | ||
300 | |a 1 online resource : |b v.: digital. | ||
336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
490 | 1 | |a Lecture Notes in Computer Science, |x 0302-9743 ; |v 278 | |
520 | |a This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical Cybernetics). This volume contains selected contributions to the following fields: Mathematical Models of Computation, Synthesis and Complexity of Control Systems, Probabilistic Computations, Theory of Programming, Computer-Assisted Deduction. The volume reflects the fact that FCT '87 was organized in the USSR: A wide range of problems typical of research in Mathematical Cybernetics in the USSR is comprehensively represented. | ||
650 | 0 | |a Computer science. |0 http://id.loc.gov/authorities/subjects/sh89003285 | |
650 | 0 | |a Computer software. |0 http://id.loc.gov/authorities/subjects/sh85029534 | |
650 | 0 | |a Combinatorial analysis. |0 http://id.loc.gov/authorities/subjects/sh85028802 | |
650 | 1 | 4 | |a Computer Science. |
650 | 2 | 4 | |a Computation by Abstract Devices. |
650 | 2 | 4 | |a Algorithm Analysis and Problem Complexity. |
650 | 2 | 4 | |a Mathematical Logic and Formal Languages. |
650 | 2 | 4 | |a Models and Principles. |
650 | 7 | |a Combinatorial analysis. |2 fast |0 (OCoLC)fst00868961 | |
650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451 | |
650 | 7 | |a Computer software. |2 fast |0 (OCoLC)fst00872527 | |
655 | 4 | |a Electronic books. | |
700 | 1 | |a Budach, L. |q (Lothar), |d 1935- |0 http://id.loc.gov/authorities/names/n79113103 |1 http://viaf.org/viaf/30040166 | |
700 | 1 | |a Bukharaev, Rais Gatich |0 http://id.loc.gov/authorities/names/n80027234 |1 http://viaf.org/viaf/109422393 | |
700 | 1 | |a Lupanov, O. B. |0 http://id.loc.gov/authorities/names/n87914595 |1 http://viaf.org/viaf/45409506 | |
830 | 0 | |a Lecture notes in computer science ; |v 278. |x 0302-9743 | |
856 | 4 | 0 | |u http://link.springer.com/10.1007/3-540-18740-5 |y SpringerLink |
903 | |a HeVa | ||
929 | |a eresource | ||
999 | f | f | |i 5cdf0d49-67f0-5490-ba53-9f15c333a613 |s 13d6a64f-2d9f-5bb6-a2eb-f8ec320f67c4 |
928 | |t Library of Congress classification |a QA75.5-76.95 |l Online |c UC-FullText |u http://link.springer.com/10.1007/3-540-18740-5 |z SpringerLink |g ebooks |i 9888307 |