close
1.

図書
図書
1. Principles of high-performance processor design : for high performance computing, deep neural networks and data science (: hbk)
Junichiro Makino
出版情報: Cham : Springer, c2021
所蔵情報: loading…
2.

図書
図書
2. Automating after effects : scripting techniques for the production pipeline with JavaScript and python. 2nd ed (: [pbk])
Arlo Emerson
出版情報: [S.l.] : [Amazon], c2020
所蔵情報: loading…
3.

図書
図書
3. Power BI
Daniel Jones
出版情報: [S.l.] : [Amazon], c2020
所蔵情報: loading…
4.

図書
図書
4. Practical Python AI projects : mathematical models of optimization problems with Google OR-tools (: pbk)
Serge Kruk
出版情報: [Tokyo] : Produced by Amazon, [2018]
所蔵情報: loading…
5.

図書
図書
5. Power Pivot and Power BI : the Excel user's guide to DAX, Power Query, Power BI & Power Pivot in Excel 2010-2016. 2nd ed
by Rob Collie & Avi Singh
出版情報: Merritt Island, Fla. : Holy Macro! books, c2016
所蔵情報: loading…
6.

図書
図書
6. A gentle introduction to ROS
Jason M. O'Kane
出版情報: [S.l.] : [CreateSpace Independent Publishing Platform], c2014
所蔵情報: loading…
7.

図書
図書
7. Programming Elixir : "functional, "concurrent", "pragmatic","fun"
Dave Thomas
出版情報: [Raleigh] : Pragmatic Bookshelf, c2014
シリーズ名: The pragmatic programmers
所蔵情報: loading…
8.

図書
図書
8. The power of algorithms : inspiration and examples in everyday life (: hbk)
Giorgio Ausiello, Rossella Petreschi, editors
出版情報: Berlin : Springer, c2013
所蔵情報: loading…
9.

図書
図書
9. Learning ROS for robotics programming : a practical, instructive, and comprehensive guide to introduce yourself to ROS, the top-notch, leading robotics framework
Aaron Martinez, Enrique Fernández
出版情報: Birmingham : Packt Publishing, 2013
シリーズ名: Packt open source
所蔵情報: loading…
10.

図書
図書
10. Massively parallel evolutionary computation on GPGPUs
Shigeyoshi Tsutsui, Pierre Collet (editors)
出版情報: Berlin : Springer, c2013
シリーズ名: Natural computing series
所蔵情報: loading…
11.

図書
図書
11. OpenCV 2 computer vision application programming cookbook : over 50 recipes to master this library of programming functions for real-time computer vision
Robert Laganière
出版情報: Birmingham, U.K. : Packt Publishing, 2011
シリーズ名: Packt open source
所蔵情報: loading…
12.

