close
1.

図書
図書
1. Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xvi, 932 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1443
2.

図書
図書
2. Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings (: gw ; : us)
K.G. Larsen, A. Skou (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  x, 487 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 575
3.

図書
図書
3. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
出版情報: Berlin : Springer, c2002  xiii, 626 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2404
4.

図書
図書
4. CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings
Kim G. Larsen, Mogens Nielsen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  xi, 581 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2154
5.

図書
図書
5. Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
Kim G. Larsen, Peter Niebert (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 280 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2791
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