Jump to main content

yr 〜
yr

Search results 102

LATIN 2020: theoretical informatics : 14th Latin American symposium : São Paulo, Brazil, January 5-8, 2021 : proceedings : course "algorithmic discrepancy and applications" : Jan 2021, São Paulo, Brazil. (Lecture Notes in Computer Science ; 12118. Advanced Research in Computing and Software Science)

LATIN 2020: theoretical informatics : 14th Latin American symposium : São Paulo, Brazil, January 5-8, 2021 : proceedings : course "algorithmic discrepancy and applications" : Jan 2021, São Paulo, Brazil. (Lecture Notes in Computer Science ; 12118. Advanced Research in Computing and Software Science)
Paper図書
Springer[2020]<M17-22-627>
National Diet LibraryOther Libraries in Japan

Algorithmic game theory : 8th international symposium, SAGT 2015 : Saarbrücken, Germany, September 28-30, 2015 : proceedings : Sep 2015, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 9347. Advanced Research in Computing and Software Science)

Algorithmic game theory : 8th international symposium, SAGT 2015 : Saarbrücken, Germany, September 28-30, 2015 : proceedings : Sep 2015, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 9347. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-769>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. 0302-9743

Distributed computing : 29th international symposium, DISC 2015 : Tokyo, Japan, October 7-9, 2015 : proceedings : EATCS symposium on distributed computing : Oct 2015, Tokyo, Japan. (Lecture Notes in Computer Science ; 9363. Advanced Research in Computing and Software Science)

Distributed computing : 29th international symposium, DISC 2015 : Tokyo, Japan, October 7-9, 2015 : proceedings : EATCS symposium on distributed computing : Oct 2015, Tokyo, Japan. (Lecture Notes in Computer Science ; 9363. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-779>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-15-1660>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)

Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-523>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)

Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-611>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Algorithms--ESA 2015 : 23rd annual European symposium : Patras, Greece, September 14-16, 2015 : proceedings : ALGO 2015 : Sep 2015, Patras, Greece. (Lecture Notes in Computer Science ; 9294. Advanced Research in Computing and Software Science)

