Jump to main content

yr 〜
yr

Search results 5

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
Paper図書
IOS Pressc2012.<M17-13-420>
National Diet Library
  • Author Heading...zell, Germany) Nipkow, Tobias, 1958- Grumberg, Orna. Hauptmann, Be...

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)
Paper図書
IOS Pressc2008.<M17-09-577>
National Diet Library
  • Author HeadingGrumberg, Orna. Nipkow, Tobias, 1958- Pfaller, Christian. NATO Adva...

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)
Paper図書
Springerc2006.<M17-06-3028>
National Diet Library
  • Author Heading...isra, Jayadev. Nipkow, Tobias, 1958- Sekerinski, E. (Emil) , 1963-...

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-4721>
National Diet Library
  • Author HeadingGoré, Rajeev. Leitsch, Alexander, 1952- Nipkow, Tobias, 1958- IJCAR 2001 (2001 : Siena, Ita...

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Hank Barendregt, Tobias Nipkow, eds. (Lecture notes in computer science)

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Hank Barendregt, Tobias Nipkow, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9226>
National Diet Library
  • Author Heading...endrik Pieter) Nipkow, Tobias, 1958-

Reached to the end of result.

RSS