1.

図書
図書
1. Extending and modifying LAMMPS : writing your own source code : a pragmatic guide to extending LAMMPS as per custom simulation requirements
Shafat Mubin, Jichen Li
出版情報: Birmingham : Packt Publishing, 2021
所蔵情報: loading…
2.

図書
図書
2. Effective Python : 90 specific ways to write better Python. 2nd ed
Brett Slatkin
出版情報: [S.I.] : Addison-Wesley, c2020
シリーズ名: Effective software development series / consulting editor Scott Meyers
所蔵情報: loading…
3.

図書
図書
3. Learning the pandas library : Python tools for data munging, analysis, and visualization (: [pbk.])
Matt Harrison ; technical editor, Michael Prentiss
出版情報: [S.l.] : Hairysun.com, c2016
シリーズ名: Treading on Python series
所蔵情報: loading…
4.

図書
図書
4. Optimization by GRASP : greedy randomized adaptive search procedures
Mauricio G.C. Resende, Celso C. Ribeiro
出版情報: New York : Springer, c2016
所蔵情報: loading…
5.

図書
図書
5. Effective Python : 59 specific ways to write better Python (: pbk)
Brett Slatkin
出版情報: Upper Saddle River, N.J. ; Tokyo : Addison-Wesley, c2015
シリーズ名: Effective software development series / consulting editor Scott Meyers
所蔵情報: loading…
6.

図書
図書
6. The C++ programming language. 4th ed.
Bjarne Stroustrup
出版情報: Upper Saddle River, N.J. ; Tokyo : Pearson Addison-Wesley, c2013
所蔵情報: loading…
7.

図書
図書
7. The Algorithm Design Manual. 2nd ed
Steven S. Skiena
出版情報: [Guildford] : Springer London, c2010
所蔵情報: loading…
8.

図書
図書
8. Time-dependent scheduling
Stanislaw Gawiejnowicz
出版情報: Berlin : Springer, c2008
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
9.

図書
図書
9. Introduction to combinatorial algorithms and boolean functions
Donald E. Knuth
出版情報: Upper Saddle River, N.J. ; Tokyo : Addison-Wesley, c2008
シリーズ名: The art of computer programming ; v. 4, fasc. 0
所蔵情報: loading…
10.

図書
図書
10. Design recipes for FPGAs
Peter R. Wilson
出版情報: Amsterdam : Elsevier/Newnes, 2007
シリーズ名: Embedded technology series
所蔵情報: loading…
11.

図書
図書
11. Programming in Haskell (: hard ; : pbk)
Graham Hutton
出版情報: Cambridge : Cambridge University Press, 2007
所蔵情報: loading…
12.

図書
図書
12. Generating all trees : history of combinatorial generation
Donald E. Knuth
出版情報: Upper Saddle River, N.J. : Addison-Wesley, c2006
シリーズ名: The art of computer programming ; v. 4, fasc. 4
所蔵情報: loading…
13.

図書
図書
13. Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January 11-13, 2006, Charleston, South Carolina, USA
Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Algorithms and Computation Theory (SIGACT)
出版情報: New York, N.Y. : Association for Computing Machinery, c2006
所蔵情報: loading…
14.

図書
図書
14. Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January 12-14, 2005, Long Beach, California, USA
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2005
シリーズ名: SIGPLAN notices
所蔵情報: loading…
15.

図書
図書
15. The Haskell road to logic, maths and programming
Kees Doets, Jan van Eijck
出版情報: London : King's College, c2004
シリーズ名: Texts in computing ; 4
所蔵情報: loading…
16.

図書
図書
16. Conference record of POPL 2004 : the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Venice, Italy, January 14-16, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2004
所蔵情報: loading…
17.

図書
図書
17. Perl cookbook. 2nd ed.
Tom Christiansen and Nathan Torkington
出版情報: Beijing ; Sebastopol, Calif. : O'Relly, 2003
所蔵情報: loading…
18.

図書
図書
18. Conference record of POPL 2003 : the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, New Orleans, Louisiana, USA, January 15-17, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003
所蔵情報: loading…
19.

