Jump to main content

yr 〜
yr

Search results 8

Computer performance engineering : 12th European workshop, EPEW 2015 : Madrid, Spain, August 31-September 1, 2015 : proceedings : Aug 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9272)

Computer performance engineering : 12th European workshop, EPEW 2015 : Madrid, Spain, August 31-September 1, 2015 : proceedings : Aug 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9272)
Paper図書
Springer[2015]<M17-16-600>
National Diet Library
  • DDC004.2/4

Computer performance engineering : 9th European workshop, EPEW 2012 : Munich, Germany, July 30, 2012, and 28th UK workshop, UKPEW 2012 : Edinburgh, UK, July 2, 2012 : revised selected papers : Jul 2012, Munich, Germany. (Lecture Notes in Computer Science ; 7587)

Computer performance engineering : 9th European workshop, EPEW 2012 : Munich, Germany, July 30, 2012, and 28th UK workshop, UKPEW 2012 : Edinburgh, UK, July 2, 2012 : revised selected papers : Jul 2012, Munich, Germany. (Lecture Notes in Computer Science ; 7587)
Paper図書
Springerc2013.<M17-13-2092>
National Diet Library
  • DDC004.2/4

Principles of model checking / Christel Baier, Joost-Pieter Katoen.

Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Paper図書
The MIT Press[2008?]<M159-B76>
National Diet Library
  • DDC004.2/4

ISPASS 2006 : IEEE international symposium on performance analysis of systems and software : March 19-21, 2006 : Austin, TX, USA. : 6th annual presentation of ISPASS : Mar 2006, Austin, TX.

ISPASS 2006 : IEEE international symposium on performance analysis of systems and software : March 19-21, 2006 : Austin, TX, USA. : 6th annual presentation of ISPASS : Mar 2006, Austin, TX.
Paper図書
IEEEc2006.<M17-06-2426>
National Diet Library
  • DDC004.2/4

2003 IEEE international symposium on performance analysis of systems and software : ISPASS : March 6-8, 2003 : Austin, Texas. : Mar 2003, Austin, TX.

2003 IEEE international symposium on performance analysis of systems and software : ISPASS : March 6-8, 2003 : Austin, Texas. : Mar 2003, Austin, TX.
Paper図書
IEEEc2003.<M17-04-1207>
National Diet Library
  • DDC004.2/4

Computer performance evaluation : modelling techniques and tools : 12th international conference, TOOLS 2002 : London, UK, April 14-17, 2002 : proceedings. : Apr 2002, London, UK. (Lecture Notes in Computer Science ; 2324)

Computer performance evaluation : modelling techniques and tools : 12th international conference, TOOLS 2002 : London, UK, April 14-17, 2002 : proceedings. : Apr 2002, London, UK. (Lecture Notes in Computer Science ; 2324)
Paper図書
Springer2002.<M17-03-4218>
National Diet Library
  • DDC004.2/4

Job scheduling strategies for parallel processing : 7th international workshop, JSSPP 2001 : Cambridge, MA, USA, June 16, 2001 : revised papers. : Jun 2001, Cambridge, MA. (Lecture Notes in Computer Science ; 2221)

Job scheduling strategies for parallel processing : 7th international workshop, JSSPP 2001 : Cambridge, MA, USA, June 16, 2001 : revised papers. : Jun 2001, Cambridge, MA. (Lecture Notes in Computer Science ; 2221)
Paper図書
Springerc2001.<M17-03-2404>
National Diet Library
  • DDC004.2/4

Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings / Heinz Beilner, Falko Bause (eds.). (Lecture notes in computer science)

Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings / Heinz Beilner, Falko Bause (eds.). (Lecture notes in computer science)
Paper図書
Springerc1995.<M15-A9863>
National Diet Library
  • DDC004.2/4

Reached to the end of result.

RSS