close
1.

図書
図書
1. Nature-inspired computation and swarm intelligence : algorithms, theory and applications
editord by Xin-She Yang
出版情報: London : Academic Press, c2020
所蔵情報: loading…
2.

図書
図書
2. Superminds : the surprising power of people and computers thinking together (: pbk)
Thomas W. Malone
出版情報: New York : Little, Brown and Company, c2018
所蔵情報: loading…
3.

図書
図書
3. Introduction to the modeling and analysis of complex systems (: pbk.)
Hiroki Sayama
出版情報: Geneseo, N.Y. : Open SUNY Textbooks, c2015
所蔵情報: loading…
4.

図書
図書
4. Parameterized algorithms
Marek Cygan ... [et al.]
出版情報: Cham : Springer, c2015
所蔵情報: loading…
5.

図書
図書
5. GPU computing and applications
Yiyu Cai, Simon See editors
出版情報: Singapore : Springer, c2015
所蔵情報: loading…
6.

図書
図書
6. Automata, university, computation : tribute to maurice margenstern
Andrew Adamatzky, editor
出版情報: Cham : Springer, c2015
シリーズ名: Emergence, complexity and computation / series editors Ivan Zelinka, Andrew Adamatzky, Guanrong Chen
所蔵情報: loading…
7.

図書
図書
7. Advanced hardware design for error correcting codes
Cyrille Chavet, Philippe Coussy, editors
出版情報: Cham : Springer, c2015
所蔵情報: loading…
8.

図書
図書
8. Data management for researchers : organize, maintain and share your data for research success (: pbk)
Kristin Briney
出版情報: Exeter : Pelagic Pub., c2015
シリーズ名: Research skills series
所蔵情報: loading…
9.

図書
図書
9. Multidimensional particle swarm optimization for machine learning and pattern recognition
Serkan Kiranyaz, Turker Ince, Moncef Gabbouj
出版情報: Berlin : Springer, c2014
シリーズ名: Adaptation, learning, and optimization / series editors in chief, Meng-Hiot Lin, Yew-Soon Ong ; 15
所蔵情報: loading…
10.

図書
図書
10. The algorithmic foundations of differential privacy
Cynthia Dwork, Aaron Roth
出版情報: Hanover : Now Publishing, c2014
シリーズ名: Foundations and trends in theoretical computer science ; 9:3-4
所蔵情報: loading…
11.

図書
図書
11. Compressed data structures for strings : on searching and extracting strings from compressed textual data
Rossano Venturini
出版情報: Paris : Atlantis press, c2014
シリーズ名: Atlantis studies in computing / series editors, Jan A. Bergstra, Michael W. Mislove ; 4
所蔵情報: loading…
12.

図書
図書
12. Understanding machine learning : from theory to algorithms
Shai Shalev-Shwartz, Shai Ben-David
出版情報: New York : Cambridge University Press, 2014
所蔵情報: loading…
13.

図書
図書
13. Frequent pattern mining
Charu C. Aggarwal, Jiawei Han, editors
出版情報: Cham : Springer, c2014
所蔵情報: loading…
14.

図書
図書
14. Small universal cellular automata in hyperbolic spaces : a collection of jewels
Maurice Margenstern
出版情報: Heidelberg : Springer, c2013
シリーズ名: Emergence, complexity and computation / series editors Ivan Zelinka, Andrew Adamatzky, Guanrong Chen ; 4
所蔵情報: loading…
15.

図書
図書
15. Irreducibility and computational equivalence : 10 years after Wolfram's a new kind of science
editor Hector Zenil
出版情報: Berlin : Springer, c2013
シリーズ名: Emergence, complexity and computation / series editors Ivan Zelinka, Andrew Adamatzky, Guanrong Chen ; 2
所蔵情報: loading…
16.

図書
図書
16. Multilayer neural networks : a generalized net perspective
Maciej Krawczak
出版情報: Heidelberg : Springer, c2013
シリーズ名: Studies in computational intelligence ; 478
所蔵情報: loading…
17.

図書
図書
17. High accuracy computing methods : fluid flows and wave phenomena
Tapan K. Sengupta
出版情報: Cambridge : Cambridge University Press, 2013
所蔵情報: loading…
18.

図書
図書
18. Fault-tolerant search algorithms : reliable computation with unreliable information
Ferdinando Cicalese
出版情報: Heidelberg : Springer, c2013
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
19.

図書
図書
19. Combinatorial search : from algorithms to systems
Youssef Hamadi
出版情報: Berlin : Springer, c2013
所蔵情報: loading…
20.

図書
図書
20. Graphs, networks and algorithms. 4th ed
Dieter Jungnickel
出版情報: Berlin ; Heidelberg : Springer, c2013
シリーズ名: Algorithms and computation in mathematics ; v. 5
所蔵情報: loading…
21.

図書
図書
21. Mining of massive datasets (: hardback)
Anand Rajaraman, Jeffrey David Ullman
出版情報: New York : Cambridge University Press, 2012
所蔵情報: loading…
22.

図書
図書
22. 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…
23.

