close
1.

図書
図書
1. Bandit algorithms (: hbk)
Tor Lattimore, Csaba Szepesvári
出版情報: Cambridge : Cambridge University Press, 2020
所蔵情報: loading…
2.

図書
図書
2. Computationally efficient model predictive control algorithms : a neural network approach (: hbk.)
Maciej Lawryńczuk
出版情報: Cham : Springer, c2014
シリーズ名: Studies in systems, decision and control / series editor Janusz Kacprzyk ; 3
所蔵情報: loading…
3.

図書
図書
3. Practical analysis of algorithms
Dana Vrajitoru, William Knight
出版情報: Cham : Springer, c2014
シリーズ名: Undergraduate topics in computer science
所蔵情報: loading…
4.

図書
図書
4. Condition : the geometry of numerical algorithms
Peter Bürgisser, Felipe Cucker
出版情報: Heidelberg : Springer, c2013
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; 349
所蔵情報: loading…
5.

図書
図書
5. Proportionate-type normalized least mean square algorithms (: hbk.)
Kevin Wagner, Miloš Doroslovački
出版情報: London : ISTE, c2013
シリーズ名: Digital signal and image processing series
所蔵情報: loading…
6.

図書
図書
6. Adaptive filtering : algorithms and practical implementation. 4th ed.
Paulo S. R. Diniz
出版情報: New York : Springer, c2013
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Computational Geometry, Graphs and Applications : 9th International Conference, CGGA 2010, Dalian, China, November 3-6, 2010, Revised Selected Papers
edited by Jin Akiyama, Jiang Bo, Mikio Kano, Xuehou Tan
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7033
オンライン: http://dx.doi.org/10.1007/978-3-642-24983-9
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Graph-Theoretic Concepts in Computer Science : 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers
edited by Petr Kolman, Jan Kratochvíl
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6986
オンライン: http://dx.doi.org/10.1007/978-3-642-25870-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. The Concrete Tetrahedron : Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
by Manuel Kauers, Peter Paule
出版情報: Vienna : Springer-Verlag/Wien, 2011
シリーズ名: Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria ;
オンライン: http://dx.doi.org/10.1007/978-3-7091-0445-3
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Approximation and Online Algorithms : 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers
edited by Klaus Jansen, Roberto Solis-Oba
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6534
オンライン: http://dx.doi.org/10.1007/978-3-642-18318-8
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. WALCOM: Algorithms and Computation : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings
edited by Naoki Katoh, Amit Kumar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6552
オンライン: http://dx.doi.org/10.1007/978-3-642-19094-0
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Combinatorial Algorithms : 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
edited by Costas S. Iliopoulos, William F. Smyth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6460
オンライン: http://dx.doi.org/10.1007/978-3-642-19222-7
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Experimental Algorithms : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
edited by Panos M. Pardalos, Steffen Rebennack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6630
オンライン: http://dx.doi.org/10.1007/978-3-642-20662-7
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
edited by María Alpuente
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6564
オンライン: http://dx.doi.org/10.1007/978-3-642-20551-4
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Algorithm-Architecture Matching for Signal and Image Processing : Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009
edited by Guy Gogniat, Dragomir Milojevic, Adam Morawiec, Ahmet Erdogan
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Lecture Notes in Electrical Engineering ; 73
オンライン: http://dx.doi.org/10.1007/978-90-481-9965-5
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Digital Signal Processing in Power System Protection and Control
by Waldemar Rebizant, Janusz Szafran, Andrzej Wiszniewski
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Signals and Communication Technology ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-802-7
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Perspectives on Projective Geometry : A Guided Tour Through Real and Complex Geometry
by Jürgen Richter-Gebert
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-17286-1
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. The Linear Ordering Problem : Exact and Heuristic Methods in Combinatorial Optimization
by Rafael Martí, Gerhard Reinelt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Applied Mathematical Sciences ; 175
オンライン: http://dx.doi.org/10.1007/978-3-642-16729-4
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Evolutionary Statistical Procedures : An Evolutionary Computation Approach to Statistical Procedures Designs and Applications
by Roberto Baragona, Francesco Battaglia, Irene Poli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Statistics and Computing ;
オンライン: http://dx.doi.org/10.1007/978-3-642-16218-3
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Approximation Algorithms for Complex Systems : Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009
edited by Emmanuil H Georgoulis, Armin Iske, Jeremy Levesley
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Springer Proceedings in Mathematics ; 3
オンライン: http://dx.doi.org/10.1007/978-3-642-16876-5
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Convex Analysis and Monotone Operator Theory in Hilbert Spaces
by Heinz H. Bauschke, Patrick L. Combettes
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: CMS Books in Mathematics, Ouvrages de mathématiques de la SMC ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-9467-7
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Arithmetics
by Marc Hindry
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2131-2
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Mathematical Aspects of Network Routing Optimization. 1
by Carlos A.S. Oliveira, Panos M. Pardalos
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Optimization and Its Applications ; 53
オンライン: http://dx.doi.org/10.1007/978-1-4614-0311-1
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Structural Information and Communication Complexity : 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings
edited by Adrian Kosowski, Masafumi Yamashita
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6796
オンライン: http://dx.doi.org/10.1007/978-3-642-22212-2
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman
edited by Oded Goldreich
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6650
オンライン: http://dx.doi.org/10.1007/978-3-642-22670-0
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Combinatorial Optimization and Applications : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings
edited by Weifan Wang, Xuding Zhu, Ding-Zhu Du
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6831
オンライン: http://dx.doi.org/10.1007/978-3-642-22616-8
所蔵情報: loading…
27.

