本文に飛ぶ

年 〜
年

検索結果 125 件

2016 50th Asilomar conference on signals, systems and computers : Pacific Grove, California, USA : 6-9 November 2016 : Nov 2016, Pacific Grove, CA.

2016 50th Asilomar conference on signals, systems and computers : Pacific Grove, California, USA : 6-9 November 2016 : Nov 2016, Pacific Grove, CA.
紙図書
IEEE[2016]<M17-19-233>
国立国会図書館

2015 49th Asilomar conference on signals, systems and computers : Pacific Grove, California, USA : 8-11 November 2015 : Nov 2015, Pacific Grove, CA.

2015 49th Asilomar conference on signals, systems and computers : Pacific Grove, California, USA : 8-11 November 2015 : Nov 2015, Pacific Grove, CA.
紙図書
IEEE[2015]<M17-17-1756>
国立国会図書館

STOC'09 : proceedings of the 2009 ACM international symposium on theory of computing : Bethesda, Maryland, USA : May 31-June 2, 2009. : 41st annual ACM symposium on theory of computing : STOC 2009 conference : May 2009, Bethesda, MD.

STOC'09 : proceedings of the 2009 ACM international symposium on theory of computing : Bethesda, Maryland, USA : May 31-June 2, 2009. : 41st annual ACM symposium on theory of computing : STOC 2009 conference : May 2009, Bethesda, MD.
紙図書
Association for Computing Machineryc2009.<M17-10-923>
国立国会図書館
  • 件名Electronic digital computers -- Congresses. Electronic data processing --...

2004 international conference on dependable systems and networks : 28 June-1 July 2004 : Florence, Italy. : dependable computing and communications symposium (DCCS) : performance and dependability symposium (PDS) : DSN-PDS 2004 : Jun 2004, Florence, Italy.

2004 international conference on dependable systems and networks : 28 June-1 July 2004 : Florence, Italy. : dependable computing and communications symposium (DCCS) : performance and dependability symposium (PDS) : DSN-PDS 2004 : Jun 2004, Florence, Italy.
紙図書
IEEE Computer Society Pressc2004.<M17-05-1443>
国立国会図書館
  • 件名...-- Congresses. Electronic digital computers -- Congresses. Computer networks -- Reliabil...

Conference record of the thirty-seventh asilomar conference on signals, systems & computers : November 9-12, 2003 Pacific Grove, California. : Nov 2003, Pacific Grove, CA.

Conference record of the thirty-seventh asilomar conference on signals, systems & computers : November 9-12, 2003 Pacific Grove, California. : Nov 2003, Pacific Grove, CA.
紙図書
IEEEc2003.<M17-06-3109>
国立国会図書館
  • 件名...-- Congresses. Electronic digital computers -- Congresses.

2003 international conference on dependable systems and networks : proceedings : 22-25 June, 2003 : San Francisco, California. : DSN 2003 : dependable computing and communications symposium (DCC) : international performance and dependability symposium (IPDS) : Jun 2003, San Francisco, CA.

2003 international conference on dependable systems and networks : proceedings : 22-25 June, 2003 : San Francisco, California. : DSN 2003 : dependable computing and communications symposium (DCC) : international performance and dependability symposium (IPDS) : Jun 2003, San Francisco, CA.
紙図書
IEEE Computer Societyc2003.<M17-04-234>
国立国会図書館
  • 件名...-- Congresses. Electronic digital computers -- Congresses. Computer networks -- Reliabil...

Conference record of the thirty-sixth asilomar conference on signals, systems & computers : November 3-6, 2002 : Pacific Grove, California. : Nov 2002, Pacific Grove, CA. (Signals, Systems and Computers)

Conference record of the thirty-sixth asilomar conference on signals, systems & computers : November 3-6, 2002 : Pacific Grove, California. : Nov 2002, Pacific Grove, CA. (Signals, Systems and Computers)
紙図書
IEEEc2002.<M17-03-1808>
国立国会図書館
  • 件名...-- Congresses. Electronic digital computers -- Congresses.

International conference on dependable systems and networks : 23-26 June 2002 : Washington, D.C., USA : proceedings. : Jun 2002, Washington, D.C.

International conference on dependable systems and networks : 23-26 June 2002 : Washington, D.C., USA : proceedings. : Jun 2002, Washington, D.C.
紙図書
IEEE Computer Societyc2002.<M17-03-4465>
国立国会図書館
  • 件名...-- Congresses. Electronic digital computers -- Congresses. Computer networks -- Reliabil...

