Jump to main content

yr 〜
yr

Search results 61

Principles of security and trust : third international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8414. Advanced Research in Computing and Software Science)

Principles of security and trust : third international conference, POST 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8414. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2141>
National Diet Library
  • Title Heading...414. 0302-9743 Lecture notes in computer science. 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)

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...cience ; 8931. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Artificial neural networks in pattern recognition : 6th IAPR TC 3 international workshop, ANNPR 2014 : Montreal, QC, Canada, October 6-8, 2014 : proceedings : 6th IAPR TC3 workshop on artificial neural networks for pattern recognition : Oct 2014, Montreal, Canada. (Lecture Notes in Computer Science ; 8774. Lecture Notes in Artificial Intelligence)

Artificial neural networks in pattern recognition : 6th IAPR TC 3 international workshop, ANNPR 2014 : Montreal, QC, Canada, October 6-8, 2014 : proceedings : 6th IAPR TC3 workshop on artificial neural networks for pattern recognition : Oct 2014, Montreal, Canada. (Lecture Notes in Computer Science ; 8774. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1648>
National Diet Library
  • Title Heading...cience ; 8774. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 7, Artifi...

Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)

Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2136>
National Diet Library
  • Title Heading...cience ; 8410. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

ECOOP 2013 -- object-oriented programming : 27th European conference : Montpellier, France, July 1-5, 2013 : proceedings : Jul 2013, Montpellier, France. (Lecture Notes in Computer Science ; 7920. Advanced Research in Computing and Software Science)

ECOOP 2013 -- object-oriented programming : 27th European conference : Montpellier, France, July 1-5, 2013 : proceedings : Jul 2013, Montpellier, France. (Lecture Notes in Computer Science ; 7920. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-3379>
National Diet Library
  • Title HeadingLecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 2, Progra...

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...363. 0302-9743 Lecture notes in computer 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...235. 0302-9743 Lecture notes in computer 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...cience ; 8723. Lecture notes in computer 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...cience ; 8586. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 2, Progra...

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...cience ; 8704. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

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...233. 0302-9743 Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

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...cience ; 8632. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Fundamental approaches to software engineering : 17th international conference, FASE 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : annual European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8411. Advanced Research in Computing and Software Science)

Fundamental approaches to software engineering : 17th international conference, FASE 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : annual European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8411. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2138>
National Diet Library
  • Title Heading...cience ; 8411. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)

Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-392>
National Diet Library
  • Title Heading...135. 0302-9743 Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Distributed computing : 28th international symposium, DISC 2014 : Austin, TX, USA, October 12-15, 2014 : proceedings : EATCS symposium on distributed computing : Oct 2014, Austin, TX. (Lecture Notes in Computer Science ; 8784. Advanced Research in Computing and Software Science)

Distributed computing : 28th international symposium, DISC 2014 : Austin, TX, USA, October 12-15, 2014 : proceedings : EATCS symposium on distributed computing : Oct 2014, Austin, TX. (Lecture Notes in Computer Science ; 8784. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-1367>
National Diet Library
  • Title Heading...cience ; 8784. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

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...eneral issues. Lecture notes in computer science. Advanced research in computing and software science.

Foundations of software science and computation structures : 17th international conference, FOSSACS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)

Foundations of software science and computation structures : 17th international conference, FOSSACS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2139>
National Diet Library
  • Title Heading...cience ; 8412. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Graph-theoretic concepts in computer science : 40th international workshop, WG 2014 : Nouan-le-Fuzelier, France, June 25-27, 2014 : revised selected papers : WG conference : Jun 2014, Nouan-le-Fuzelier, France. (Lecture Notes in Computer Science ; 8747. Advanced Research in Computing and Software Science)

Graph-theoretic concepts in computer science : 40th international workshop, WG 2014 : Nouan-le-Fuzelier, France, June 25-27, 2014 : revised selected papers : WG conference : Jun 2014, Nouan-le-Fuzelier, France. (Lecture Notes in Computer Science ; 8747. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-1696>
National Diet Library
  • Title Heading...cience ; 8747. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

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...cience ; 8737. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-1756>
National Diet Library
  • Title Heading...cience ; 8318. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. SL 1, Theore...
RSS