本文に飛ぶ

年 〜
年

検索結果 11 件

CONCUR 2011 -- concurrency theory : 22nd international conference, CONCUR 2011 : Aachen, Germany, September 6-9, 2011 : proceedings : Sep 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 6901. Advanced Research in Computing and Software Science)

CONCUR 2011 -- concurrency theory : 22nd international conference, CONCUR 2011 : Aachen, Germany, September 6-9, 2011 : proceedings : Sep 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 6901. Advanced Research in Computing and Software Science)
紙図書
Springerc2011.<M17-12-1213>
国立国会図書館
  • 著者標目...chen, Germany) Katoen, Joost-Pieter. König, Barbara, Prof. Dr.

Principles of model checking / Christel Baier, Joost-Pieter Katoen.

Principles of model checking / Christel Baier, Joost-Pieter Katoen.
紙図書
The MIT Press[2008?]<M159-B76>
国立国会図書館
  • 著者標目Baier, Christel. Katoen, Joost-Pieter.

Foundations of probabilistic programming : hardback

Foundations of probabilistic programming : hardback
紙図書
edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra SilvaCambridge University Press2021
全国の図書館

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2280)

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2280)
紙図書
Springer2002.<M17-03-4173>
国立国会図書館
  • 著者標目Laboratoire Verimag. Katoen, Joost-Pieter. Stevens, Perdita. TACAS 2002 ...

CONCUR 2011 - concurrency theory : 22st International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings

CONCUR 2011 - concurrency theory : 22st International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings
紙図書
Joost-Pieter Katoen, Barbara König (eds.)Springerc2010
全国の図書館

Principles of model checking : hbk

Principles of model checking : hbk
紙図書
Christel Baier, Joost-Pieter KatoenMIT Pressc2008
全国の図書館

Principles of model checking

Principles of model checking
紙図書
Christel Baier, Joost-Pieter KatoenMIT Press[2008]
全国の図書館

Model-based testing of reactive systems : advanced lectures

Model-based testing of reactive systems : advanced lectures
紙図書
Manfred Broy ... [et al.] (eds.)Springerc2005
全国の図書館

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
紙図書
Joost-Pieter Katoen, Perdita Stevens (eds.)Springerc2002
全国の図書館

Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
紙図書
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)Springerc2001
全国の図書館

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
紙図書
Joost-Pieter Katoen (ed.)Springerc1999
全国の図書館

検索結果は以上です。

RSS