本文に飛ぶ

年 〜
年

検索結果 13 件

Algebra and coalgebra in computer science : third international conference, CALCO 2009 : Udine, Italy, September 7-10, 2009 : proceedings. : CALCO-tools workshop : CALCO tools workshop : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5728)

Algebra and coalgebra in computer science : third international conference, CALCO 2009 : Udine, Italy, September 7-10, 2009 : proceedings. : CALCO-tools workshop : CALCO tools workshop : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5728)
紙図書
Springerc2009.<M17-10-1913>
国立国会図書館
  • 著者標目...enisa, Marina. Tarlecki, Andrzej. CALCO 2009 (2009 : Udine, It...

Computer science logic : 18th international workshop, CSL 2004 : 13th annual conference of the EACSL : Karpacz, Poland, September 20-24, 2004 : proceedings. : 2004 annual conference of the European Association for Computer Science Logic : Sep 2004, Karpacz, Poland. (Lecture Notes in Computer Science ; 3210)

Computer science logic : 18th international workshop, CSL 2004 : 13th annual conference of the EACSL : Karpacz, Poland, September 20-24, 2004 : proceedings. : 2004 annual conference of the European Association for Computer Science Logic : Sep 2004, Karpacz, Poland. (Lecture Notes in Computer Science ; 3210)
紙図書
Springerc2004.<M17-04-3766>
国立国会図書館
  • 著者標目..., Jerzy, 1965- Tarlecki, Andrzej. European Association for Com...

Foundations of algebraic specification and formal software development : hbk

Foundations of algebraic specification and formal software development : hbk
紙図書
Donald Sannella, Andrzej TarleckiSpringerc2012
全国の図書館
  • 著者標目Sannella, Donald Tarlecki, Andrzej

Foundations of algebraic specification and formal software development : pbk.

Foundations of algebraic specification and formal software development : pbk.
紙図書
Donald Sannella, Andrzej TarleckiSpringer2012
全国の図書館
  • 著者標目Sannella, Donald Tarlecki, Andrzej

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds. (Lecture notes in computer science)

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds. (Lecture notes in computer science)
紙図書
Springer-Verlagc1995.<M15-A9643>
国立国会図書館
  • 著者標目... Gianna, 1957- Tarlecki, Andrzej. COMPASS Workshop (5th : 1994...

Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings

Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings
紙図書
Lars Arge ... [et al.] (eds.)Springerc2007
全国の図書館
  • 著者標目...ziński, Tomasz Tarlecki, Andrzej

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.). (Lecture notes in computer science)

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M15-A7662>
国立国会図書館
  • 著者標目Tarlecki, Andrzej. Symposium on Mathematical Fo...

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
紙図書
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)Springerc2005
全国の図書館
  • 著者標目International Symposium of Formal Methods Europe Fitzgerald, John Hayes, Ian J. Tarlecki, Andrzej

Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
紙図書
Jerzy Marcinkowski, Andrzej Tarlecki (eds.)Springerc2004
全国の図書館
  • 著者標目...nkowski, Jerzy Tarlecki, Andrzej European Association for Comp...

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1988.<M15-A3870>
国立国会図書館
  • 著者標目...onald) , 1956- Tarlecki, Andrzej.

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers : Berlin : New York

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers : Berlin : New York
紙図書
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)Springer-Verlagc1995
全国の図書館
  • 著者標目...Reggio, Gianna Tarlecki, Andrzej COMPASS Workshop

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings : gw : us

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings : gw : us
紙図書
A. Tarlecki (ed.)Springer-Verlagc1991
全国の図書館
  • 著者標目Tarlecki, Andrzej Symposium on Mathematical Fou...

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers : gw : us

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers : gw : us
紙図書
D. Sannella, A. Tarlecki (eds.)Springer-Verlagc1988
全国の図書館
  • 著者標目Workshop on Specification of Abstract Data Types Sannella, Donald Tarlecki, Andrzej

検索結果は以上です。

RSS