ヘルプ
ヘルプ

検索結果 1,681 件

Social computing, behavioral-cultural modeling, and prediction : 7th international conference, SBP 2014 : Washington, DC, USA, April 1-4, 2014 : proceedings : Apr 2014, Washington, DC. (Lecture Notes in Computer Science ; 8393)

Social computing, behavioral-cultural modeling, and prediction : 7th international conference, SBP 2014 : Washington, DC, USA, April 1-4, 2014 : proceedings : Apr 2014, Washington, DC. (Lecture Notes in Computer Science ; 8393)
紙図書
Springerc2014.<M17-14-2130>
国立国会図書館
  • ISSN16113349

Graph structures for knowledge representation and reasoning : third international workshop, GKR 2013 : Beijing, China, August 3, 2013 : revised selected papers : IJCAI 2013 GKR workshop : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8323. Lecture Notes in Artificial Intelligence)

Graph structures for knowledge representation and reasoning : third international workshop, GKR 2013 : Beijing, China, August 3, 2013 : revised selected papers : IJCAI 2013 GKR workshop : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8323. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2014.<M17-14-1760>
国立国会図書館
  • ISSN16113349

Intelligent information and database systems : 6th Asian conference, ACIIDS 2014 : Bangkok, Thailand, April 7-9, 2014 : proceedings : Apr 2014, Bangkok, Thailand. (Lecture Notes in Computer Science ; 8397-8398. Lecture Notes in Artificial Intelligence)

Intelligent information and database systems : 6th Asian conference, ACIIDS 2014 : Bangkok, Thailand, April 7-9, 2014 : proceedings : Apr 2014, Bangkok, Thailand. (Lecture Notes in Computer Science ; 8397-8398. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2014.<M17-14-2132>
国立国会図書館
  • ISSN16113349

Pairing-based cryptography-- Pairing 2013 : 6th international conference : Beijing, China, November 22-24, 2013 : revised selected papers : Pairing2013 : Nov 2013, Beijing, China. (Lecture Notes in Computer Science ; 8365)

Pairing-based cryptography-- Pairing 2013 : 6th international conference : Beijing, China, November 22-24, 2013 : revised selected papers : Pairing2013 : Nov 2013, Beijing, China. (Lecture Notes in Computer Science ; 8365)
紙図書
Springerc2014.<M17-14-1778>
国立国会図書館
  • ISSN16113349

Mathematical methods for curves and surfaces : 8th international conference, MMCS 2012 : Oslo, Norway, June 28-July 3, 2012 : revised selected papers : Jun 2012, Oslo, Norway. (Lecture Notes in Computer Science ; 8177)

Mathematical methods for curves and surfaces : 8th international conference, MMCS 2012 : Oslo, Norway, June 28-July 3, 2012 : revised selected papers : Jun 2012, Oslo, Norway. (Lecture Notes in Computer Science ; 8177)
紙図書
Springerc2014.<M17-14-2112>
国立国会図書館
  • ISSN16113349

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)
紙図書
Springerc2014.<M17-14-2138>
国立国会図書館
  • ISSN16113349

Algorithms and computation : 8th international workshop, WALCOM 2014 : Chennai, India, February 13-15, 2014 : proceedings : Feb 2014, Chennai, India. (Lecture Notes in Computer Science ; 8344)

Algorithms and computation : 8th international workshop, WALCOM 2014 : Chennai, India, February 13-15, 2014 : proceedings : Feb 2014, Chennai, India. (Lecture Notes in Computer Science ; 8344)
紙図書
Springerc2014.<M17-14-1772>
国立国会図書館
  • ISSN16113349

OpenSHMEM and related technologies : experiences, implementations, and tools : first workshop, OpenSHMEM 2014 : Annapolis, MD, USA, March 4-6, 2014 : proceedings : Mar 2014, Annapolis, MD. (Lecture Notes in Computer Science ; 8356)

OpenSHMEM and related technologies : experiences, implementations, and tools : first workshop, OpenSHMEM 2014 : Annapolis, MD, USA, March 4-6, 2014 : proceedings : Mar 2014, Annapolis, MD. (Lecture Notes in Computer Science ; 8356)
紙図書
Springerc2014.<M17-14-2119>
国立国会図書館
  • ISSN16113349

Language and automata theory and applications : 8th international conference, LATA 2014 : Madrid, Spain, March 10-14, 2014 : proceedings : Mar 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8370)

Language and automata theory and applications : 8th international conference, LATA 2014 : Madrid, Spain, March 10-14, 2014 : proceedings : Mar 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8370)
紙図書
Springerc2014.<M17-14-2123>
国立国会図書館
  • ISSN16113349