Algorithms--ESA 2015 : 23rd annual European symposium : Patras, Greece, September 14-16, 2015 : proceedings : ALGO 2015 : Sep 2015, Patras, Greece. (Lecture Notes in Computer Science ; 9294. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-617>
National Diet Library

LATIN 2014: theoretical informatics : 11th Latin American symposium : Montevideo, Uruguay, March 31-April 4, 2014 : proceedings : Mar 2014, Montevideo, Uruguay. (Lecture Notes in Computer Science ; 8392. Advanced Research in Computing and Software Science)

LATIN 2014: theoretical informatics : 11th Latin American symposium : Montevideo, Uruguay, March 31-April 4, 2014 : proceedings : Mar 2014, Montevideo, Uruguay. (Lecture Notes in Computer Science ; 8392. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2129>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science.

Euro-Par 2014 parallel processing : 20th international conference : Porto, Portugal, August 25-29, 2014 : proceedings : Aug 2014, Porto, Portugal. (Lecture Notes in Computer Science ; 8632. Advanced Research in Computing and Software Science)

Euro-Par 2014 parallel processing : 20th international conference : Porto, Portugal, August 25-29, 2014 : proceedings : Aug 2014, Porto, Portugal. (Lecture Notes in Computer Science ; 8632. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-733>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Algorithmic game theory : 7th international symposium, SAGT 2014 : Haifa, Israel, September 30-October 2, 2014 : proceedings : Sep 2014, Haifa, Israel. (Lecture Notes in Computer Science ; 8768. Advanced Research in Computing and Software Science)

Algorithmic game theory : 7th international symposium, SAGT 2014 : Haifa, Israel, September 30-October 2, 2014 : proceedings : Sep 2014, Haifa, Israel. (Lecture Notes in Computer Science ; 8768. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-1303>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 3, Inform...

Web and internet economics : 10th international conference, WINE 2014 : Beijing, China, December 14-17, 2014 : proceedings : Dec 2014, Beijing, China. (Lecture Notes in Computer Science ; 8877. Advanced Research in Computing and Software Science)

Web and internet economics : 10th international conference, WINE 2014 : Beijing, China, December 14-17, 2014 : proceedings : Dec 2014, Beijing, China. (Lecture Notes in Computer Science ; 8877. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-627>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 3, Inform...

Euro-Par 2015: parallel processing : 21st international conference on parallel and distributed computing : Vienna, Austria, August 24-28, 2015 : proceedings : Aug 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9233. Advanced Research in Computing and Software Science)

Euro-Par 2015: parallel processing : 21st international conference on parallel and distributed computing : Vienna, Austria, August 24-28, 2015 : proceedings : Aug 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9233. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-522>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

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)
Paper図書
Springer[2015]<M17-16-615>
National Diet Library

CONCUR 2014--concurrency theory : 25th international conference, CONCUR 2014 : Rome, Italy, September 2-5, 2014 : proceedings : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8704. Advanced Research in Computing and Software Science)

CONCUR 2014--concurrency theory : 25th international conference, CONCUR 2014 : Rome, Italy, September 2-5, 2014 : proceedings : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8704. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-737>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

ECOOP 2014--object-oriented programming : 28th European conference : Uppsala, Sweden, July 28-August 1, 2014 : proceedings : Jul 2014, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8586. Advanced Research in Computing and Software Science)

ECOOP 2014--object-oriented programming : 28th European conference : Uppsala, Sweden, July 28-August 1, 2014 : proceedings : Jul 2014, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8586. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-1478>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 2, Progra...

Algorithms--ESA 2014 : 22nd annual European symposium : Wroclaw, Poland, September 8-10, 2014 : proceedings : ALGO 2014 : Sep 2014, Wroclaw, Poland. (Lecture Notes in Computer Science ; 8737. Advanced Research in Computing and Software Science)

Algorithms--ESA 2014 : 22nd annual European symposium : Wroclaw, Poland, September 8-10, 2014 : proceedings : ALGO 2014 : Sep 2014, Wroclaw, Poland. (Lecture Notes in Computer Science ; 8737. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-703>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Web and internet economics : 9th international conference, WINE 2013 : Cambridge, MA, USA, December 11-14, 2013 : proceedings : Dec 2013, Cambridge, MA. (Lecture Notes in Computer Science ; 8289. Advanced Research in Computing and Software Science)

Web and internet economics : 9th international conference, WINE 2013 : Cambridge, MA, USA, December 11-14, 2013 : proceedings : Dec 2013, Cambridge, MA. (Lecture Notes in Computer Science ; 8289. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-14-1543>
National Diet Library

Static analysis : 20th international symposium, SAS 2013 : Seattle, WA, USA, June 20-22, 2013 : proceedings : Jun 2013, Seattle, WA. (Lecture Notes in Computer Science ; 7935. Advanced Research in Computing and Software Science)

Static analysis : 20th international symposium, SAS 2013 : Seattle, WA, USA, June 20-22, 2013 : proceedings : Jun 2013, Seattle, WA. (Lecture Notes in Computer Science ; 7935. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-3385>
National Diet Library

Distributed computing : 27th international symposium, DISC 2013 : Jerusalem, Israel, October 14-18, 2013 : proceedings : DISC 2013 tutorial : Oct 2013, Jerusalem, Israel. (Lecture Notes in Computer Science ; 8205. Advanced Research in Computing and Software Science)

Distributed computing : 27th international symposium, DISC 2013 : Jerusalem, Israel, October 14-18, 2013 : proceedings : DISC 2013 tutorial : Oct 2013, Jerusalem, Israel. (Lecture Notes in Computer Science ; 8205. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-14-824>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. Lecture notes in computer sci...

Algorithmic game theory : 6th international symposium, SAGT 2013 : Aachen, Germany, October 21-23, 2013 : proceedings : Oct 2013, Aachen, Germany. (Lecture Notes in Computer Science ; 8146. Advanced Research in Computing and Software Science)

Algorithmic game theory : 6th international symposium, SAGT 2013 : Aachen, Germany, October 21-23, 2013 : proceedings : Oct 2013, Aachen, Germany. (Lecture Notes in Computer Science ; 8146. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-14-761>
National Diet Library
  • Title Heading...puter science. Advanced research in computing and software science. LNCS sublibrary. SL 3, Inform...
RSS