Conference record of the thirty-fifth asilomar conference on signals, systems & computers : November 4-7, 2001 Pacific Grove, California. Nov 2001, Pacific Grove, CA. (Signals, Systems and Computers)

Conference record of the thirty-fifth asilomar conference on signals, systems & computers : November 4-7, 2001 Pacific Grove, California. Nov 2001, Pacific Grove, CA. (Signals, Systems and Computers)
マイクロ図書
IEEEc2001.<M17-LS-03-81>
国立国会図書館
  • 件名...-- Congresses. Electronic digital computers -- Congresses.

STOC'15 : proceedings of the 2015 ACM Symposium on Theory of Computing

STOC'15 : proceedings of the 2015 ACM Symposium on Theory of Computing
紙図書
sponsored by ACM SIGACT ; supported by IBM Research & Microsoft ResearchAssociation for Computing Machineryc2015
全国の図書館

Theory of computing and systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992, proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.). (Lecture notes in computer science)

Theory of computing and systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992, proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1992.<M15-A8143>
国立国会図書館
  • 件名Electronic data processing -- Congresses. Electronic digital computers -- Congresses.

STOC '13 : proceedings of the ACM Symposium on Theory of Computing Conference : June 1-4, 2013, Palo Alto, CA, USA [CD-ROM ed]

STOC '13 : proceedings of the ACM Symposium on Theory of Computing Conference : June 1-4, 2013, Palo Alto, CA, USA [CD-ROM ed]
紙図書
sponsored by ACM SIGACT ; supported by Google ... [et al.]Association for Computing Machinery[c2013]
全国の図書館

STOC '12 : proceedings of the ACM Symposium on Theory of Computing Conference : May 19-22, 2012, New York, NY, USA [CD-ROM ed]

STOC '12 : proceedings of the ACM Symposium on Theory of Computing Conference : May 19-22, 2012, New York, NY, USA [CD-ROM ed]
紙図書
sponsored by ACM SIGACT ; supported by Microsoft ... [et al.]Association for Computing Machinery[c2012]
全国の図書館

STOC '11 : proceedings of the 43rd ACM Symposium on Theory of Computing

STOC '11 : proceedings of the 43rd ACM Symposium on Theory of Computing
紙図書
sponsored by ACM SIGACT ; supported by Microsoft Research ... [et al.]Association for Computing Machineryc2011
全国の図書館

Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings / H. Boral, P. Faudemay (eds.). (Lecture notes in computer science)

Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings / H. Boral, P. Faudemay (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1989.<M15-A5003>
国立国会図書館
  • 件名Data base management -- Congresses. Electronic digital computers -- Congresses.

STOC '10 : proceedings of the 2010 ACM International Symposium on Theory of Computing

STOC '10 : proceedings of the 2010 ACM International Symposium on Theory of Computing
紙図書
sponsored by ACM SIGACT ; supported by Microsoft Research ... [et al.]Association for Computing Machineryc2010
全国の図書館

STOC'08 : proceedings of the 2008 ACM International Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008

STOC'08 : proceedings of the 2008 ACM International Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008
紙図書
sponsored by ACM SIGACT ; additional support from Microsoft Research ... [et al.]Association for Computing Machineryc2008
全国の図書館

Database machines : fourth international workshop, Grand Bahama Island, March 1985 / edited by D.J. DeWitt, H. Boral.

Database machines : fourth international workshop, Grand Bahama Island, March 1985 / edited by D.J. DeWitt, H. Boral.
紙図書
Springer-Verlagc1985.<M15-A4929>
国立国会図書館
  • 件名Data base management -- Congresses. Electronic digital computers -- Congresses.

Messung, Modellierung und Bewertung von Rechensystemen : GI-NTG Fachtagaung, Jülich, 23.-25. Februar 1981 / hrsg. von B. Mertens. (Informatik-Fachberichte ; 41)

Messung, Modellierung und Bewertung von Rechensystemen : GI-NTG Fachtagaung, Jülich, 23.-25. Februar 1981 / hrsg. von B. Mertens. (Informatik-Fachberichte ; 41)
紙図書
Springer1981.<M151-74>
国立国会図書館
  • 件名Electronic digital computers -- Congresses.

2005 39th Asilomar Conference on Signals, Systems and Computers : Pacific Grove, CA, 30 October-2 November 2005 : set

2005 39th Asilomar Conference on Signals, Systems and Computers : Pacific Grove, CA, 30 October-2 November 2005 : set
紙図書
IEEEIEEEc2005
全国の図書館
RSS