Jump to main content

yr 〜
yr

Search results 253

Formal aspects of security and trust : 7th international workshop, FAST 2010 : Pisa, Italy, September 16-17, 2010 : revised selected papers. : 8th IEEE international conference on software engineering and formal methods (SEFM 2010) : Sep 2010, Pisa, Italy. (Lecture Notes in Computer Science ; 6561)

Formal aspects of security and trust : 7th international workshop, FAST 2010 : Pisa, Italy, September 16-17, 2010 : revised selected papers. : 8th IEEE international conference on software engineering and formal methods (SEFM 2010) : Sep 2010, Pisa, Italy. (Lecture Notes in Computer Science ; 6561)
Paper図書
Springerc2011.<M17-11-1915>
National Diet Library
  • Title HeadingLecture notes in computer science, 0302-9743.

Data and applications security and privacy 24 : 24th annual IFIP WG 11.3 working conference : Rome, Italy, June 21-23, 2010 : proceedings. : Jun 2010, Rome, Italy. (Lecture Notes in Computer Science ; 6166)

Data and applications security and privacy 24 : 24th annual IFIP WG 11.3 working conference : Rome, Italy, June 21-23, 2010 : proceedings. : Jun 2010, Rome, Italy. (Lecture Notes in Computer Science ; 6166)
Paper図書
Springerc2010.<M17-10-3401>
National Diet Library
  • Title HeadingLecture notes in computer science, 0302-9743.

Privacy and security issues in data mining and machine learning : international ECML/PKDD workshop, PSDML 2010 : Barcelona, Spain, September 24, 2010 : revised selected papers. : Sep 2010, Barcelona, Spain. (Lecture Notes in Computer Science ; 6549. Lecture Notes in Artificial Intelligence)

