Jump to main content

yr 〜
yr

Search results 102

SOSP'11 : proceedings of the twenty-third ACM symposium on operating systems principles : October 23-26, 2011 : Cascais, Portugal : SOSP 2011 : Oct 2011, Cascais, Portugal.

SOSP'11 : proceedings of the twenty-third ACM symposium on operating systems principles : October 23-26, 2011 : Cascais, Portugal : SOSP 2011 : Oct 2011, Cascais, Portugal.
Paper図書
Association for Computing Machineryc2011.<M17-13-851>
National Diet Library

ASPLOS XXIII : twenty-third international conference on architectural support for programming languages and operating systems : March 24-28, 2018 : Williamsburg, VA, USA : Mar 2018, Williamsburg, VA.

ASPLOS XXIII : twenty-third international conference on architectural support for programming languages and operating systems : March 24-28, 2018 : Williamsburg, VA, USA : Mar 2018, Williamsburg, VA.
Paper図書
The Association for Computing Machinery[2018]<M17-20-241>
National Diet Library

22nd ACM SIGOPS symposium on operating systems principles 2009 : (SOSP 09) : Big Sky, Montana, USA : 11-14 October 2009. : 22nd ACM symposium on operating systems principles-SOSP'09 : Oct 2009, Big Sky, MT.

22nd ACM SIGOPS symposium on operating systems principles 2009 : (SOSP 09) : Big Sky, Montana, USA : 11-14 October 2009. : 22nd ACM symposium on operating systems principles-SOSP'09 : Oct 2009, Big Sky, MT.
Paper図書
Association for Computing Machineryc2009.<M17-10-2446>
National Diet Library
  • Subject HeadingOperating systems (Computers) -- Congresses.

2011 10th international symposium on programming and systems : (ISPS 2011) : Algiers, Algeria : 25-27 April 2011 : Apr 2011, Algiers, Algeria.

2011 10th international symposium on programming and systems : (ISPS 2011) : Algiers, Algeria : 25-27 April 2011 : Apr 2011, Algiers, Algeria.
Paper図書
IEEEc2011.<M17-12-1829>
National Diet Library

ASPLOS XIX : nineteenth international conference on architectural support for programming languages and operating systems : March 1-5, 2014 : Salt Lake City, Utah, USA : 2014 ACM international conference on architectural support for programming languages and operating systems : ASPLOS-19 : Mar 2014, Salt Lake City, UT.

ASPLOS XIX : nineteenth international conference on architectural support for programming languages and operating systems : March 1-5, 2014 : Salt Lake City, Utah, USA : 2014 ACM international conference on architectural support for programming languages and operating systems : ASPLOS-19 : Mar 2014, Salt Lake City, UT.
Paper図書
The Association for Computing Machinery[2014]<M17-14-3276>
National Diet Library

ASPLOS XXII : twenty-second international conference on architectural support for programming languages and operating systems : April 8-12, 2017 : Xi'an, China : Apr 2017, Xi'an, China.

ASPLOS XXII : twenty-second international conference on architectural support for programming languages and operating systems : April 8-12, 2017 : Xi'an, China : Apr 2017, Xi'an, China.
Paper図書
The Association for Computing Machinery[2017]<M17-19-623>
National Diet Library

2010 IEEE conference on open systems : (ICOS 2010) : Kuala Lumpur, Malaysia : 5-7 December 2010. : IEEE international conference on open systems : Dec 2010, Kuala Lumpur, Malaysia.

2010 IEEE conference on open systems : (ICOS 2010) : Kuala Lumpur, Malaysia : 5-7 December 2010. : IEEE international conference on open systems : Dec 2010, Kuala Lumpur, Malaysia.
Paper図書
IEEEc2010.<M17-11-3286>
National Diet Library
  • Subject HeadingOperating systems (Computers) -- Congresses. Computer networks -- Congres...

Biomimetic and biohybrid systems : 8th international conference, living machines 2019 : Nara, Japan, July 9-12, 2019 : proceedings : "closing Vico's loop: addressing challenges in science and society with living machines" workshop : "bioprinting" workshop : LM 2019 : Jul 2019, Nara, Japan. (Lecture Notes in Computer Science ; 11556. Lecture Notes in Artificial Intelligence)

Biomimetic and biohybrid systems : 8th international conference, living machines 2019 : Nara, Japan, July 9-12, 2019 : proceedings : "closing Vico's loop: addressing challenges in science and society with living machines" workshop : "bioprinting" workshop : LM 2019 : Jul 2019, Nara, Japan. (Lecture Notes in Computer Science ; 11556. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2019]<M17-21-313>
National Diet Library

ASPLOS XXI : twenty-first international conference on architectural support for programming languages and operating systems : April 2-6, 2016 : Atlanta, Georgia, USA : 21st meeting of the ASPLOS conference : Apr 2016, Atlanta, GA.

ASPLOS XXI : twenty-first international conference on architectural support for programming languages and operating systems : April 2-6, 2016 : Atlanta, Georgia, USA : 21st meeting of the ASPLOS conference : Apr 2016, Atlanta, GA.
Paper図書
The Association for Computing Machinery[2016]<M17-17-2234>
National Diet Library

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)
Paper図書
Springerc2013.<M17-13-3340>
National Diet Library