図書
図書
23. Modelling and control for intelligent industrial systems : adaptive algorithms in robotics and industrial engineering
Gerasimos G. Rigatos
出版情報: Berlin ; Heidelberg : Springer, c2011
シリーズ名: Intelligent systems reference library ; v. 1
所蔵情報: loading…
24.

図書
図書
24. Algorithms and data structures : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings
Frank Dehne, John Iacono, Jörg-Rüdiger Sack (Eds.)
出版情報: Heidelberg : Springer, c2011
シリーズ名: Lecture notes in computer science ; 6844 . Theoretical computer science and general issues
所蔵情報: loading…
25.

図書
図書
25. Graph drawing : 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers (pbk.)
Ulrik Brandes, Sabine Cornelsen (eds.)
出版情報: Heidelberg : Springer, c2011
シリーズ名: Lecture notes in computer science ; 6502 . LNCS sublibrary : SL 1 . Theoretical computer science and general issues
所蔵情報: loading…
26.

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

図書
図書
27. Graph drawing : 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers
David Eppstein, Emden R. Gansner (eds.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; 5849
所蔵情報: loading…
28.

図書
図書
28. Automata, languages and programming : 37th International Colloquium, ICALP 2010 Bordeaux, France, July 6-10, 2010 : proceedings (pt. 1 ; pt. 2)
Samson Abramsky ... [et al.] (eds.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; 6198-6199 . Advanced research in computing and software science
所蔵情報: loading…
29.

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

図書
図書
30. 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…
31.

図書
図書
31. GPGPU : stream processing, graphics processing unit, comparison of AMD graphics processing units, comparison of nvidia graphics processing units, graphics pipeline, video card, brookGPU, physics engine
Frederic P. Miller, Agnes F. Vandome, John McBrewster (ed.)
出版情報: Breu Bassin, Mauritius : Alphascript Publishing, 2009
所蔵情報: loading…
32.

図書
図書
32. Programming multi-agent systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited selected papers
Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5442 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書
図書
33. Learnig to rank for information retrieval
Tie-Yan Liu
出版情報: Hanover : Now Publishers, c2009
シリーズ名: Foundations and trends in information retrieval ; 3:3
所蔵情報: loading…
34.

図書
図書
34. The fourth paradigm : data-intensive scientific discovery
edited by Tony Hey, Stewart Tansley and Kristin Tolle
出版情報: redmond, Wash. : Microsoft Research ; c2009
所蔵情報: loading…
35.

図書
図書
35. Spectral algorithms
Ravindran Kannan, Santosh Vempala
出版情報: Hanover, Mass. : now Publishers, c2009
シリーズ名: Foundations and trends in theoretical computer science ; 4:3-4
所蔵情報: loading…
36.

図書
図書
36. Post-quantum cryptography
Daniel J. Bernstein, Johannes Buchmann, Erik Dahmen editors
出版情報: Berlin : Springer, c2009
所蔵情報: loading…
37.

図書
図書
37. Graph drawing : 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 ; revised papers
Ioannis G. Tollis, Maurizio Patrignani (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5417
所蔵情報: loading…
38.

図書
図書
38. Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings (pt. 1 ; pt. 2)
Susanne Albers ... [et al.] (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5555-5556 . Advanced research in computing and software science
所蔵情報: loading…
39.

図書
図書
39. Decision procedures : an algorithmic point of view
Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant
出版情報: Berlin : Springer, c2008
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
40.

図書
図書
40. Encyclopedia of algorithms
Ming-Yang Kao, ed
出版情報: New York, N.Y. : Springer, c2008
シリーズ名: Springer reference
所蔵情報: loading…
41.

図書
図書
41. Probabilistic inductive logic programming : theory and applications
Luc De Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 4911 . Lecture notes in artificial intelligence
所蔵情報: loading…
42.

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

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

図書
図書
44. Distributed computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings
Gadi Taubenfeld (ed.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5218
所蔵情報: loading…
45.

図書
図書
45. Web data mining : exploring hyperlinks, contents, and usage data
Bing Liu
出版情報: Berlin : Springer, c2007
シリーズ名: Data-centric systems and applications
所蔵情報: loading…
46.

図書
図書
46. Scheduling Algorithms. 5th ed.
Peter Brucker
出版情報: Berlin : Springer, c2007
所蔵情報: loading…
47.

図書
図書
47. Rough sets, fuzzy sets, data mining, and granular computing : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 : proceedings
Aijun An ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4482 . Lecture notes in artificial intelligence
所蔵情報: loading…
48.

図書
図書
48. Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings
Lars Arge ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4596
所蔵情報: loading…
49.

図書
図書
49. Algorithms for sensor and ad hoc networks : advanced lectures
Dorothea Wagner, Roger Wattenhofer (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4621
所蔵情報: loading…
50.

図書
図書
50. Combinatorics, algorithms, probabilistic and experimental methodologies : First International Symposium, ESCAPE 2007 Hangzhou, China, April 7-9, 2007 : revised selected papers
Bo Chen, Mike Paterson, Guochuan Zhang (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4614
所蔵情報: loading…