Foundations of health information engineering and systems : third international symposium, FHIES 2013 : Macau, China, August 21-23, 2013 : revised selected papers : Aug 2013, Macau, China. (Lecture Notes in Computer Science ; 8315)

Foundations of health information engineering and systems : third international symposium, FHIES 2013 : Macau, China, August 21-23, 2013 : revised selected papers : Aug 2013, Macau, China. (Lecture Notes in Computer Science ; 8315)
紙図書
Springerc2014.<M17-14-1753>
国立国会図書館
  • ISSN16113349

From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8415. Festschrift)

From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8415. Festschrift)
紙図書
Springerc2014.<M17-14-2137>
国立国会図書館
  • ISSN16113349

SOFSEM 2014: theory and practice of computer science : 40th international conference on current trends in theory and practice of computer science : Nový Smokovec, Slovakia, January 26-29, 2014 : proceedings : SOFSEM student research forum : Jan 2014, Nový Smokovec, Slovakia. (Lecture Notes in Computer Science ; 8327)

SOFSEM 2014: theory and practice of computer science : 40th international conference on current trends in theory and practice of computer science : Nový Smokovec, Slovakia, January 26-29, 2014 : proceedings : SOFSEM student research forum : Jan 2014, Nový Smokovec, Slovakia. (Lecture Notes in Computer Science ; 8327)
紙図書
Springerc2014.<M17-14-1763>
国立国会図書館
  • ISSN16113349

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)
紙図書
Springerc2014.<M17-14-2139>
国立国会図書館
  • ISSN16113349

Distributed computing and networking : 15th international conference, ICDCN 2014 : Coimbatore, India, January 4-7, 2014 : proceedings : ICDCN conference and workshops : Jan 2014, Coimbatore, India. (Lecture Notes in Computer Science ; 8314)

Distributed computing and networking : 15th international conference, ICDCN 2014 : Coimbatore, India, January 4-7, 2014 : proceedings : ICDCN conference and workshops : Jan 2014, Coimbatore, India. (Lecture Notes in Computer Science ; 8314)
紙図書
Springerc2014.<M17-14-1754>
国立国会図書館
  • ISSN16113349

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)
紙図書
Springerc2014.<M17-14-2129>
国立国会図書館
  • ISSN16113349

Algebraic and algorithmic aspects of differential and integral operators : 5th international meeting, AADIOS 2012 : held at the applications of computer algebra conference, ACA 2012 : Sofia Bulgaria, June 25-28, 2012 : selected and invited papers : Jun 2012, Sofia Bulgaria. (Lecture Notes in Computer Science ; 8372)

Algebraic and algorithmic aspects of differential and integral operators : 5th international meeting, AADIOS 2012 : held at the applications of computer algebra conference, ACA 2012 : Sofia Bulgaria, June 25-28, 2012 : selected and invited papers : Jun 2012, Sofia Bulgaria. (Lecture Notes in Computer Science ; 8372)
紙図書
Springerc2014.<M17-14-2124>
国立国会図書館
  • ISSN16113349

Applied algorithms : first international conference, ICAA 2014 : Kolkata, India, January 13-15, 2014 : proceedings : Jan 2014, Kolkata, India. (Lecture Notes in Computer Science ; 8321)

Applied algorithms : first international conference, ICAA 2014 : Kolkata, India, January 13-15, 2014 : proceedings : Jan 2014, Kolkata, India. (Lecture Notes in Computer Science ; 8321)
紙図書
Springerc2014.<M17-14-1758>
国立国会図書館
  • ISSN16113349

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)
紙図書
Springerc2014.<M17-14-2116>
国立国会図書館
  • ISSN16113349

Topics in cryptology -- CT-RSA 2014 : the cryptographer's track at the RSA conference 2014 : San Francisco, CA, USA, February 25-28, 2014 : proceedings : 2014 RSA conference cryptographers' track : annual RSA conference : Feb 2014, San Francisco, CA. (Lecture Notes in Computer Science ; 8366)

Topics in cryptology -- CT-RSA 2014 : the cryptographer's track at the RSA conference 2014 : San Francisco, CA, USA, February 25-28, 2014 : proceedings : 2014 RSA conference cryptographers' track : annual RSA conference : Feb 2014, San Francisco, CA. (Lecture Notes in Computer Science ; 8366)
紙図書
Springerc2014.<M17-14-1779>
国立国会図書館
  • ISSN16113349

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)
紙図書
Springerc2014.<M17-14-2121>
国立国会図書館
  • ISSN16113349