![]() |
First-Order Dynamic Logic
ISBN: 9783540092377 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
40,50 |
![]() |
Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings
ISBN: 9783540095101 / Angielski / Miękka / 688 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
526,98 |
![]() |
Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978
ISBN: 9783540095255 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Mathematical Foundations of Computer Science 1979: 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings
ISBN: 9783540095262 / Angielski / Miękka / 585 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
162,12 |
![]() |
Mathematical Studies of Information Processing: Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
ISBN: 9783540095415 / Angielski / Miękka / 634 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
405,36 |
![]() |
Edinburgh Lcf: A Mechanized Logic of Computation
ISBN: 9783540097242 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
81,04 |
![]() |
Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop Wg 80 Bad Honnef, June 15-18, 1980
ISBN: 9783540102915 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Theoretical Computer Science: 5th Gi-Conference Karlsruhe, March 23-25, 1981
ISBN: 9783540105763 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 198
ISBN: 9783540107040 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Conpar 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceeding
ISBN: 9783540108276 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium "Rekursive Kombinatorik" Held from May 23-28, 1983 at the Institut
ISBN: 9783540133315 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
141,86 |
![]() |
Eurosam 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
ISBN: 9783540133506 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings
ISBN: 9783540133728 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Stacs 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986
ISBN: 9783540160786 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
141,86 |
![]() |
Mathematical Foundations of Computer Science 1986: 12th Symposium Held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings
ISBN: 9783540167839 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
405,36 |
![]() |
Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Frg, February 19-21, 1987
ISBN: 9783540172192 / Angielski / Miękka / 483 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
190,50 |
![]() |
Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, O
ISBN: 9783540185352 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
202,66 |
![]() |
Fundamentals of Computation Theory: International Conference Fct '87 Kazan, Ussr, June 22-26, 1987. Proceedings
ISBN: 9783540187400 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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...
This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals ...
|
cena:
202,66 |
![]() |
Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
ISBN: 9783540188346 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed...
This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux...
|
cena:
202,66 |
![]() |
Caap '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings
ISBN: 9783540190219 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes...
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The prec...
|
cena:
202,66 |