Jump to main content

yr 〜
yr

Search results 18

Theoretical aspects of computing -- ICTAC 2012 : 9th international colloquium : Bangalore, India : September 24-27, 2012 : proceedings : ICTAC conferences : Sep 2012, Bangalore, India. (Lecture Notes in Computer Science ; 7521)

Theoretical aspects of computing -- ICTAC 2012 : 9th international colloquium : Bangalore, India : September 24-27, 2012 : proceedings : ICTAC conferences : Sep 2012, Bangalore, India. (Lecture Notes in Computer Science ; 7521)
Paper図書
Springerc2012.<M17-13-673>
National Diet Library
  • Author Heading...ogy Bangalore. United Nations University. International Institute for Software Technology.

Theoretical aspects of computing -- ICTAC 2011 : 8th international colloquium : Johannesburg, South Africa : August 31-September 2, 2011 : proceedings : Aug 2011, Johannesburg, South Africa. (Lecture Notes in Computer Science ; 6916)

Theoretical aspects of computing -- ICTAC 2011 : 8th international colloquium : Johannesburg, South Africa : August 31-September 2, 2011 : proceedings : Aug 2011, Johannesburg, South Africa. (Lecture Notes in Computer Science ; 6916)
Paper図書
Springerc2011.<M17-12-1222>
National Diet Library
  • Author Heading...Witwatersrand. United Nations University. International Institute for Software Technology.

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)

Automated technology for verification and analysis : 7th international symposium, ATVA 2009 : Macao, China, October 14-16, 2009 : proceedings. : ATVA conferences : Oct 2009, Macao, China. (Lecture Notes in Computer Science ; 5799)
Paper図書
Springerc2009.<M17-10-1261>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Liu, Zhiming, 1961- Ravn, And...

Theoretical aspects of computing -- ICTAC 2004 : first international colloquium : Guiyang, China, September 20-24, 2004 : revised selected papers. : Sep 2004, Guiyang, China. (Lecture Notes in Computer Science ; 3407)

Theoretical aspects of computing -- ICTAC 2004 : first international colloquium : Guiyang, China, September 20-24, 2004 : revised selected papers. : Sep 2004, Guiyang, China. (Lecture Notes in Computer Science ; 3407)
Paper図書
Springerc2005.<M17-05-1012>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Guizhou Academy of Sciences.

Theoretical aspects of computing -- ICTAC 2008 : 5th international colloquium : Istanbul, Turkey, September 1-3, 2008 : proceedings. : Sep 2008, Istanbul, Turkey. (Lecture Notes in Computer Science ; 5160)

Theoretical aspects of computing -- ICTAC 2008 : 5th international colloquium : Istanbul, Turkey, September 1-3, 2008 : proceedings. : Sep 2008, Istanbul, Turkey. (Lecture Notes in Computer Science ; 5160)
Paper図書
Springerc2008.<M17-08-2233>
National Diet Library
  • Author Heading...enigun, Husnu. United Nations University. International Institute for Software Technology. ICTAC 2008 (2008 : Istanbul, ...

Theoretical aspects of computing -- ICTAC 2006 : third international colloquium : Tunis, Tunisia, November 20-24, 2006 : proceedings. : Nov 2006, Tunis, Tunisia. (Lecture Notes in Computer Science ; 4281)

Theoretical aspects of computing -- ICTAC 2006 : third international colloquium : Tunis, Tunisia, November 20-24, 2006 : proceedings. : Nov 2006, Tunis, Tunisia. (Lecture Notes in Computer Science ; 4281)
Paper図書
Springerc2006.<M17-07-1242>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Barkaoui, Kamel. Cavalcanti, ...

2009 7th IEEE international conference on software engineering and formal methods : (SEFM 2009) : Hanoi, Vietnam : 23-27 November 2009. : Nov 2009, Hanoi, Vietnam.

2009 7th IEEE international conference on software engineering and formal methods : (SEFM 2009) : Hanoi, Vietnam : 23-27 November 2009. : Nov 2009, Hanoi, Vietnam.
Paper図書
IEEEc2009.<M17-10-2306>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Dang, Hung Van, 1950- Krishna...

Sixth IEEE international conference on software engineering and formal methods : SEFM 2008 : proceedings : 10-14 November 2008 Cape Town, South Africa. : Nov 2008, Cape Town, South Africa.

Sixth IEEE international conference on software engineering and formal methods : SEFM 2008 : proceedings : 10-14 November 2008 Cape Town, South Africa. : Nov 2008, Cape Town, South Africa.
Paper図書
IEEEc2008.<M17-09-1628>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Cerone, Antonio. Gruner, Stef...

Theoretical aspects of computing -- ICTAC 2005 : second international colloquium : Hanoi, Vietnam, October 17-21, 2005 : proceedings. : Oct 2005, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 3722)

Theoretical aspects of computing -- ICTAC 2005 : second international colloquium : Hanoi, Vietnam, October 17-21, 2005 : proceedings. : Oct 2005, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 3722)
Paper図書
Springerc2005.<M17-05-2679>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Dang, Hung Van, 1950- Wirsing...

