Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2014.<M17-14-2121>
National Diet Library
  • Author HeadingTGC (Symposium) (8th : 2013 : Buenos Aires, Argentina) Abadi, Martín. Lafuente, Alberto Lluch.

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)
Paper図書
Springerc2014.<M17-14-2141>
National Diet Library
  • Author Heading...noble, France) Abadi, Martín. Kremer, Steve. Universite Jos...

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)
Paper図書
Springerc2005.<M17-06-141>
National Diet Library
  • Author HeadingAbadi, Martín. De Alfaro, Luca, 1966- Intern...

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
Paper図書
Martín Abadi, Luca de Alfaro (eds.)Springerc2005
Other Libraries in Japan

A theory of objects

A theory of objects
Paper図書
Martín Abadi, Luca CardelliSpringerc1996
Other Libraries in Japan

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
Paper図書
Martín Abadi, Takayasu Ito (eds.)Springerc1997
Other Libraries in Japan

Zao Wou-Ki 2e éd

Zao Wou-Ki 2e éd
Paper図書
Daniel Abadie, Martine ContensouArs Mundi1989, c1988
Other Libraries in Japan

Reached to the end of result.

RSS