図書
図書
27. Methods in algorithmic analysis
Vladimir A. Dobrushkin
出版情報: Boca Raton, Fla. : Chapman & Hall/CRC, 2010
シリーズ名: Chapman & Hall/CRC computer and information science series / series editor, Sartaj Sahni
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Structural Information and Communication Complexity : 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings
edited by Boaz Patt-Shamir, Tınaz Ekim
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6058
オンライン: http://dx.doi.org/10.1007/978-3-642-13284-1
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Graph Theoretic Concepts in Computer Science : 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers
edited by Dimitrios M. Thilikos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6410
オンライン: http://dx.doi.org/10.1007/978-3-642-16926-7
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Parameterized and Exact Computation : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
edited by Venkatesh Raman, Saket Saurabh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6478
オンライン: http://dx.doi.org/10.1007/978-3-642-17493-3
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Algorithmic Number Theory : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
edited by Guillaume Hanrot, Francois Morain, Emmanuel Thome
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6197
オンライン: http://dx.doi.org/10.1007/978-3-642-14518-6
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Approximation and Online Algorithms : 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
edited by Evripidis Bampis, Klaus Jansen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5893
オンライン: http://dx.doi.org/10.1007/978-3-642-12450-1
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. WALCOM: Algorithms and Computation : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
edited by Md. Saidur Rahman, Satoshi Fujita
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5942
オンライン: http://dx.doi.org/10.1007/978-3-642-11440-3
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Graph-Theoretic Concepts in Computer Science : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
edited by Christophe Paul, Michel Habib
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5911
オンライン: http://dx.doi.org/10.1007/978-3-642-11409-0
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Structural Information and Communication Complexity : 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
edited by Shay Kutten, Janez ?erovnik
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5869
オンライン: http://dx.doi.org/10.1007/978-3-642-11476-2
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Handbook of Floating-Point Arithmetic. 1
by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Lefevre Vincent, Guillaume Melquiond, Nathalie Revol, Damien Stehle, Serge Torres
出版情報: Boston : Birkhauser Boston, 2010
オンライン: http://dx.doi.org/10.1007/978-0-8176-4705-6
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Semantics-Oriented Natural Language Processing : Mathematical Models and Algorithms. First
by Vladimir Fomichov A.
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: IFSR International Series on Systems Science and Engineering ; 27
オンライン: http://dx.doi.org/10.1007/978-0-387-72926-8
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Natural Deduction, Hybrid Systems and Modal Logics
by Andrzej Indrzejczak
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
シリーズ名: Trends in Logic ; 30
オンライン: http://dx.doi.org/10.1007/978-90-481-8785-0
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Algorithms and Programming : Problems and Solutions. 2
by Alexander Shen
出版情報: New York, NY : Springer-Verlag New York, 2010
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-1748-5
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Notes on Introductory Combinatorics. 1st
by George Polya, Robert E. Tarjan, Donald R. Woods
出版情報: Boston : Birkhauser Boston, 2010
シリーズ名: Modern Birkhauser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4953-1
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Mathematics for Multimedia. 1
by Mladen Victor Wickerhauser
出版情報: Boston : Birkhauser Boston, 2010
シリーズ名: Applied and Numerical Harmonic Analysis ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4880-0
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. System Identification with Quantized Observations
by Le Yi Wang, G. George Yin, Ji-Feng Zhang, Yanlong Zhao
出版情報: Boston : Springer Science+Business Media, LLC, 2010
シリーズ名: Systems & Control: Foundations & Applications ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4956-2
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Linear Optimization : The Simplex Workbook
by Glenn Hurlbert
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-79148-7
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Triangulations : Structures for Algorithms and Applications
by Jesus A. Loera, Jorg Rambau, Francisco Santos
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Algorithms and Computation in Mathematics ; 25
オンライン: http://dx.doi.org/10.1007/978-3-642-12971-1
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. G.W. Stewart : Selected Works with Commentaries
edited by Misha E. Kilmer, Dianne P. O'Leary
出版情報: Boston : Springer Science+Business Media, LLC, 2010
シリーズ名: Contemporary Mathematicians ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4968-5
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Algorithmic Randomness and Complexity. 1
by Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68441-3
所蔵情報: loading…
47.

図書
図書
47. Fast algorithms for signal processing
Richard E. Blahut
出版情報: Cambridge : Cambridge University Press, 2010
所蔵情報: loading…
48.

図書
図書
48. Combinatorial geometry and its algorithmic applications : the Alcalá lectures
János Pach, Micha Sharir
出版情報: Providence, R.I. : American Mathematical Society, c2009
シリーズ名: Mathematical surveys and monographs ; v. 152
所蔵情報: loading…
49.

図書
図書
49. Conjugate gradient algorithms in nonconvex optimization
Radosław Pytlak
出版情報: Berlin : Springer, c2009
シリーズ名: Nonconvex optimization and its applications ; v. 89
所蔵情報: loading…
50.

図書
図書
50. Machine learning : an algorithmic perspective
Stephen Marsland
出版情報: Boca Raton : Chapman & Hall/CRC, c2009
シリーズ名: Chapman & Hall/CRC machine learning & pattern recognition series
所蔵情報: loading…