yr 〜
yr

Search results 68

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-14-730>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey. Lecture notes in computer sci...

Multivariate network visualization : Dagstuhl seminar #13201 : Dagstuhl Castle, Germany, May 12-17, 2013 : revised discussions : seminar on "information visualization--towards multivariate network visualization" (no. 13201) : 3rd Dagstuhl seminar on information visualization : May 2013, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 8380. State-of-the-Art Survey)

Multivariate network visualization : Dagstuhl seminar #13201 : Dagstuhl Castle, Germany, May 12-17, 2013 : revised discussions : seminar on "information visualization--towards multivariate network visualization" (no. 13201) : 3rd Dagstuhl seminar on information visualization : May 2013, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 8380. State-of-the-Art Survey)
Paper図書
Springer[2014]<M17-15-1669>
National Diet Library
  • Title Heading...cience ; 8380. Lecture notes in computer science. State-of-the-art survey. LNCS sublibrary. SL 3, Inform...

Assurances for self-adaptive systems : principles, models, and techniques : ESEC/FSE 2011 workshop on assurances for self-adaptive systems (ASAS) : Sep 2011, Szeged, Hungary. (Lecture Notes in Computer Science ; 7740. State-of-the-Art Survey)

Assurances for self-adaptive systems : principles, models, and techniques : ESEC/FSE 2011 workshop on assurances for self-adaptive systems (ASAS) : Sep 2011, Szeged, Hungary. (Lecture Notes in Computer Science ; 7740. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-13-1637>
National Diet Library
  • Title Heading...cience ; 7740. Lecture notes in computer science. State-of-the-art survey. LNCS sublibrary. SL 2, Progra...

Aliasing in object-oriented programming : types, analysis and verification : international workshop on aliasing, confinement and ownership in object-oriented programming (IWACO) : ------. (Lecture Notes in Computer Science ; 7850. State-of-the-Art Survey)

Aliasing in object-oriented programming : types, analysis and verification : international workshop on aliasing, confinement and ownership in object-oriented programming (IWACO) : ------. (Lecture Notes in Computer Science ; 7850. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-13-2143>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey. Lecture notes in computer sci...

Facing the multicore-challenge 3 : aspects of new paradigms and technologies in parallel computing : 3rd conference "facing the multicore-challenge" : facing the multicore-challenge 3 2012 : Sep 2012, Stuttgart, Germany. (Lecture Notes in Computer Science ; 7686. State-of-the-Art Survey)

Facing the multicore-challenge 3 : aspects of new paradigms and technologies in parallel computing : 3rd conference "facing the multicore-challenge" : facing the multicore-challenge 3 2012 : Sep 2012, Stuttgart, Germany. (Lecture Notes in Computer Science ; 7686. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-13-2097>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey. Lecture notes in computer sci...

Software engineering for self-adaptive systems 2 : international seminar : Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers : Dagstuhl seminar 10431 on "software engineering for self-adaptive systems" : Dagstuhl seminar on software engineering or [i.e. for] self adaptive systems : Oct 2010, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 7475. State-of-the-Art Survey)

Software engineering for self-adaptive systems 2 : international seminar : Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers : Dagstuhl seminar 10431 on "software engineering for self-adaptive systems" : Dagstuhl seminar on software engineering or [i.e. for] self adaptive systems : Oct 2010, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 7475. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-13-1616>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey. Lecture notes in computer sci...

Time-of-flight and depth imaging : sensors, algorithms, and applications : Dagstuhl 2012 seminar on time-of-flight imaging and GCPR 2013 workshop on imaging new modalities : German conference on pattern recognition : ------. (Lecture Notes in Computer Science ; 8200. State-of-the-Art Survey)

Time-of-flight and depth imaging : sensors, algorithms, and applications : Dagstuhl 2012 seminar on time-of-flight imaging and GCPR 2013 workshop on imaging new modalities : German conference on pattern recognition : ------. (Lecture Notes in Computer Science ; 8200. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-14-1304>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey. Lecture notes in computer sci...

Formal methods for components and objects : 10th international symposium, FMCO 2011 : Turin, Italy, October 3-5, 2011 : revised selected papers : Oct 2011, Turin, Italy. (Lecture Notes in Computer Science ; 7542. State-of-the-Art Survey)

Formal methods for components and objects : 10th international symposium, FMCO 2011 : Turin, Italy, October 3-5, 2011 : revised selected papers : Oct 2011, Turin, Italy. (Lecture Notes in Computer Science ; 7542. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-13-1618>
National Diet Library
  • Title Heading...2-9743 ; 7542. Lecture notes in computer science. State-of-the-art survey. LNCS sublibrary. SL 2, Progra...

The personal web : a research agenda : 1st symposium on the personal web : 2010, Markham, Canada. (Lecture Notes in Computer Science ; 7855. State-of-the-Art Survey)

The personal web : a research agenda : 1st symposium on the personal web : 2010, Markham, Canada. (Lecture Notes in Computer Science ; 7855. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-14-541>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey. LNCS sublibrary. SL 3, Inform...

Replication : theory and practice. : seminar "a 30-year perspective on replication" : Monte Verita seminar : Nov 2007, Ascona, Switzerland. (Lecture Notes in Computer Science ; 5959. State-of-the-Art Survey)

Replication : theory and practice. : seminar "a 30-year perspective on replication" : Monte Verita seminar : Nov 2007, Ascona, Switzerland. (Lecture Notes in Computer Science ; 5959. State-of-the-Art Survey)
Paper図書
Springerc2010.<M17-10-2804>
National Diet Library
  • Title Heading...cience ; 5959. Lecture notes in computer science. State-of-the-art survey.

Methods, models and tools for fault tolerance. : workshop on methods, models and tools for fault tolerance : MeMoT 2007 : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 5454. State-of-the-Art Survey)

Methods, models and tools for fault tolerance. : workshop on methods, models and tools for fault tolerance : MeMoT 2007 : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 5454. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-09-2200>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey.

Semantic techniques for the web : the REWERSE perspective / François Bry, Jan Małuszyński (eds.). (Lecture notes in computer science ; 5500 ; State-of-the-art survey)

Semantic techniques for the web : the REWERSE perspective / François Bry, Jan Małuszyński (eds.). (Lecture notes in computer science ; 5500 ; State-of-the-art survey)
Paper図書
Springerc2009.<X>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey.

Formal theories of information : from Shannon to semantic information theory and general concepts of information. : May 2006 Muenchenwiler seminar : May 2006, ------. (Lecture Notes in Computer Science ; 5363. State-of-the-Art Survey)

Formal theories of information : from Shannon to semantic information theory and general concepts of information. : May 2006 Muenchenwiler seminar : May 2006, ------. (Lecture Notes in Computer Science ; 5363. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-09-1680>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey.

Agent-oriented software engineering 9 : 9th international workshop, AOSE 2008 : Estoril, Portugal, May 12-13, 2008 : revised selected papers. : 7th international joint conference on autonomous agents and multi-agent systems (AAMAS 2008) : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5386. State-of-the-Art Survey)

Agent-oriented software engineering 9 : 9th international workshop, AOSE 2008 : Estoril, Portugal, May 12-13, 2008 : revised selected papers. : 7th international joint conference on autonomous agents and multi-agent systems (AAMAS 2008) : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5386. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-10-432>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey.

The evolution of conceptual modeling : from a historical perspective towards the future of conceptual modeling. : Dagstuhl seminar on the evolution of conceptual modeling : international seminar on the evolution of conceptual modeling : Apr 2008, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 6520. State-of-the-Art Survey)

The evolution of conceptual modeling : from a historical perspective towards the future of conceptual modeling. : Dagstuhl seminar on the evolution of conceptual modeling : international seminar on the evolution of conceptual modeling : Apr 2008, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 6520. State-of-the-Art Survey)
Paper図書
Springerc2011.<M17-11-1887>
National Diet Library
  • Title Heading...cience ; 6520. Lecture notes in computer science. State-of-the-art survey. LNCS sublibrary. SL 3, Inform...

Grid resource management : on-demand provisioning, advance reservation, and capacity planning of grid resources / Mumtaz Siddiqui, Thomas Fahringer. (Lecture notes in computer science ; 5951 ; State-of-the-art survey)

Grid resource management : on-demand provisioning, advance reservation, and capacity planning of grid resources / Mumtaz Siddiqui, Thomas Fahringer. (Lecture notes in computer science ; 5951 ; State-of-the-art survey)
Paper図書
Springerc2010.<X>
National Diet Library
  • Title HeadingLecture notes in computer science. State-of-the-art survey. LNCS sublibrary. SL 1 Theoret...

Agents for games and simulations 2 : trends in techniques, concepts and design. : AGS 2010 : 2nd international workshop on agents for games and simulations : May 2010, Toronto, Canada. (Lecture Notes in Computer Science ; 6525. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)

Agents for games and simulations 2 : trends in techniques, concepts and design. : AGS 2010 : 2nd international workshop on agents for games and simulations : May 2010, Toronto, Canada. (Lecture Notes in Computer Science ; 6525. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)
Paper図書
Springerc2011.<M17-11-1886>
National Diet Library
  • Title Heading...cience ; 6525. Lecture notes in computer science. State-of-the-art survey. Lecture notes in computer sci...

Architecting dependable systems 7. : workshop on architecting dependable systems (WADS) : 2009 international conference on dependable systems and networks (DSN 2009) : 2009, ------. (Lecture Notes in Computer Science ; 6420. State-of-the-Art Survey)

Architecting dependable systems 7. : workshop on architecting dependable systems (WADS) : 2009 international conference on dependable systems and networks (DSN 2009) : 2009, ------. (Lecture Notes in Computer Science ; 6420. State-of-the-Art Survey)
Paper図書
Springerc2010.<M17-11-1883>
National Diet Library
  • Title Heading...e engineering. Lecture notes in computer science. State-of-the-art survey.

Semantics in data and knowledge bases : 4th international workshop : SDKB 2010 : Bordeaux, France, July 5, 2010 : revised selected papers : Jul 2010, Bordeaux, France. (Lecture Notes in Computer Science ; 6834. State-of-the-Art Survey)

Semantics in data and knowledge bases : 4th international workshop : SDKB 2010 : Bordeaux, France, July 5, 2010 : revised selected papers : Jul 2010, Bordeaux, France. (Lecture Notes in Computer Science ; 6834. State-of-the-Art Survey)
Paper図書
Springerc2011.<M17-12-1134>
National Diet Library
  • Title Heading.../Web, and HCI. Lecture notes in computer science. State-of-the-art survey.

Formal to practical security : papers issued from the 2005-2008 French-Japanese collaboration. : French-Japanese computer security workshops : Franco-Japanese collaboration on computer security : ------. (Lecture Notes in Computer Science ; 5458. State-of-the-Art Survey)

Formal to practical security : papers issued from the 2005-2008 French-Japanese collaboration. : French-Japanese computer security workshops : Franco-Japanese collaboration on computer security : ------. (Lecture Notes in Computer Science ; 5458. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-10-428>
National Diet Library
  • Title Heading...cience ; 5458. Lecture notes in computer science. State-of-the-art survey.