年 〜
年

検索結果 1,693 件

Code clone analysis : research, tools, and practices

Code clone analysis : research, tools, and practices
紙図書
Katsuro Inoue, Chanchal K. Roy, editorsSpringer[2021]<M159-D17>
国立国会図書館
  • LCCQA76.6

Computer arithmetic

Computer arithmetic
紙図書
editor, Earl E Swartzlander.World Scientific[2015]<M159-D3>
国立国会図書館
  • LCCQA76.6

Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings : SAS meetings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)

Static analysis : 22nd international symposium, SAS 2015 : Saint-Malo, France, September 9-11, 2015 : proceedings : SAS meetings : Sep 2015, Saint-Malo, France. (Lecture Notes in Computer Science ; 9291. Advanced Research in Computing and Software Science)
紙図書
Springer[2015]<M17-16-615>
国立国会図書館
  • LCCQA76.6

Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)

Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)
紙図書
Springer[2015]<M17-16-498>
国立国会図書館
  • LCCQA76.6

2015 24th Australasian software engineering conference : (ASWEC 2015) : Adelaide, SA, Australia : 28 September-1 October 2015 : Australasian software week (ASW) : Sep 2015, Adelaide, Australia.

2015 24th Australasian software engineering conference : (ASWEC 2015) : Adelaide, SA, Australia : 28 September-1 October 2015 : Australasian software week (ASW) : Sep 2015, Adelaide, Australia.
紙図書
IEEE[2015]<M17-17-1875>
国立国会図書館
  • LCCQA76.6

2015 12th international symposium on programming and systems (ISPS 2015) : Algiers, Algeria : 28-30 April 2015 : ISPS'2015 conference : Apr 2015, Algiers, Algeria.

2015 12th international symposium on programming and systems (ISPS 2015) : Algiers, Algeria : 28-30 April 2015 : ISPS'2015 conference : Apr 2015, Algiers, Algeria.
紙図書
IEEE[2015]<M17-17-1644>
国立国会図書館
  • LCCQA76.6

2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015 : Mar 2015, Montreal, Canada.

2015 IEEE 6th international workshop on program comprehension through dynamic analysis : (PCODA 2015) : Montreal, Quebec, Canada : 2 March 2015 : Mar 2015, Montreal, Canada.
紙図書
IEEE[2015]<M17-17-1642>
国立国会図書館
  • LCCQA76.6

2015 IEEE blocks and beyond workshop : (blocks and beyond 2015) : Atlanta, Georgia, USA : 22 October 2015 : B&B 2015 : Oct 2015, Atlanta, GA.

2015 IEEE blocks and beyond workshop : (blocks and beyond 2015) : Atlanta, Georgia, USA : 22 October 2015 : B&B 2015 : Oct 2015, Atlanta, GA.
紙図書
IEEE[2015]<M17-17-153>
国立国会図書館
  • LCCQA76.6

Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany. (Lecture Notes in Computer Science ; 9129)

Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany. (Lecture Notes in Computer Science ; 9129)
紙図書
Springer[2015]<M17-16-389>
国立国会図書館
  • LCCQA76.6

2015 44th international conference on parallel processing (ICPP 2015) : Beijing, China : 1-4 September 2015 : Sep 2015, Beijing, China.

2015 44th international conference on parallel processing (ICPP 2015) : Beijing, China : 1-4 September 2015 : Sep 2015, Beijing, China.
紙図書
IEEE[2015]<M17-17-1514>
国立国会図書館
  • LCCQA76.6

2014 IEEE Central America and Panama convention : (CONCAPAN XXXIV) : Panama City, Panama : 12-14 November 2014 : Nov 2014, Panama City, Panama.

2014 IEEE Central America and Panama convention : (CONCAPAN XXXIV) : Panama City, Panama : 12-14 November 2014 : Nov 2014, Panama City, Panama.
紙図書
IEEE[2014]<M17-16-1045>
国立国会図書館
  • LCCQA76.6

2014 international conference on embedded software : (EMSOFT 2014) : New Delhi, India : 12-17 October 2014 : Oct 2014, New Delhi, India.