Formal methods and software engineering : 8th international conference on formal engineering methods, ICFEM 2006 : Macao, China, November 1-3, 2006 : proceedings. : Nov 2006, Macao, China. (Lecture Notes in Computer Science ; 4260)

Formal methods and software engineering : 8th international conference on formal engineering methods, ICFEM 2006 : Macao, China, November 1-3, 2006 : proceedings. : Nov 2006, Macao, China. (Lecture Notes in Computer Science ; 4260)
Paper図書
Springerc2006.<M17-07-217>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Liu, Zhiming, 1961- He, Jifen...

SEFM 2004 : proceedings of the second international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China. : Sep 2004, Beijing, China.

SEFM 2004 : proceedings of the second international conference on software engineering and formal methods : September 28-30, 2004 : Beijing, China. : Sep 2004, Beijing, China.
Paper図書
IEEE Computer Society Pressc2004.<M17-05-1920>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Peking University. Internatio...

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST : the International Institute for Software Technology of the United Nations University : Lisbon, Portugal, March 18-20, 2002 : revised papers. : Mar 2002, Lisbon, Portugal. (Lecture Notes in Computer Science ; 2757. Festschrift)

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST : the International Institute for Software Technology of the United Nations University : Lisbon, Portugal, March 18-20, 2002 : revised papers. : Mar 2002, Lisbon, Portugal. (Lecture Notes in Computer Science ; 2757. Festschrift)
Paper図書
Springer-Verlagc2003.<M17-04-2563>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Aichernig, Bernhard K., 1969-...

1st international conference on theory and practice of electronic governance : ICEGOV 2007 Macao : December 10-13, 2007 : Macao, China. : ICEGOV2007 : Dec 2007, Macao, China. (ACM International Conference Proceedings Series ; 232)

1st international conference on theory and practice of electronic governance : ICEGOV 2007 Macao : December 10-13, 2007 : Macao, China. : ICEGOV2007 : Dec 2007, Macao, China. (ACM International Conference Proceedings Series ; 232)
Paper図書
ACMc2007.<M17-09-2072>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Center for Electronic Governa...

APSEC 2001 : eighth Asia-Pacific software engineering conference : proceedings : 4-7 December 2001 Macao, China. : Dec 2001, Macao, China. (Asia-Pacific Software Engineering Conference)

APSEC 2001 : eighth Asia-Pacific software engineering conference : proceedings : 4-7 December 2001 Macao, China. : Dec 2001, Macao, China. (Asia-Pacific Software Engineering Conference)
Paper図書
IEEE Computer Society Pressc2001.<M17-03-2529>
National Diet Library
  • Author Heading...on Technology. United Nations University. International Institute for Software Technology. Asia-Pacific Software Enginee...

Distributed computing and internet technology : 6th international conference, ICDCIT 2010 : Bhubaneswar, India, February 15-17, 2010 : proceedings. : Feb 2010, Bhubaneswar, India. (Lecture Notes in Computer Science ; 5966)

Distributed computing and internet technology : 6th international conference, ICDCIT 2010 : Bhubaneswar, India, February 15-17, 2010 : proceedings. : Feb 2010, Bhubaneswar, India. (Lecture Notes in Computer Science ; 5966)
Paper図書
Springerc2010.<M17-10-2813>
National Diet Library
  • Author Heading..., Hrushikesha. United Nations University. International Institute for Software Technology. Center for Electronic Governa...

3rd international conference on theory and practice of electronic governance : (ICEGOV 2009) : Bogota, Colombia : 10-13 November 2009. : ICEGOV2009 : Nov 2009, Bogota, Colombia. (ACM International Conference Proceedings Series ; 322)

3rd international conference on theory and practice of electronic governance : (ICEGOV 2009) : Bogota, Colombia : 10-13 November 2009. : ICEGOV2009 : Nov 2009, Bogota, Colombia. (ACM International Conference Proceedings Series ; 322)
Paper図書
ACMc2009.<M17-10-2885>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Center for Electronic Governa...

2nd international conference on theory and practice of electronic governance : (ICEGOV 2008) : Cairo, Egypt : 1-4 December 2008. : ICEGOV2008 : Dec 2008, Cairo, Egypt. (ACM International Conference Proceedings Series ; 351)

2nd international conference on theory and practice of electronic governance : (ICEGOV 2008) : Cairo, Egypt : 1-4 December 2008. : ICEGOV2008 : Dec 2008, Cairo, Egypt. (ACM International Conference Proceedings Series ; 351)
Paper図書
ACMc2008.<M17-10-2878>
National Diet Library
  • Author HeadingUnited Nations University. International Institute for Software Technology. Center for Electronic Governa...

Distributed computing and internet technology : 4th international conference, ICDCIT 2007 : Bangalore, India, December 17-20 : proceedings. : Dec 2007, Bangalore, India. (Lecture Notes in Computer Science ; 4882)

Distributed computing and internet technology : 4th international conference, ICDCIT 2007 : Bangalore, India, December 17-20 : proceedings. : Dec 2007, Bangalore, India. (Lecture Notes in Computer Science ; 4882)
Paper図書
Springerc2007.<M17-09-417>
National Diet Library
  • Author Heading..., Hrushikesha. United Nations University. International Institute for Software Technology. Center for Electronic Governa...

Reached to the end of result.

RSS