Jump to main content

yr 〜
yr

Search results 8

Proceedings of formal methods in computer aided design : 12-16 November 2006, San Jose, California, USA. : international conference on formal methods in computer aided design : Nov 2006, San Jose, CA.

Proceedings of formal methods in computer aided design : 12-16 November 2006, San Jose, California, USA. : international conference on formal methods in computer aided design : Nov 2006, San Jose, CA.
Paper図書
IEEE Computer Societyc2006.<M17-07-895>
National Diet Library
  • Author HeadingGupta, Aarti. Manolios, Panagiotis. FMCAD ...

Deliberative global governance : pbk

Deliberative global governance : pbk
Paper図書
John S. Dryzek ... [et al.]Cambridge University Press2019
Other Libraries in Japan
  • Author HeadingDryzek, John S. Biermann, Frank Gupta, Aarti

Transparency in global environmental governance : critical perspectives : pbk

Transparency in global environmental governance : critical perspectives : pbk
Paper図書
edited by Aarti Gupta and Michael MasonMIT Pressc2014
Other Libraries in Japan
  • Author HeadingGupta, Aarti Mason, Michael

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Paper図書
Aarti Gupta, Sharad Malik (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingCAV (Conference) Gupta, Aarti Malik, Sharad

SAT-based scalable formal verification solutions

SAT-based scalable formal verification solutions
Paper図書
Malay Ganai, Aarti GuptaSpringerc2007
Other Libraries in Japan
  • Author HeadingGanai, Malay Gupta, Aarti

Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA

Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA
Paper図書
IEEE Computer Societyc2006
Other Libraries in Japan
  • Author HeadingFMCAD (Conference) Gupta, Aarti Manolios, Panagiotis

Searching for shared norms : global governance of biosafety

Searching for shared norms : global governance of biosafety
Paper図書
by Aarti GuptaUMI Dissertation Servicesc2002
Other Libraries in Japan
  • Author HeadingGupta, Aarti

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)

Computer aided verification : 20th international conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings. : 20th anniversary of CAV : Jul 2008, Princeton, NJ. (Lecture Notes in Computer Science ; 5123)
Paper図書
Springerc2008.<M17-09-431>
National Diet Library
  • Author HeadingGupta, Aarti, Dr. Malik, Sharad. CAV 2008 ...

Reached to the end of result.

RSS