図書
図書
19. Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP '03), August 25-29, 2003, Uppsala, Sweden
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for Programming Languages and Systems & Cybertex
出版情報: New York, N.Y. : Association for Computing Machinery, c2003
所蔵情報: loading…
20.

図書
図書
20. Proceedings of the fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '03), Uppsala, Sweden,August 27-29, 2003
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003
所蔵情報: loading…
21.

図書
図書
21. Proceedings : International Conference on Dependable Systems and Networks, 23-26 June 2002, Washington, D.C., USA (: case)
sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing (TCFTC), IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance ; in cooperaion with DARPA, LAAS-CNRS, University of Michigan ; with support from DARPA ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: loading…
22.

図書
図書
22. Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, May 19-25, 2002, Orlando, Florida (: ACM)
sponsored by Association for Computing Machinery, ACM Sigsoft, IEEE Computer Society Technical Council on Software Engineering
出版情報: New York : ACM Press, c2002
所蔵情報: loading…
23.

図書
図書
23. Compression and coding algorithms
by Alistair Moffat and Andrew Turpin
出版情報: Boston : Kluwer Academic, c2002
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 669
所蔵情報: loading…
24.

図書
図書
24. Computer logic : design principles and applications
John Y. Hsu
出版情報: Tokyo : Springer, c2002 , New York : Springer, c2002
所蔵情報: loading…
25.

図書
図書
25. MPEG-4 facial animation : the standard, implementation and spplications
edited by Igor S. Pandzic and Robert Forchheimer
出版情報: Chichester : John Wiley & Sons, c2002
所蔵情報: loading…
26.

図書
図書
26. Schaum's outline of theory and problems of XML
Ed Tittel
出版情報: New York : McGraw-Hill, 2002
シリーズ名: Schaum's outline series
所蔵情報: loading…
27.

図書
図書
27. XML and Java : developing Web applications. 2nd ed
Hiroshi Maruyama ... [et al.]
出版情報: Boston : Addison-Wesley, c2002
所蔵情報: loading…
28.

図書
図書
28. Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Portland, Oregon, 16-18 January 2002
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002
所蔵情報: loading…
29.

図書
図書
29. OOPSLA 2002 : 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, conference proceedings, November 4-8, 2002, Washington State Convention and Trade Center, Seattle, Washington, USA
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : the Associaton for Computing Machinery, c2002
所蔵情報: loading…
30.

図書
図書
30. Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics
Juraj Hromkovic̆
出版情報: Berlin : Springer, c2001
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
31.

図書
図書
31. Programming with JAVA : based on Schaum's outline of programming with JAVA by John R. Hubbard
abridgement editor, Anthony Q. Baxter
出版情報: New York : McGraw-Hill, c2001
シリーズ名: Schaum's outline series ; Schaum's easy outlines
所蔵情報: loading…
32.

図書
図書
32. Conference record of POPL 2001 : the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, The Royal Society, London, 17-19 January 2001
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2001
所蔵情報: loading…
33.

図書
図書
33. Your wish is my command : programming by example
edited by Henry Lieberman
出版情報: San Francisco : Morgan Kaufmann Publishers, c2001
シリーズ名: The Morgan Kaufmann series in interactive technologies
所蔵情報: loading…
34.

図書
図書
34. Graph theory for programmers : algorithms for processing trees
by Victor N. Kasyanov and Vladimir A. Evstigneev ; [translated by P. Malyshev]
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c2000
シリーズ名: Mathematics and its applications ; v. 515
所蔵情報: loading…
35.

図書
図書
35. Programming for mathematicians
Raymond Séroul ; translated from the French by Donal O'Shea
出版情報: Berlin ; Tokyo : Springer, c2000
シリーズ名: Universitext
所蔵情報: loading…
36.

図書
図書
36. Formal object-oriented specification using Object-Z
Roger Duke and Gordon Rose
出版情報: Houndmills, Basingstoke, Hampshire : Macmillan Press
シリーズ名: Cornerstones of computing
所蔵情報: loading…
37.

図書
図書
37. Conference record of POPL '00 : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, 19-21 January 2000
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2000
所蔵情報: loading…