Privacy and security issues in data mining and machine learning : international ECML/PKDD workshop, PSDML 2010 : Barcelona, Spain, September 24, 2010 : revised selected papers. : Sep 2010, Barcelona, Spain. (Lecture Notes in Computer Science ; 6549. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-1907>
National Diet Library
  • Title HeadingLecture notes in computer science, 0302-9743. Lecture notes in artifical in...

Culture and computing : computing and communication for crosscultural interaction. : 1st international conference on culture and computing : Feb 2010, Kyoto, Japan. (Lecture Notes in Computer Science ; 6259. State-of-the-Art Survey)

Culture and computing : computing and communication for crosscultural interaction. : 1st international conference on culture and computing : Feb 2010, Kyoto, Japan. (Lecture Notes in Computer Science ; 6259. State-of-the-Art Survey)
Paper図書
Springerc2010.<M17-11-2090>
National Diet Library
  • Title HeadingLecture notes in computer science, 0302-9743. State-of-the-art survey.

Hardware and software: verification and testing : 6th international Haifa verification conference, HVC 2010 : Haifa, Israel, October 4-7, 2010 : revised selected papers. : Oct 2010, Haifa, Israel. (Lecture Notes in Computer Science ; 6504)

Hardware and software: verification and testing : 6th international Haifa verification conference, HVC 2010 : Haifa, Israel, October 4-7, 2010 : revised selected papers. : Oct 2010, Haifa, Israel. (Lecture Notes in Computer Science ; 6504)
Paper図書
Springerc2011.<M17-11-2122>
National Diet Library

Formal methods: foundations and applications : 13th Brazilian symposium on formal methods, SBMF 2010 : Natal, Brazil, November 8-11, 2010 : revised selected papers. : Nov 2010, Natal, Brazil. (Lecture Notes in Computer Science ; 6527)

Formal methods: foundations and applications : 13th Brazilian symposium on formal methods, SBMF 2010 : Natal, Brazil, November 8-11, 2010 : revised selected papers. : Nov 2010, Natal, Brazil. (Lecture Notes in Computer Science ; 6527)
Paper図書
Springerc2011.<M17-11-1890>
National Diet Library

Combinatorial algorithms : 21st international workshop, IWOCA 2010 : London, UK, July 26-28, 2010 : revised selected papers. : Jul 2010, London, UK. (Lecture Notes in Computer Science ; 6460)

Combinatorial algorithms : 21st international workshop, IWOCA 2010 : London, UK, July 26-28, 2010 : revised selected papers. : Jul 2010, London, UK. (Lecture Notes in Computer Science ; 6460)
Paper図書
Springerc2011.<M17-11-2096>
National Diet Library

Models in software engineering : workshops and symposia at MODELS 2010 : Oslo, Norway, October 3-8, 2010 : reports and revised selected papers. : MODELS workshop : ACM/IEEE 13th international conference on model driven engineering languages and systems : ACM/IEEE international conference on model-driven engineering languages and systems : Oct 2010, Oslo, Norway. (Lecture Notes in Computer Science ; 6627)

Models in software engineering : workshops and symposia at MODELS 2010 : Oslo, Norway, October 3-8, 2010 : reports and revised selected papers. : MODELS workshop : ACM/IEEE 13th international conference on model driven engineering languages and systems : ACM/IEEE international conference on model-driven engineering languages and systems : Oct 2010, Oslo, Norway. (Lecture Notes in Computer Science ; 6627)
Paper図書
Springerc2011.<M17-11-2454>
National Diet Library

Functional imaging and modeling of the heart : 6th international conference, FIMH 2011 : New York City, NY, USA, May 25-27, 2011 : proceedings. : May 2011, New York City, NY. (Lecture Notes in Computer Science ; 6666)

Functional imaging and modeling of the heart : 6th international conference, FIMH 2011 : New York City, NY, USA, May 25-27, 2011 : proceedings. : May 2011, New York City, NY. (Lecture Notes in Computer Science ; 6666)
Paper図書
Springerc2011.<M17-11-2462>
National Diet Library

Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2011 : Jinhua, China, May 28-31, 2011 : proceedings. : 5th international frontiers in algorithmics workshop : 7th international conference on algorithmic aspects in information and management : FAW 2011 : AAIM 2011 : May 2011, Jinhua, China. (Lecture Notes in Computer Science ; 6681)

Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2011 : Jinhua, China, May 28-31, 2011 : proceedings. : 5th international frontiers in algorithmics workshop : 7th international conference on algorithmic aspects in information and management : FAW 2011 : AAIM 2011 : May 2011, Jinhua, China. (Lecture Notes in Computer Science ; 6681)
Paper図書
Springerc2011.<M17-11-2467>
National Diet Library

Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011 : Rotterdam, the Netherlands, May 30-June 3, 2011 : proceedings. : May 2011, Rotterdam, the Netherlands. (Lecture Notes in Computer Science ; 6663)

Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011 : Rotterdam, the Netherlands, May 30-June 3, 2011 : proceedings. : May 2011, Rotterdam, the Netherlands. (Lecture Notes in Computer Science ; 6663)
Paper図書
Springerc2011.<M17-11-2461>
National Diet Library

Evolutionary computation in combinatorial optimization : 11th European conference, EvoCOP 2011 : Torino, Italy, April 27-29, 2011 : proceedings. : Apr 2011, Torino, Italy. (Lecture Notes in Computer Science ; 6622)

Evolutionary computation in combinatorial optimization : 11th European conference, EvoCOP 2011 : Torino, Italy, April 27-29, 2011 : proceedings. : Apr 2011, Torino, Italy. (Lecture Notes in Computer Science ; 6622)
Paper図書
Springerc2011.<M17-11-2310>
National Diet Library

Theory of cryptography : 8th theory of cryptography conference, TCC 2011 : Providence, RI, USA, March 28-30, 2011 : proceedings. : Mar 2011, Providence, RI. (Lecture Notes in Computer Science ; 6597)

Theory of cryptography : 8th theory of cryptography conference, TCC 2011 : Providence, RI, USA, March 28-30, 2011 : proceedings. : Mar 2011, Providence, RI. (Lecture Notes in Computer Science ; 6597)
Paper図書
Springerc2011.<M17-11-2293>
National Diet Library

Evolutionary computation, machine learning and data mining in bioinformatics : 9th European conference, EvoBIO 2011 : Torino, Italy, April 27-29, 2011 : proceedings. : EVO* 2011 : Apr 2011, Torino, Italy. (Lecture Notes in Computer Science ; 6623)

Evolutionary computation, machine learning and data mining in bioinformatics : 9th European conference, EvoBIO 2011 : Torino, Italy, April 27-29, 2011 : proceedings. : EVO* 2011 : Apr 2011, Torino, Italy. (Lecture Notes in Computer Science ; 6623)
Paper図書
Springerc2011.<M17-11-2311>
National Diet Library

Advances in information retrieval : 33rd European conference on IR research, ECIR 2011 : Dublin, Ireland, April 18-21, 2011 : proceedings. : 33rd annual European conference on information retrieval : Apr 2011, Dublin, Ireland. (Lecture Notes in Computer Science ; 6611)

Advances in information retrieval : 33rd European conference on IR research, ECIR 2011 : Dublin, Ireland, April 18-21, 2011 : proceedings. : 33rd annual European conference on information retrieval : Apr 2011, Dublin, Ireland. (Lecture Notes in Computer Science ; 6611)
Paper図書
Springerc2011.<M17-11-2301>
National Diet Library

Wireless sensor networks : 8th European conference, EWSN 2011 : Bonn, Germany, February 23-25, 2011 : proceedings. : Feb 2011, Bonn, Germany. (Lecture Notes in Computer Science ; 6567)

Wireless sensor networks : 8th European conference, EWSN 2011 : Bonn, Germany, February 23-25, 2011 : proceedings. : Feb 2011, Bonn, Germany. (Lecture Notes in Computer Science ; 6567)
Paper図書
Springerc2011.<M17-11-1919>
National Diet Library

Selected areas in cryptography : 17th international workshop, SAC 2010 : Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers. : 17th annual workshop on selected areas in cryptography : Aug 2010, Waterloo, Canada. (Lecture Notes in Computer Science ; 6544)

Selected areas in cryptography : 17th international workshop, SAC 2010 : Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers. : 17th annual workshop on selected areas in cryptography : Aug 2010, Waterloo, Canada. (Lecture Notes in Computer Science ; 6544)
Paper図書
Springerc2011.<M17-11-1904>
National Diet Library

Pattern recognition and machine intelligence : 4th international conference, PReMI 2011 : Moscow, Russia, June 27-July 1, 2011 : proceedings. : PReMI-2011 : Jun 2011, Moscow, Russia. (Lecture Notes in Computer Science ; 6744)

Pattern recognition and machine intelligence : 4th international conference, PReMI 2011 : Moscow, Russia, June 27-July 1, 2011 : proceedings. : PReMI-2011 : Jun 2011, Moscow, Russia. (Lecture Notes in Computer Science ; 6744)
Paper図書
Springerc2011.<M17-11-3239>
National Diet Library

Biometrics and ID management : COST 2101 European workshop, BioID 2011 : Brandenburg (Havel), Germany, March 8-10, 2011 : proceedings. : 3rd European workshop on biometrics and identity management : Mar 2011, Brandenburg an der Havel, Germany. (Lecture Notes in Computer Science ; 6583)

Biometrics and ID management : COST 2101 European workshop, BioID 2011 : Brandenburg (Havel), Germany, March 8-10, 2011 : proceedings. : 3rd European workshop on biometrics and identity management : Mar 2011, Brandenburg an der Havel, Germany. (Lecture Notes in Computer Science ; 6583)
Paper図書
Springerc2011.<M17-11-1928>
National Diet Library

High performance computing for computational science -- VECPAR 2010 : 9th international conference : Berkeley, CA, USA, June 22-25, 2010 : revised selected papers. : Jun 2010, Berkeley, CA. (Lecture Notes in Computer Science ; 6449)

High performance computing for computational science -- VECPAR 2010 : 9th international conference : Berkeley, CA, USA, June 22-25, 2010 : revised selected papers. : Jun 2010, Berkeley, CA. (Lecture Notes in Computer Science ; 6449)
Paper図書
Springerc2011.<M17-11-2061>
National Diet Library
RSS