1.

図書
図書
1. 2011 IEEE 52nd annual symposium on foundations of computer science : (FOCS 2011) : Palm Springs, California, USA 22-25 October 2011
editors, Rafail Ostrovsky
出版情報: Piscataway, NJ : IEEE, c2011
所蔵情報: loading…
2.

図書
図書
2. Physically based simulation on GPU : theoretical background and implementation details for building a particle based physics simulation using programmable graphics hardware
Benjamin Rauscher
出版情報: Saarbrücken : VDM Verlag Dr. Müller, c2008
所蔵情報: loading…
3.

図書
図書
3. Advances computer arithmetic design
Michael J. Flynn, Stuart F. Oberman
出版情報: New York : Wiley, c2001
所蔵情報: loading…
4.

図書
図書
4. Learning Pentaho CTools : acquire finesse with CTools features and build rich and custom analytics solutions using Pentaho
Miguel Gaspar
出版情報: Birmingham : Packt Publishing, 2016
シリーズ名: Packt open source
所蔵情報: loading…
5.

図書
図書
5. Understand mathematics, understand computing : discrete mathematics that all computing students should know
Arnold L. Rosenberg, Denis Trystram
出版情報: Cham : Springer, c2020
所蔵情報: loading…
6.

図書
図書
6. Process algebra with timing
J.C.M. Baeten, C.A. Middelburg
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
7.

図書
図書
7. A theory of distributed objects : asynchrony, mobility, groups, components
Denis Caromel, Ludovic Henrio
出版情報: Berlin : Springer-Verlag Berlin Heidelberg, c2005
所蔵情報: loading…
8.

図書
図書
8. Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 Grenoble, France, September 22-24, 2004 : proceedings
Yassine Lakhnech, Sergio Yovine (eds.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3253
所蔵情報: loading…