Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2006

形態:

viii, 262 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 3929 <BA00009279>

著者名:

ISBN:

9783540333395 [3540333398]

書誌ID:

BA76892833

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	器械計算．計算器
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 図書 Theory and application of relational structures as knowledge instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005, selected revised … Swart, Harrie de, Orlowska, Ewa, Schmidt, Gunther, 1939-, Roubens, Marc, 1940-, Workshop of COST Action 274 TARSKI Springer	7 電子ブック Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, … de Swart, Harrie C.M., SpringerLink (Online service)
2 図書 Relational and Kleene-Algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop … RelMiCS, Berghammer, Rudolf, Möller, Bernhard, 1953-, Struth, Georg, International Workshop on Applications of Kleene … Springer	8 電子ブック Relational and Kleene-Algebraic Methods in Computer Science International Seminar on Relational Methods in Computer Science, Berghammer, Rudolf, Möller, Bernhard, Struth, Georg SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
3 電子ブック Relational Methods in Computer Science MacCaull, Wendy, Düntsch, Ivo, Kanade, Takeo, Winter, Michael, European Cooperation in the Field of Scientific and … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 図書 Relations and kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on … RelMiCS, International Workshop on Applications of Kleene Algebra, Schmidt, Renate A. Springer
4 図書 Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, … RelMiCS, Workshop of COST Action 274 TARSKI, Swart, H.C.M. de Springer	10 図書 Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers Swart, Harrie de Springer
5 電子ブック Relational Methods in Computer Science MacCaull, Wendy, D?ntsch, Ivo, Kanade, Takeo, Winter, Michael, European Cooperation in the Field of Scientific and … Springer eBooks Computer Science, Springer Berlin / Heidelberg	11 電子ブック Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers Swart, Harrie de., Orlowska, Ewa., Schmidt, Gunther., Roubens, Marc., SpringerLink (Online service)
6 電子ブック Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop … Berghammer, R., Möller, Bernhard., Struth, Georg., SpringerLink (Online service)	12 図書 Selected areas in cryptography : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005 : revised selected papers SAC, Preneel, Bart, 1963-, Tavares, Stafford, 1940- Springer

1

2

3

4

5

6

7

8

9

10

11

12