Jump to main content

yr 〜
yr

Search results 9

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings. : 5th international conference on formal modelling and analysis of timed systems : Oct 2007, Salzburg, Austria. (Lecture Notes in Computer Science ; 4763)

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings. : 5th international conference on formal modelling and analysis of timed systems : Oct 2007, Salzburg, Austria. (Lecture Notes in Computer Science ; 4763)
Paper図書
Springerc2007.<M17-08-731>
National Diet Library
  • Author HeadingRaskin, Jean-François, 1972- Thiagarajan, P. S. FORMATS 2007 (2007 : Salzburg...

Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan

Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan
Paper図書
editors, Kamal Lodaya, Madhavan Mukund, R. RamanujamUniversities Pressc2009
Other Libraries in Japan
  • Author HeadingThiagarajan, P. S. Lodaya, Kamal Mukund, Madhava...

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan, ed. (Lecture notes in computer science)

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9514>
National Diet Library
  • Author HeadingThiagarajan, P. S. Conference on Foundations of ...

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings
Paper図書
Jean-Franois Raskin, P.S. Thiagarajan (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingFORMATS Raskin, Jean-François Thiagarajan, P. S.

Petri nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings

Petri nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings
Paper図書
Susanna Donatelli, P.S. Thiagarajan (eds.)Springerc2006
Other Libraries in Japan

Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings

Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings
Paper図書
P.S. Thiagarajan, R. Yap (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingAsian Computing Science Conference Thiagarajan, P. S. Yap, Roland H.C.

Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings

Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings
Paper図書
P.S. Thiagarajan (ed.)Springer-Verlagc1995
Other Libraries in Japan
  • Author Heading...mputer Science Thiagarajan, P. S.

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings : gw : us

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings : gw : us
Paper図書
P.S. Thiagarajan (ed.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading...mputer Science Thiagarajan, P. S.

National seminar on theoretical computer science, Madras, India, July 4-6, 1991, proceedings

National seminar on theoretical computer science, Madras, India, July 4-6, 1991, proceedings
Paper図書
P.S. Thiagarajan (ed.)Institute of Mathematical Sciences : School of Mathematics SPIC Science Foundation[1991]
Other Libraries in Japan
  • Author HeadingThiagarajan, P. S.

Reached to the end of result.

RSS