1.

図書
図書
1. Mobile and wireless communication networks : IFIP 19th World Computer Congress, TC-6, 8th IFIP/IEEE Conference on Mobile and Wireless Communication Networks, August 20-25,2006,Santiago, Chile
edited by Guy Pujolle
出版情報: New York : Springer, 2006
シリーズ名: The International Federation for Information Processing ; 211
所蔵情報: loading…
2.

図書
図書
2. Ad-Hoc networking : IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25,2006,Santiago, Chile
edited by Khaldoun Al Agha
出版情報: New York : Springer, 2006
シリーズ名: The International Federation for Information Processing ; 212
所蔵情報: loading…
3.

図書
図書
3. Proceedings, 19th IEEE International Parallel and Distributed Processing Symposium : April 4-8, 2005, Denver, Colorado
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing, ACM SIGARCH
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005
所蔵情報: loading…
4.

図書
図書
4. Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy
sponsored by IEEE Computer Society Technical Society on Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004
所蔵情報: loading…
5.

図書
図書
5. Cooperative control : a post-workshop volume 2003 block lsland workshop on cooperative control
V. Kumar, N. Leonard, A.S. Morse (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in control and information sciences ; 309
所蔵情報: loading…
6.

図書
図書
6. Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
7.

図書
図書
7. Proceedings, 18th International Parallel and Distributed Processing Symposium : Santa Fe, New Mexico, April 26-30, 2004
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing, ACM SIGARCH
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004
所蔵情報: loading…
8.

図書
図書
8. Introduction to computing systems : from bits and gates to C and beyond. 2nd ed., International ed
Yale N. Patt, Sanjay J. Patel
出版情報: New York : McGraw-Hill Higher Educaion, 2005, c2004
所蔵情報: loading…
9.

図書
図書
9. Human-robot interaction : special issue
Sara Kiesler...[et al.]
出版情報: Mahwah, N.J. : Lawrence Erlbaum Associates, 2004
シリーズ名: Human-computer interaction ; v. 19, no. 1 & 2
所蔵情報: loading…
10.

図書
図書
10. Proceedings of the sixth workshop on algorithm engineering and experiments and the first workshop on analytic algorithmics and combinatorics
edited by Lars Arge, Giuseppe F. Italiano, and Robert Sedgewick
出版情報: Philadelphia : Society for Industrial and Applied Mathematics, c2004
所蔵情報: loading…
11.

図書
図書
11. Implementing distributed systems with Java and CORBA
Markus Aleksy, Axel Korthaus, Martin Schader
出版情報: Berlin : Springer, c2005
所蔵情報: loading…
12.

図書
図書
12. Codes : an introduction to information communication and cryptography
Norman L. Biggs
出版情報: London : Springer, c2008
シリーズ名: Springer undergraduate mathematics series
所蔵情報: loading…
13.

図書
図書
13. Research on information society and social systems
edited by Munenori Kitahara, Koshiro Ota, Yoshinobu Arisada
出版情報: Fukuoka-shi : Kyushu University Press, c2008
シリーズ名: 広島修道大学学術選書 ; v. 44
所蔵情報: loading…
14.

図書
図書
14. Computability and complexity theory. 2nd ed.
Steven Homer, Alan L. Selman
出版情報: New York : Springer, c2011
シリーズ名: Texts in computer science
所蔵情報: loading…
15.

図書
図書
15. The U.S. information economy : value, employment, industry structure, and trade
Uday Apte, Uday Karmarkar, Hiranya Nath
出版情報: Boston : Now, c2012
シリーズ名: Foundations and trends [R] in technology, information and operations management ; 6:1(2012)
所蔵情報: loading…
16.

図書
図書
16. Dynamic vision : from images to face recognition
Shaogang Gong, Stephen J. McKenna, Alexandra Psarrou
出版情報: London : Imperial College Press, c2000
所蔵情報: loading…
17.

図書
図書
17. Proceedings, 14th International Parallel and Distributed Processing Symposium : IPDPS 2000, 1-5 May 2000, Cancun, Mexico
sponsors, IEEE Computer Society Technical Committee on Parallel Processing, Association for Computing Machinery
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2000
所蔵情報: loading…
18.

図書
図書
18. Multiple view geometry in computer vision
Richard Hartley, Andrew Zisserman
出版情報: Cambridge : Cambridge University Press, c2000
所蔵情報: loading…
19.

図書
図書
19. Feynman lectures on computation (: pbk)
Richard P. Feynman ; edited by Tony Hey and W. Allen
出版情報: Cambridge : Perseus, 2000
所蔵情報: loading…
20.

図書
図書
20. 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…
21.

図書
図書
21. Data mining using grammar based genetic programming and applications
by Man Leung Wong, Kwong Sak Leung
出版情報: Boston : Kluwer Academic, c2000
シリーズ名: Genetic programming series ; GPEM 3
所蔵情報: loading…
22.

図書
図書
22. Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes (: pbk)
sponsored by IEEE Computer Society Technical society on Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
23.

図書
図書
23. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
24.

図書
図書
24. Parallel programming in C with MPI and OpenMP
Michael J. Quinn
出版情報: New York : McGraw-Hill, c2004
シリーズ名: McGraw-Hill higher education
所蔵情報: loading…
25.

図書
図書
25. Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: loading…
26.

図書
図書
26. Proceedings : International Parallel and Distributed Processing Symposium, April 15-19, 2002, Ft. Lauderdale, Florida, USA
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: loading…
27.

図書
図書
27. Data management and internet computing for image/pattern analysis
by David Zhang, Xiaobo Li, Zhiyong Liu
出版情報: Boston : Kluwer Academic, c2001
シリーズ名: Kluwer international series on Asian studies in computer and information science ; 11/a
所蔵情報: loading…
28.

図書
図書
28. Invariants for pattern recognition and classification
editor, Marcos A. Rodrigues
出版情報: Singapore : World Scientific, c2000
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; v. 42
所蔵情報: loading…
29.

図書
図書
29. Proceedings, 15th International Parallel and Distributed Processing Symposium : San Francisco, California, USA, April 23-27, 2001
sponsored by IEEE Computer Society Technical Committee on Parallel Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…
30.

図書
図書
30. WAINS 7 : proceedings of the 7th International Workshop on Academic Information Networks and Systems : Joint study of global sharing of digital assets of scientific and cultural information : December 7-8, 2000, Kasetsart University, Bangkok, Thailand
小野欽司研究代表
出版情報: 東京 : 国立情報学研究所, 2000.12
所蔵情報: loading…
31.

図書
図書
31. Growth and development of the IT industry in Bangalore and Singapore : a comparative study
Chia Siow Yue ... [et al.]
出版情報: New Delhi : Sterling Publishers, c2001
所蔵情報: loading…
32.

図書
図書
32. Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…
33.

図書
図書
33. Multispectral image processing and pattern recognition
editors, Jun Shen, P.S.P. Wang, Tianzu Zhang
出版情報: Singapore : World Scientific, c2001
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; v. 44
所蔵情報: loading…
34.

図書
図書
34. Bayesian approach to image interpretation
Sunil K. Kopparapu, Uday B. Desai
出版情報: Boston : Kluwer Academic, c2001
シリーズ名: The Kluwer international series in engineering and computer science
所蔵情報: loading…
35.

図書
図書
35. Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: loading…
36.

図書
図書
36. Intelligent agent technology : research and development : proceedings of the 2nd Asia-Pacific Conference on IAT
editors, Ning Zhong ... [et al.]
出版情報: New Jersey : World Scientific, c2001
所蔵情報: loading…
37.

図書
図書
37. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : LICS 2004 : Turku, Finland, 13-17 July 2004
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2004
所蔵情報: loading…
38.

図書
図書
38. Fast motions in biomechanics and robotics : optimization and feedback control
Moritz Diehl, Katja Mombaur (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in control and information sciences ; 340
所蔵情報: loading…
39.

図書
図書
39. 書き換えシステムの基本的性質の解明と定理の自動証明に関する研究
研究代表者:大山口通夫
出版情報: [津] : [大山口通夫], 2003.5
シリーズ名: 科学研究費補助金基盤研究(C)(2)研究成果報告書 ; 平成12年度〜平成14年度
所蔵情報: loading…
40.

図書
図書
40. Proceedings : 20th Annual IEEE Symposium on Logic in Computer Science : LICS 2005 : 26-29 June 2005, Chicago, Illinois
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
41.

図書
図書
41. Proceedings, International Parallel and Distributed Processing Symposium : April 22-26, 2003, Nice, France
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Processing, ACM SIGARCH
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
42.

視聴覚資料
ＡＶ
42. Internet research : what's credible?
出版情報: 東京 : グローバル・リンケージ [distributor] , New York, N.Y. : Films Media Group : Films for the Humanities & Sciences, c2015
所蔵情報: loading…
43.

視聴覚資料
ＡＶ
43. Digital communication skills dos and don'ts
出版情報: 東京 : グローバル・リンケージ [distributor] , New York, N.Y. : Films Media Group : Films for the Humanities & Sciences, c2015
所蔵情報: loading…
44.

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

図書
図書
45. Sets and numbers, graphs and algebra, logic and machines, linear geometry. 2nd ed
Guerino Mazzola, Gérard Milmeister, Jody Weissmann
出版情報: Berlin : Springer, c2006
シリーズ名: Universitext ; . Comprehensive mathematics for computer scientists ; 1
所蔵情報: loading…
46.

図書
図書
46. The mathematics of networks of linear systems
Paul A. Fuhrmann, Uwe Helmke
出版情報: Cham : Springer, c2015
シリーズ名: Universitext
所蔵情報: loading…
47.

図書
図書
47. Component-based software testing with UML
Hans-Gerhard Gross
出版情報: Berlin : Springer, c2005
所蔵情報: loading…
48.

図書
図書
48. Logic and algebraic methods
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: loading…
49.

図書
図書
49. Proceedings 48th Annual IEEE Symposium on Foundations of Computer Science : October 20-23, 2007, Providencd, Rhode Island
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2007
所蔵情報: loading…
50.

図書
図書
50. Proceedings : 22nd Annual IEEE Symposium on Logic in Computer Science : LICS 2007 : Wroclaw , Poland 10-14 July 2007,
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2007
所蔵情報: loading…
51.

図書
図書
51. 2008 49th Annual Symposium on Foundations of Computer Science : Philadelphia, Pennsylvania 25-28 October 2008
Symposium on Foundations of Computer Science
出版情報: Piscataway, NJ : The Institute of Electrical and Electronics Engineers, Inc., c2008
所蔵情報: loading…
52.

図書
図書
52. 2009 24th Annual IEEE Symposium on Logic in Computer Science : (LICS 2009) : Los Angeles, California, USA 11-14 August 2009
Symposium on Logic in Computer Science
出版情報: Los Angeles, California : IEEE Computer Society, c2009
所蔵情報: loading…
53.

図書
図書
53. 2009 50th Annual IEEE Symposium on Foundations of Computer Science : (FOCS 2009) : Atlanta, Georgia, USA 25-27 October 2009
Symposium on Foundations of Computer Science ; IEEE Computer Society
出版情報: Piscataway, N.J. : IEEE, c2009
所蔵情報: loading…
54.

図書
図書
54. Algorithmic randomness and complexity
Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York : Springer Science+Business Media, c2010
シリーズ名: Theory and applications of computability
所蔵情報: loading…
55.

図書
図書
55. Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2010
所蔵情報: loading…
56.

図書
図書
56. 2010 IEEE 51st annual symposium on foundations of computer science : (FOCS 2010) : Las Vegas, Nevada, USA 23-26 October 2010
Symposium on Foundations of Computer Science ; IEEE Computer Society
出版情報: Los Alamitos, California : IEEE, c2010
所蔵情報: loading…
57.

図書
図書
57. Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2011
所蔵情報: loading…
58.

図書
図書
58. 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…
59.

図書
図書
59. Systems and software verification : model-checking techniques and tools
B. Bérard ... [et al.]
出版情報: Berlin ; New York : Springer, c2001
所蔵情報: loading…
60.

図書
図書
60. Abstract state machines : a method for high-level system design and analysis
Egon Börger, Robert Stärk
出版情報: Berlin ; Tokyo : Springer, c2003
所蔵情報: loading…
61.

図書
図書
61. Abstraction and modelling
D. Bjørner
出版情報: Berlin : Springer, c2006
シリーズ名: Texts in theoretical computer science ; An EATCS series . Software engineering ; v. 1
所蔵情報: loading…
62.

図書
図書
62. Object-oriented analysis and design
Sarnath Ramnath and Brahma Dathan
出版情報: London : Springer, [2010]
シリーズ名: Undergraduate topics in computer science
所蔵情報: loading…
目次情報:
“A co-publication with the Universities Press (India) Ptv. Ltd" -- t.p.verso
“A co-publication with the Universities Press (India) Ptv. Ltd" -- t.p.verso
63.

図書
図書
63. Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
出版情報: Cambridge, Mass. : MIT Press, 2000
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
64.

図書
図書
64. Model driven architecture with executable UML
Chris Raistrick... [et al.]
出版情報: Cambridge : Cambridge University Press, 2004
所蔵情報: loading…
65.

図書
図書
65. Specification of systems and languages
D. Bjørner
出版情報: Berlin : Springer, c2006
シリーズ名: Texts in theoretical computer science ; An EATCS series . Software engineering ; v. 2
所蔵情報: loading…
66.

図書
図書
66. Modern applications of automata theory
editors Deepak D'Souza, Priti Shankar
出版情報: [S.l.] : IISc Press , New Jersey : World Scientific, c2012
シリーズ名: IISc research monograph series ; 2
所蔵情報: loading…
67.

図書
図書
67. The definitive ANTLR reference : building domain-specific languages
Terence Parr
出版情報: Raleigh, N.C. : Pragmatic Bookshelf, c2007
シリーズ名: The pragmatic programmers
所蔵情報: loading…
68.

図書
図書
68. Introduction to scheduling
edited by Yves Robert, Frédéric Vivien
出版情報: Boca Raton, Fla. : Chapman & Hall/CRC Press, c2010
シリーズ名: Chapman & Hall/CRC computational science series / series editer, Horst Simon
所蔵情報: loading…
69.

図書
図書
69. Handbook of model checking
Edmund M. Clarke ... [et al.] editors
出版情報: Cham : Springer, c2018
所蔵情報: loading…
70.

図書
図書
70. Computer-aided reasoning : an approach
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
出版情報: Boston ; Dordrecht ; London : Kluwer Academic, c2000
シリーズ名: Advances in formal methods / series editor, Michael Hinchey ; 3
所蔵情報: loading…
71.

図書
図書
71. Abstract computing machines : a lambda calculus perspective
W. Kluge
出版情報: Heidelberg : Springer, c2005
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
72.

図書
図書
72. Mathematical approaches to software quality
Gerard O'Regan
出版情報: [London] : Springer, c2006
所蔵情報: loading…
73.

図書
図書
73. A concise introduction to software engineering (: pbk)
Pankaj Jalote
出版情報: London : Springer, c2008
シリーズ名: Undergraduate topics in computer science
所蔵情報: loading…
74.

図書
図書
74. Formal Methods : State of the Art and New Directions (: hard)
Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors
出版情報: London : Springer, c2010
所蔵情報: loading…
75.

図書
図書
75. Graphviz (: pbk)
Jesse Russell, Ronald Cohn
出版情報: [S.l.] : Bookvika Publishing , Edinburgh : LENNEX Corp, 2012
所蔵情報: loading…
76.

図書
図書
76. C# and game programming : a beginner's guide
Salvatore A. Buono
出版情報: Natick, Mass. : AK Peters, c2003
所蔵情報: loading…
77.

図書
図書
77. A guide to algorithm design : paradigms, methods, and complexity analysis
Anne Benoit, Yves Robert, and Frédéric Vivien
出版情報: Boca Raton : CRC Press, Taylor & Francis Group, c2014
シリーズ名: Applied algorithms and data structures series / series editor, Samir Khuller
所蔵情報: loading…
78.

図書
図書
78. Introduction to JavaScript object notation : a To-the-Point guide to JSON (: pbk)
Lindsay Bassett
出版情報: Beijing ; Tokyo : O'Reilly, c2015
所蔵情報: loading…
79.

図書
図書
79. Logics of specification languages
Dines Bjørner, Martin C. Henson editors
出版情報: Berlin : Springer, c2008
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
80.

図書
図書
80. Getting started with LLVM core libraries : Get to grips with LLVM essentials and use the core libraries to build advanced tools (: pbk)
Bruno Cardoso Lopes, Rafael Auler
出版情報: Birmingham : Packt Publishing, 2014
シリーズ名: Community experience distilled
所蔵情報: loading…
81.

図書
図書
81. Java precisely (: pbk)
Peter Sestoft
出版情報: Cambridge, Mass. : The MIT Press, c2002
所蔵情報: loading…
82.

図書
図書
82. The C++ programming language. 4th ed (: hbk)
Bjarne Stroustrup
出版情報: Upper Saddle River, N.J. ; Tokyo : Pearson Addison-Wesley, c2014
所蔵情報: loading…
83.

図書
図書
83. Learning Python design patterns : a practical and fast-paced guide exploring Python design patterns
Gennadiy Zlobin
出版情報: Birmingham : Packt Pub., 2013
シリーズ名: Packt open source ; . Community experience distilled
所蔵情報: loading…
84.

図書
図書
84. Haskell high performance programming : boost the performance of your Haskell applications using optimization, concurrency, and parallel programming
Samuli Thomasson
出版情報: Birmingham : Packt Publishing, 2016
シリーズ名: Packt open source
Community experience distilled
所蔵情報: loading…
85.

図書
図書
85. LLVM essentials : become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler (: pbk)
Suyog Sarda, Mayur Pandey
出版情報: Birmingham : Packt Publishing, 2015
シリーズ名: Community experience distilled
所蔵情報: loading…
86.

図書
図書
86. A first course in information theory
Raymond W. Yeung
出版情報: New York : Kluwer Academic/Plenum, c2002
シリーズ名: Information technology : transmission, processing, and storage / [edited by] Jack Keil Wolf
所蔵情報: loading…
87.

図書
図書
87. Adaptive image processing : a computational intelligence perspective (: CRC Press ; : SPIE Press)
Stuart William Perry, Hau-San Wong, Ling Guan
出版情報: Boca Raton : CRC , Bellingham, Wash. : SPIE Press, c2002
シリーズ名: Image processing series / series editor, Phillip A. Laplante
所蔵情報: loading…
88.

図書
図書
88. UML by example (: hbk ; : pbk)
Ghinwa Jalloul
出版情報: Cambridge ; New York, N.Y. : Cambridge University Press, 2004
所蔵情報: loading…
89.

図書
図書
89. 41st Annual Symposium on Foundations of Computer Science, 12-14 November 2000, Redondo Beach, California : proceedings (: case - :hard)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000
所蔵情報: loading…
90.

図書
図書
90. Handbook of automated reasoning (Elsevier: set - MIT: v. 2)
editors, Alan Robinson and Andrei Voronkov
出版情報: Amsterdam ; New York : Elsevier , Cambridge, Mass. : MIT Press, c2001
所蔵情報: loading…
91.

図書
図書
91. Proceedings, 42nd IEEE Symposium on Foundations of Computer Science, October 14-17, 2001, Las Vegas, Nevada, USA (: case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: loading…
92.

図書
図書
92. Proceedings, 15th Annual IEEE Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California (: case ; : pbk)
sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2000
所蔵情報: loading…
93.

図書
図書
93. Exact exponential algorithms (: hbk ; : pbk)
Fedor V. Fomin, Dieter Kratsch
出版情報: Heidelberg : Springer, c2010
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
94.

図書
図書
94. Information, coding and mathematics : proceedings of workshop honoring Prof. Bob McEliece on his 60th birthday
edited by Mario Blaum, Patrick G. Farrell, Henk C.A. van Tilborg
出版情報: Boston : Kluwer Academic, c2002
シリーズ名: The Kluwer international series in engineering and computer science ; 687. Communications and information theory
所蔵情報: loading…
95.

図書
図書
95. Computational ergodic theory
Geon Ho Choe
出版情報: Berlin : Springer, c2005
シリーズ名: Algorithms and computation in mathematics ; v. 13
所蔵情報: loading…
96.

図書
図書
96. Introduction to quantum information science
Masahito Hayashi ... [et al.]
出版情報: Heidelberg : Springer, c2015
シリーズ名: Graduate texts in physics
所蔵情報: loading…
97.

図書
図書
97. Neuro-fuzzy pattern recognition
Editors, H.Bunke, A.Kandel
出版情報: Singapore : World Scientific, c2000
シリーズ名: Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang ; Vol. 41
所蔵情報: loading…
98.

図書
図書
98. Living with monsters? : social implications of algorithmic phenomena, hybrid agency, and the performativity of technology : IFIP WG 8.2 working conference on the interacation of information systems and the organizations, IS&O 2018 San Francisco, CA, USA, December 11-12, 2018 proceedings (: hbk)
Ulrike Schultze ... [et al.] (Eds.)
出版情報: Cham : Springer, c2018
シリーズ名: IFIP advances in information and communication technology ; 543
所蔵情報: loading…
99.

図書
図書
99. Theory of Computation (: [pbk.])
Dexter C. Kozen
出版情報: [Guildford, Surrey] : Springer London, 2010
シリーズ名: Texts in computer science
所蔵情報: loading…
100.

図書
図書
100. A computational introduction to number theory and algebra (: hbk ; : pbk)
Victor Shoup
出版情報: New York : Cambridge University press, 2005
所蔵情報: loading…