図書
図書
12. Electronic commerce : theory and practice
Makoto Yokoo ... [et al.] (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Studies in computational intelligence ; v. 110
所蔵情報: loading…
13.

図書
図書
13. Handbook of data visualization
Chun-houh Chen, Wolfgang Härdle, Antony Unwin, editors
出版情報: Berlin : Springer, c2008
シリーズ名: Springer handbooks of computational statistics
所蔵情報: loading…
14.

図書
図書
14. Ontology matching
Jérôme Euzenat, Pavel Shvaiko
出版情報: Berlin : Springer, c2007
所蔵情報: loading…
15.

図書
図書
15. Handbook of machine vision
edited by Alexander Hornberg
出版情報: Weinheim : Wiley-VCH, c2006
所蔵情報: loading…
16.

図書
図書
16. Integrated system-level modeling of network-on-chip enabled multi-processor platforms
Tim Kogel, Rainer Leupers, Heinrich Meyr
出版情報: Dordrecht : Springer, c2006
所蔵情報: loading…
17.

図書
図書
17. Embedded computing : a VLIW approach to architecture, compilers and tools
Joseph A. Fisher, Paolo Faraboschi, Cliff Young
出版情報: San Francisco, Calif. ; Tokyo : M. Kaufmann Publishers, c2005
所蔵情報: loading…
18.

図書
図書
18. Modeling and Simulation in Scilab/Scicos
Stephen L. Campbell, Jean-Philippe Chancelier, Ramine Nikoukhah
出版情報: New York, NY : Springer, c2006
所蔵情報: loading…
19.

図書
図書
19. Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics. 2nd ed, [corrected printing]
Juraj Hromkovic̆
出版情報: Berlin ; Tokyo : Springer, 2004
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
20.

図書
図書
20. Control and modeling of complex systems : cybernetics in the 21st century : festschrift in honor of Hidenori Kimura on the occasion of his 60th birthday
Koichi Hashimoto, Yasuaki Oishi, Yutaka Yamamoto, editors
出版情報: Boston : Birkhäuser, c2003
シリーズ名: Trends in mathematics
所蔵情報: loading…
21.

図書
図書
21. Advances in evolutionary computing : theory and applications
Ashish Ghosh, Shigeyoshi Tsutsui (eds.)
出版情報: Berlin : Springer, c2003
シリーズ名: Natural computing series
所蔵情報: loading…
22.

図書
図書
22. Mathematics of information and coding
Te Sun Han, Kingo Kobayashi
出版情報: Providence, R.I. : American Mathematical Society, c2002
シリーズ名: Translations of mathematical monographs ; v. 203
所蔵情報: loading…
23.

図書
図書
23. Multiple objective and goal programming : recent developments
Tadeusz Trzaskalik, Jerzy Michnik, editors
出版情報: Heidelberg : Physica-Verlag, c2002
シリーズ名: Advances in soft computing
所蔵情報: loading…
24.

図書
図書
24. Information visualization in data mining and knowledge discovery
edited by Usama Fayyad, Georges G. Grinstein, Andreas Wierse
出版情報: San Francisco ; Tokyo : Morgan Kaufmann Publishers, c2002
シリーズ名: The Morgan Kaufmann series in data management systems
所蔵情報: loading…
25.

図書
図書
25. Introduction to constraint databases
Peter Revesz
出版情報: New York : Springer-Verlag, c2002
シリーズ名: Undergraduate texts in computer science
所蔵情報: loading…
26.

図書
図書
26. Practitioner's handbook for user interface design and development
R. J. Torres
出版情報: Upper Saddle River, NJ : Prentice Hall PTR, c2002
シリーズ名: Software quality institute series
所蔵情報: loading…
27.

図書
図書
27. Foundations of wavelet networks and applications
S. Sitharama Iyengar, E.C. Cho, Vir V. Phoha
出版情報: Boca Raton : Chapman & Hall/CRC, c2002
所蔵情報: loading…
28.

図書
図書
28. Concurrency verification : introduction to compositional and noncompositional methods
Willem-Paul de Roever ... [et al.]
出版情報: Cambridge ; New York : Cambridge University Press, 2001
シリーズ名: Cambridge tracts in theoretical computer science ; 54
所蔵情報: loading…
29.

図書
図書
29. Data and applications security : developments and directions : IFIP TC11/WG11.3 Fourteenth Annual Working Conference on Database Security, Schoorl, The Netherlands, August 21-23, 2000
edited by Bhavini Thuraisingham [et al.]
出版情報: Boston : Kluwer Academic, 2001
シリーズ名: The International Federation for Information Processing ; 73
所蔵情報: loading…
30.

図書
図書
30. Convergence in broadcast and communications media : the fundamentals of audio, video, data processing and communications technologies
John Watkinson
出版情報: Oxford ; Boston : Focal Press, 2001
所蔵情報: loading…
31.

図書
図書
31. A logical theory of nonmonotonic inference and belief change
Alexander Bochman
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Artificial intelligence
所蔵情報: loading…
32.

図書
図書
32. Principles of data mining (: hc)
David Hand, Heikki Mannila, Padhraic Smyth
出版情報: Cambridge, Mass. : MIT Press, c2001
シリーズ名: Adaptive computation and machine learning
所蔵情報: loading…
33.

図書
図書
33. Knowledge in action : logical foundations for specifying and implementing dynamical systems (: hc)
Raymond Reiter
出版情報: Cambridge, Mass. : MIT Press, Massachusetts Institute of Technology, c2001
所蔵情報: loading…
34.

図書
図書
34. Object-oriented application development using the caché postrelational database
W. Kirsten, M. Ihringer, B. Röhrig, P. Schulte
出版情報: Berlin ; Heidelberg : Springer, c2001
所蔵情報: loading…
35.

図書
図書
35. Knowledge discovery and data mining : The info-fuzzy network (IFN) methodology
Oded Maimon and Mark Last
出版情報: Dordrecht : Kluwer Academic Publishers, c2001
シリーズ名: Massive computing ; 1
所蔵情報: 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. Handbook on parallel and distributed processing
Jacek Błażewicz ... [et al.] (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: International handbooks on information systems
所蔵情報: loading…
38.

図書
図書
38. 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…
39.

図書
図書
39. Data mining in finance : advances in relational and hybrid methods
by Boris Kovalerchuk and Evgenii Vityaev
出版情報: Boston : Kluwer Academic Publishers, c2000
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 547
所蔵情報: loading…
40.

図書
図書
40. Constraint databases
Gabriel Kuper, Leonid Libkin, Jan Paredaens (eds.)
出版情報: Berlin : Springer, c2000
所蔵情報: loading…
41.

図書
図書
41. Robust speech recognition in embedded systems and PC applications
by Jean-Claude Junqua
出版情報: Boston : Kluwer Academic Pub., c2000
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 563
所蔵情報: loading…
42.

図書
図書
42. Topics in multidimensional linear systems theory
Eva Zerz
出版情報: London : Springer, c2000
シリーズ名: Lecture notes in control and information sciences ; 256
所蔵情報: loading…
43.

図書
図書
43. Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
出版情報: Cambridge, Mass. : MIT Press, 2000
シリーズ名: Foundations of computing
所蔵情報: loading…
44.

図書
図書
44. Towards electronic journals : realities for scientists, librarians, and publishers
Carol Tenopir and Donald W. King
出版情報: Washington, DC : SLA Pub., c2000
所蔵情報: loading…