21st ACM symposium on operating systems principles : SOSP '07 : October 14-17, 2007 : Stevenson, Washington, USA. : SOSP conference : Oct 2007, Stevenson, WA.

21st ACM symposium on operating systems principles : SOSP '07 : October 14-17, 2007 : Stevenson, Washington, USA. : SOSP conference : Oct 2007, Stevenson, WA.
Paper図書
Association for Computing Machineryc2007.<M17-09-1323>
National Diet Library
  • Subject HeadingOperating systems (Computers) -- Congresses.

ASPLOS 17 : seventeenth international conference on architectural support for programming languages and operating systems : March 3-7, 2012 : London, England, UK : Mar 2012, London, UK.

ASPLOS 17 : seventeenth international conference on architectural support for programming languages and operating systems : March 3-7, 2012 : London, England, UK : Mar 2012, London, UK.
Paper図書
ACMc2012.<M17-13-872>
National Diet Library

ASPLOS XX : twentieth international conference on architectural support for programming languages and operating systems : March 14-18, 2015 : Istanbul, Turkey : ASPLOS-20 : Mar 2015, Istanbul, Turkey.

ASPLOS XX : twentieth international conference on architectural support for programming languages and operating systems : March 14-18, 2015 : Istanbul, Turkey : ASPLOS-20 : Mar 2015, Istanbul, Turkey.
Paper図書
The Association for Computing Machinery[2015]<M17-16-62>
National Diet Library

5th workshop on programming languages and operating systems 2009 : (PLOS 2009) : Big Sky, Montana, USA : 11 October 2009. : Oct 2009, Big Sky, MT.

5th workshop on programming languages and operating systems 2009 : (PLOS 2009) : Big Sky, Montana, USA : 11 October 2009. : Oct 2009, Big Sky, MT.
Paper図書
Association for Computing Machineryc2009.<M17-10-3287>
National Diet Library
  • Subject Heading...-- Congresses. Operating systems (Computers) -- Congresses.

ASPLOS 16 : sixteenth international conference on architectural support for programming languages and operating systems : March 5-11, 2011 : Newport Beach, CA, USA : Mar 2011, Newport Beach, CA.

ASPLOS 16 : sixteenth international conference on architectural support for programming languages and operating systems : March 5-11, 2011 : Newport Beach, CA, USA : Mar 2011, Newport Beach, CA.
Paper図書
ACMc2011.<M17-13-871>
National Diet Library

20th ACM symposium on operating systems principles 2005 : October 23-26, 2005 : Brighton, England, UK. : SOSP'05 : Oct 2005, Brighton, UK.

20th ACM symposium on operating systems principles 2005 : October 23-26, 2005 : Brighton, England, UK. : SOSP'05 : Oct 2005, Brighton, UK.
Paper図書
ACMc2005.<M17-07-2076>
National Diet Library
  • Subject HeadingOperating systems (Computers) -- Congresses.

Principles of distributed systems : 14th international conference, OPODIS 2010 : Tozeur, Tunisia, December 14-17, 2010 : proceedings. : Dec 2010, Tozeur, Tunisia. (Lecture Notes in Computer Science ; 6490)

Principles of distributed systems : 14th international conference, OPODIS 2010 : Tozeur, Tunisia, December 14-17, 2010 : proceedings. : Dec 2010, Tozeur, Tunisia. (Lecture Notes in Computer Science ; 6490)
Paper図書
Springerc2010.<M17-11-2113>
National Diet Library
  • Subject Heading...s. Distributed operating systems (Computers) -- Congresses.

2nd European conference on computer systems 2007 : (EUROSYS 2007) : Lisboa, Portugal : 21-23 March 2007. : Mar 2007, Lisboa, Portugal.

2nd European conference on computer systems 2007 : (EUROSYS 2007) : Lisboa, Portugal : 21-23 March 2007. : Mar 2007, Lisboa, Portugal.
Paper図書
Association for Computing Machineryc2007.<M17-10-1346>
National Diet Library
  • Subject HeadingComputer systems -- Congresses. Operating systems (Computers) -- Congresses.

Stabilization, safety, and security of distributed systems : 21st international symposium, SSS 2019 : Pisa, Italy, October 22-25, 2019 : proceedings : Oct 2019, Pisa, Italy. (Lecture Notes in Computer Science ; 11914)

Stabilization, safety, and security of distributed systems : 21st international symposium, SSS 2019 : Pisa, Italy, October 22-25, 2019 : proceedings : Oct 2019, Pisa, Italy. (Lecture Notes in Computer Science ; 11914)
Paper図書
Springer[2019]<M17-21-704>
National Diet Library

Principles of distributed systems : 13th international conference, OPODIS 2009 : Nimes, France, December 15-18, 2009 : proceedings. : Dec 2009, Nimes, France. (Lecture Notes in Computer Science ; 5923)

Principles of distributed systems : 13th international conference, OPODIS 2009 : Nimes, France, December 15-18, 2009 : proceedings. : Dec 2009, Nimes, France. (Lecture Notes in Computer Science ; 5923)
Paper図書
Springerc2009.<M17-10-2380>
National Diet Library
  • Subject Heading...s. Distributed operating systems (Computers) -- Congresses.
RSS