yr 〜
yr

Search results 7

Fundamental proof methods in computer science : a computer-based approach

Fundamental proof methods in computer science : a computer-based approach
Paper図書
Konstantine Arkoudas and David MusserMIT Pressc2017
Other Libraries in Japan
  • Author HeadingArkoudas, Konstantine Musser, David R.

STL標準テンプレートライブラリによるC++プログラミング 第2版

STL標準テンプレートライブラリによるC++プログラミング 第2版
Paper図書
ディビッド・R.マッサー, ギルマー・J.ダージ, アトゥル・サイニ 著, 滝沢徹, 牧野祐子 訳ピアソン・エデュケーション2001.11<M159-G4255>
National Diet LibraryOther Libraries in Japan

STL : 標準テンプレートライブラリによるC++プログラミング (Higher education computer series ; 24)

STL : 標準テンプレートライブラリによるC++プログラミング (Higher education computer series ; 24)
Paper図書
デービッド・R.マッサー, アトゥル・サイニ 著, 滝沢徹, 牧野祐子 訳アジソン・ウェスレイ・パブリッシャーズ・ジャパン1997.7<M159-G1477>
National Diet LibraryOther Libraries in Japan

STL tutorial and reference guide : C++ programmng with the standard template library 2nd ed

STL tutorial and reference guide : C++ programmng with the standard template library 2nd ed
Paper図書
David R. Musser, Gillmer J. Derge, Atul Saini ; [foreword by Alexander Stepanov]Addison-Wesleyc2001
Other Libraries in Japan
  • Author HeadingMusser, David R. Derge, Gillmer J. Atul, Saini

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers
Paper図書
Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Seminar on Generic Programming Jazayeri, Mehdi Loos, R. (Rüdiger) Musser, David R.

STL tutorial and reference guide : C++ programming with the standard template library : alk. paper

STL tutorial and reference guide : C++ programming with the standard template library : alk. paper
Paper図書
David R. Musser, Atul Saini ; foreword by Alexander StepanovAddison-Wesley Pub.c1996
Other Libraries in Japan
  • Author HeadingMusser, David R. Atul, Saini

The Ada generic library : linear list processing packages

The Ada generic library : linear list processing packages
Paper図書
David R. Musser, Alexander A. StepanovSpringer-Verlagc1989
Other Libraries in Japan
  • Author HeadingMusser, David R. Stepanov, Alexander A.

Reached to the end of result.