2014 international conference on embedded software : (EMSOFT 2014) : New Delhi, India : 12-17 October 2014 : Oct 2014, New Delhi, India.
紙図書
IEEE[2014]<M17-16-1357>
国立国会図書館
  • LCCQA76.6

2013 3rd international workshop on developing tools as plug-ins : (TOPI 2013) : San Francisco, California, USA : 21 May 2013 : May 2013, San Francisco, CA. CFP1398S-ART

2013 3rd international workshop on developing tools as plug-ins : (TOPI 2013) : San Francisco, California, USA : 21 May 2013 : May 2013, San Francisco, CA. CFP1398S-ART
紙図書
IEEEc2013.<M17-14-1353>
国立国会図書館
  • LCCQA76.6

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)

Unifying theories of programming : 4th international symposium, UTP 2012 : Paris, France, August 27-28, 2012 : revised selected papers : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7681)
紙図書
Springerc2013.<M17-13-1622>
国立国会図書館
  • LCCQA76.6

2013 11th international symposium on programming and systems : (ISPS 2013) : Algiers, Algeria : 22-24 April 2013 : Apr 2013, Algiers, Algeria.

2013 11th international symposium on programming and systems : (ISPS 2013) : Algiers, Algeria : 22-24 April 2013 : Apr 2013, Algiers, Algeria.
紙図書
IEEE[2013]<M17-14-2907>
国立国会図書館
  • LCCQA76.6

Programming languages and systems : 22nd European symposium on programming, ESOP 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 ; 7792. Advanced Research in Computing and Software Science)

Programming languages and systems : 22nd European symposium on programming, ESOP 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 ; 7792. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2119>
国立国会図書館
  • LCCQA76.6

2013 IEEE 37th annual computer software and applications conference : (COMPSAC 2013) : Kyoto, Japan : 22-26 July 2013 : IEEE annual international computer software and applications conference : Jul 2013, Kyoto, Japan. E4986 CFP13061-USB

2013 IEEE 37th annual computer software and applications conference : (COMPSAC 2013) : Kyoto, Japan : 22-26 July 2013 : IEEE annual international computer software and applications conference : Jul 2013, Kyoto, Japan. E4986 CFP13061-USB
紙図書
IEEEc2013.<M17-14-1802>
国立国会図書館
  • LCCQA76.6

Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France. (Lecture Notes in Computer Science ; 7460. Advanced Research in Computing and Software Science)

Static analysis : 19th international symposium, SAS 2012 : Deauville, France, September 11-13, 2012 : proceedings : Sep 2012, Deauville, France. (Lecture Notes in Computer Science ; 7460. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-609>
国立国会図書館
  • LCCQA76.6

2012 45th annual IEEE/ACM international symposium on microarchitecture workshops : (MICROW 2012) : Vancouver, British Columbia, Canada : 1-5 December 2012 : MICRO-45 workshops : 2012 workshop on hardware and architectural support for security and privacy : workshop on near-threshold computing (WNTC 2012) : MICRO 45 : 1st HASP workshop : Dec 2012, Vancouver, Canada. E4920

2012 45th annual IEEE/ACM international symposium on microarchitecture workshops : (MICROW 2012) : Vancouver, British Columbia, Canada : 1-5 December 2012 : MICRO-45 workshops : 2012 workshop on hardware and architectural support for security and privacy : workshop on near-threshold computing (WNTC 2012) : MICRO 45 : 1st HASP workshop : Dec 2012, Vancouver, Canada. E4920
紙図書
IEEEc2012.<M17-13-3501>
国立国会図書館
  • LCCQA76.6

Rules on the web: research and applications : 6th international symposium, RuleML 2012 : Montpellier, France, August 27-29, 2012 : proceedings : RuleML 2012 doctoral consortium : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7438)

Rules on the web: research and applications : 6th international symposium, RuleML 2012 : Montpellier, France, August 27-29, 2012 : proceedings : RuleML 2012 doctoral consortium : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7438)
紙図書
Springerc2012.<M17-13-589>
国立国会図書館
  • LCCQA76.6