Jump to main content

yr 〜
yr

Search results 9

Principles of security and trust : second international conference, POST 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013. proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7796. Advanced Research in Computing and Software Science)

Principles of security and trust : second international conference, POST 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013. proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7796. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2123>
National Diet Library
  • Author Heading... Basin, David. Mitchell, John C. 'Sapienza' University of Rome...

Transactions on rough sets 9. : 1st conference on rough sets and intelligent systems paradigms : int. conf. on rough sets and emerging intelligent systems paradigms : international conference on rough sets and emerging intelligent systems paradigms in memoriam Zdzislaw Pawlak (RSEISP'2007) : RSEISP07 international conference : 2007, Warsaw, Poland. (Lecture Notes in Computer Science ; 5390. Journal Subline)

Transactions on rough sets 9. : 1st conference on rough sets and intelligent systems paradigms : int. conf. on rough sets and emerging intelligent systems paradigms : international conference on rough sets and emerging intelligent systems paradigms in memoriam Zdzislaw Pawlak (RSEISP'2007) : RSEISP07 international conference : 2007, Warsaw, Poland. (Lecture Notes in Computer Science ; 5390. Journal Subline)
Paper図書
Springerc2008.<M17-10-92>
National Diet Library
  • Author Heading...r. Naor, Moni. Mitchell, John C. Mattern, Friedemann. Kleinber...

Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell, eds. (Lecture notes in computer science)

Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9210>
National Diet Library
  • Author HeadingTACS '94 (2nd : 1994 : Tohoku University, Sendai) 萩谷, 昌己, 1957- Mitchell, John C.

Concepts in programming languages

Concepts in programming languages
Paper図書
John C. MitchellCambridge University Press2003
Other Libraries in Japan
  • Author HeadingMitchell, John C.

Exploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France

Exploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France
Paper図書
edited by Jean-Jacques Levy, Ernst W. Mayr, John C. MitchellKluwer Academic Publishersc2004
Other Libraries in Japan
  • Author Heading...Mayr, Ernst W. Mitchell, John C. IFIP World Computer Congress

FMSE '05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005

FMSE '05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005
Paper図書
Ralf Küsters & John Mitchell, editors ; sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC)ACM pressc2005
Other Libraries in Japan
  • Author Heading... Küsters, Ralf Mitchell, John C. Association for Computing Mac...

Foundations for programming languages

Foundations for programming languages
Paper図書
John C. MitchellMIT Pressc1996
Other Libraries in Japan
  • Author HeadingMitchell, John C.

Theoretical aspects of object-oriented programming : types, semantics, and language design

Theoretical aspects of object-oriented programming : types, semantics, and language design
Paper図書
edited by Carl A. Gunter and John C. MitchellMIT Pressc1994
Other Libraries in Japan
  • Author HeadingGunter, Carl A Mitchell, John C.

Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings : gw : us

Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings : gw : us
Paper図書
Masami Hagiya, John C. Mitchell, edsSpringer-Verlagc1994
Other Libraries in Japan
  • Author HeadingTACS 萩谷, 昌己 Mitchell, John C.

Reached to the end of result.

RSS