Information about http://www.jaist.ac.jp/library/english/news/syllabus/IS08-1-2.pdf
2008 Term 2 (Jun. 6- Jul. 31) …
Tags: addison wesley, algorithms in c, books corner, brian w kernighan, call number, editor publisher, education classes, erik eriksson, introduction to programming using sml, introduction to statistics, michael r hansen, pearson education, publisher note, rob pike, sedgewick, standard ml, technical presentations, text books, text reference, uml toolkit,Pages: 1
Language: english
Created: Thu Jun 19 16:51:44 2008
Display cached document
Page 1
2008 Term 2 (Jun. 6- Jul. 31) Reference Books ListComputer Science
Code Text/Reference Call Number Book Title Author/Editor Publisher Note
1 I117 Ref. C41 / K / The Practice of Programming Brian W. Kernighan, Rob Pike Addison-Wesley
2 I117 Ref. C42.1/ S / Algorithms in C (3rd ed) R. Sedgewick Addison-Wesley
3 119 Text 412.5/ T / Introduction to Statistics (in Japanese) ( in-library use onlyCheck on 2nd floor
Check the text books corner of common
4 I124 Text 809.4/ Z / Pocket Guide to Technical Presentations and Professional Speaking S. Zwickel and W. Pfeiffer Pearson Education
classes
5 217 Ref. C41.3/ H / Introduction to programming using SML Michael R. Hansen and Hans RischeAddison Wesley
6 217 Ref. C41.3/ O / Introducing programming language Standard ML (in Japanese) Standard ML
7 I219 Text C42.3/ E / UML Toolkit Hans-Erik Eriksson and Magnus PenWiley in-library use onlyCheck on 2nd floor
8 I219 Ref. C42.3/ B / The unified modeling language user guide (2nd ed) Grady Booch, James Rumbaugh, IvaAddison-Wesley
9 I219 Ref. C42.3/ R / The unified modeling language reference manual (2nd ed) James Rumbaugh, Ivar Jacobson, GAddison-Wesley
10 I219 Ref. C45.2/ D / Design patterns : elements of reusable object-oriented software Erich Gamma ... [et al.] Addison-Wesley
11 I223 Text C45.1/ I / 15 Shizen Gengo Shori (in Japanese)
12 I223 Ref. C52.1/ A / Natural language understanding (2nd ed) James Allen Benjamin/Cummings
13 I223 Ref. C52.1/To27/ Shizen Gengo Shori Nyumon (in Japanese)
14 I223 Ref. C52.1/ S / Shizen Gengo Shori : Kiso to Oyo (in Japanese) :
15 I225 Ref. 411.1/ P / Probability, random variables, and stochastic processes (3rd ed) A. Papoulis McGraw-Hill
16 I225 Ref. C53.1/ K / Fundamentals of Statistical Signal Processing Steven M. Kay PTR Prentice-Hall
17 I232 Ref. C21.1/ C / Elements of information theory (2nd ed) Thomas Covers and Joy Thomas Wiley
18 234 Ref. C45.1/ I / 5 Programming Language Processors (in Japanese) ,
19 234 Ref. 42.2// Compiler Construction and Optimization (in Japanese)
20 234 Ref. 42.2/ W/ Compiler Design Reinhard Wilhelm Addison-Wesley
21 234 Ref. 44.2// Advanced Compiler Design and Implementation Steven Muchnick Morgan Kaufmann
22 234 Ref. C44 / C / System software programming : the way things work David L. Clarke, Donald Merusi Prentice Hall
23 I411 Ref. C53.3/ D / Pattern Classification (2nd ed.) R. O. Duda, P. E. Hart and D. G. StoWiley
24 I411 Ref. C53.3/ D / (in Japanese)
25 I411 Ref. C53.3/ W / (in Japanese)
26 I411 Ref. C53.3/ T / (in Japanese)
27 I411 Ref. 412.5/Ta19/ ()(in Japanese)
28 I433 Text 412.3/Mo45/ Programming for numerical computing (in Japanese) FORTRAN77 () in-library use onlyCheck on 2nd floor
29 I433 Ref. 412.3/ I / Common sense on numerical computing(in Japanese)
30 I433 Ref. M00 / A / 7 Numerical Analysis (in Japanese)
31 I433 Ref. C42.4/ G / Scientific Computing An Introduction with Parallel Computing Gene Golub and James M. Ortega Academic Press
32 I438 Ref. 412.4/ H / Combinatorics and Graph Theory J. M. Harris, J. L. Hirst, M. J. MossinSpringer
33 I438 Ref. 412.4/ D / Graph theory (3rd ed) R. Diestel Springer
34 I441 Ref. C33.1/ S / The Protocols (TCP/IP Illustrated, Volume 1) W. R. Stevens Addison-Wesley
35 I441 Ref. C33.1/ T / Computer networks (3rd edition) A. S. Tanenbaum Prentice Hall PTR
36 I443 Ref. C54.2/ H / The Spin Model Checker Primer and Reference Manual G.J.Holzmann Addison-Wesley
37 I443 Ref. C23.1/ M / Mathematical theory of computation Zohar Manna Dover Publications
38 I443 Ref. C42 / D / A Discipline of Programming E.W.Dijkstra Prentice-Hall
39 I443 Ref. C45.3/ B / Software testing techniques Boris Beizer Van Nostrand Reinhold in-library use only / Out of Print
40 I640 Ref. C45.2/ C / Model checking Edmund M. Clarke, Jr., Orna Grumb MIT Press
41 I640 Ref. C22.7/H29 / 2 Formal models and semanticsHandbook of theoretical computer science Vol.B) edited by Jan van Leeuwen MIT Press
Check the text books corner of common
42 O34 Text 836.5/ O / Introduction to Academic Writing A.Oshima and A.Hogue Longman
classes
Check the text books corner of common
43 O51 Text 407 / N / (in Japanese) ,
classes
Check the text books corner of common
44 O51 Text 407 / T / (in Japanese)
classesin-library use only
45 O51 Ref. R816 / G / (in Japanese) Check on 2nd floor, in-library use only
46 O51 Ref. R813 / S / (in Japanese) , , , Check on 2nd floor, in-library use only
Nano Material Technology Course
Code Text/Reference Call Number Book Title Author/Editor Publisher Note
Check the text books corner of Materials
1 N006 Ref. M15 / M / (in Japanese)
Science
Check the text books corner of Materials
2 N006 Ref. M75 / N / Nonlinear Optical Effects and Materials P. Guenter (ed.) Springer
Science
Check the text books corner of Materials
3 N006 Ref. M40.1/ K / (in Japanese)
Science
Check the text books corner of Materials
4 N006 Ref. M40.6/ T / EL (in Japanese)
Science
Check the text books corner of Materials
5 N006 Ref. M76 / Y / EL (in Japanese)
Science
2008/6/19