Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

>> Google Books

Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

フォーマット:

電子ブック

責任表示:

edited by Franz Winkler

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6742

書誌ID:

NB02224634

ISBN:

9783642214936 [3642214932]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-21493-6

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Science; Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing; Software Engineering; Symbolic and Algebraic Manipulation
分類・件名:	LCSH : Computer science LCSH : Software engineering LCSH : Logic design LCSH : Computational complexity LCSH : Algebra -- Data processing FREE : Computer Science FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages FREE : Symbolic and Algebraic Manipulation FREE : Software Engineering FREE : Discrete Mathematics in Computer Science FREE : Mathematics of Computing
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings Bozapalidis, Symeon, Rahonis, George, SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings Kanazawa, Makoto, Kornai, András, Kracht, Marcus, Seki, Hiroyuki, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
2 電子ブック Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings Corradini, Andrea, Klin, Bartek, Cîrstea, Corina, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	8 電子ブック Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Kleinberg, Jon M., Tygar, Doug, Kanade, Takeo, Weikum, … Springer Berlin Heidelberg
3 電子ブック The Mathematics of Language : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, … Ebert, Christian, Jager, Gerhard, Michaelis, Jens, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	9 電子ブック Computer Science – Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. … Kulikov, Alexander, Vereshchagin, Nikolay, SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. … Swart, Harrie, SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Algebraic Informatics : Second International Conference CAI 2007 Thessaloniki Greece May 21-252007 Revised Selected and Invited Papers Bozapalidis Symeon, Rahonis George, SpringerLink (Online service) Springer-Verlag
5 電子ブック Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Ong, Luke, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	11 電子ブック Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of … MacCaull Wendy, Winter Michael, D-ntsch Ivo, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Algebraic Biology : Second International Conference AB 2007 Castle of Hagenberg Austria July 2-4 2007. Proceedings Anai Hirokazu, Horimoto Katsuhisa, Kutsia Temur, SpringerLink (Online service) Springer-Verlag	12 電子ブック Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings Ogihara, Mitsunori, Tarui, Jun, SpringerLink (Online service) Springer Berlin Heidelberg