年 〜
年

検索結果 7 件

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)
紙図書
Springerc2014.<M17-14-2121>
国立国会図書館

Principles of security and trust : third international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8414. Advanced Research in Computing and Software Science)

Principles of security and trust : third international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8414. Advanced Research in Computing and Software Science)
紙図書
Springerc2014.<M17-14-2141>
国立国会図書館

CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005 : San Francisco, CA, USA, August 23-26, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3653)

CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005 : San Francisco, CA, USA, August 23-26, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3653)
紙図書
Springerc2005.<M17-06-141>
国立国会図書館
  • 著者標目Abadi, Martín. De Alfaro, Luca, 1966- Inter...

CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings
紙図書
Martín Abadi, Luca de Alfaro (eds.)Springerc2005
全国の図書館
  • 著者標目International Conference on Concurrency Theory Abadi, Martín De Alfaro, Luca

A theory of objects

A theory of objects
紙図書
Martín Abadi, Luca CardelliSpringerc1996
全国の図書館
  • 著者標目Abadi, Martín Cardelli, Luca

Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings

Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings
紙図書
Martín Abadi, Takayasu Ito (eds.)Springerc1997
全国の図書館
  • 著者標目TACS Abadi, Martín 伊藤, 貴康

Zao Wou-Ki 2e éd

Zao Wou-Ki 2e éd
紙図書
Daniel Abadie, Martine ContensouArs Mundi1989, c1988
全国の図書館

検索結果は以上です。