close
1.

図書
図書
1. Lectures on discrete mathematics for computer science
Bakhadyr Khoussainov, Nodira Khoussainova
出版情報: Toh Tuck Link, Singapore : World Scientific, c2012
シリーズ名: Algebra and discrete mathematics ; v. 3
所蔵情報: loading…
2.

図書
図書
2. Simplicial complexes of graphs
Jakob Jonsson
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in mathematics ; 1928
オンライン: http://dx.doi.org/10.1007/978-3-540-75859-4
所蔵情報: loading…
3.

図書
図書
3. Stability of queueing networks
Maury Bramson
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in mathematics ; 1950 . École d'été de probabilités de Saint-Flour ; 36 - 2006
所蔵情報: loading…
4.

図書
図書
4. Ad-hoc, mobile and wireless networks : 7th International Conference, ADHOC-NOW 2008, Sophia-Antipolis, France, September 10-12, 2008 : proceedings
David Coudert, David Simplot-Ryl, Ivan Stojmenovic (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5198
所蔵情報: loading…
5.

図書
図書
5. Cellular Automata : 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008 : proceedings
Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5191
所蔵情報: loading…
6.

図書
図書
6. An introduction to kolmogorov complexity and its applications. 3rd ed (: hard)
Ming Li, Paul Vitányi
出版情報: New York : Springer, c2008
シリーズ名: Texts in computer science
所蔵情報: loading…
7.

図書
図書
7. Entropy, search, complexity (: Springer ; : Janos Bolyai Math. Soc.)
Imre Csiszar, Gyula O.H. Katona, Gabor Tardos (eds.)
出版情報: Berlin : Springer , Budapest : Janos Bolyai Mathematical Society, c2007
シリーズ名: Bolyai Society mathematical studies ; 16
所蔵情報: loading…
8.

図書
図書
8. A course in enumeration
Martin Aigner
出版情報: Berlin : Springer, c2007
シリーズ名: Graduate texts in mathematics ; 238
所蔵情報: loading…
9.

図書
図書
9. Classification algorithms for codes and designs
Petteri Kaski, Patric R.J. Östergård
出版情報: Berlin : Springer, c2006
シリーズ名: Algorithms and computation in mathematics ; v. 15
所蔵情報: loading…
10.

図書
図書
10. Average-case complexity
Andrej Bogdanov, Luca Trevisan
出版情報: Hanover, MA : now Publishers, c2006
シリーズ名: Foundations and trends in theoretical computer science ; 2:1
所蔵情報: loading…
11.

図書
図書
11. Mathematical theory of nonequilibrium steady states : on the frontier of probability and dynamical systems
Da-Quan Jiang, Min Qian, Min-Ping Qian
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in mathematics ; 1833
所蔵情報: loading…
12.

図書
図書
12. Modeling uncertainty : an examination of stochastic theory, methods, and applications
edited by Moshe Dror, Pierre L'Ecuyer, Ferenc Szidarovszky
出版情報: Boston : Kluwer Academic Publishers, c2002
シリーズ名: International series in operations research & management science ; 46
所蔵情報: loading…
13.

図書
図書
13. Limit theorems for Markov chains and stochastic properties of dynamical systems by quasi-compactness
Hubert Hennion, Loïc Hervé
出版情報: Berlin : Springer-Verlag, c2001
シリーズ名: Lecture notes in mathematics ; 1766
所蔵情報: loading…
14.

図書
図書
14. Analysis on fractals (: hbk)
Jun Kigami
出版情報: Cambridge : Cambridge University Press, 2001
シリーズ名: Cambridge tracts in mathematics ; 143
所蔵情報: loading…
15.

図書
図書
15. Hyperbolic conservation laws in continuum physics
Constantine M. Dafermos
出版情報: Berlin : Springer, c2000
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; 325
所蔵情報: loading…
16.

図書
図書
16. Descriptive set theory and dynamical systems (: pbk)
edited by M. Foreman ... [et al.]
出版情報: Cambridge : Cambridge University Press, c2000
シリーズ名: London Mathematical Society lecture note series ; 277
所蔵情報: loading…
17.

図書
図書
17. Topics in symbolic dynamics and applications (: pbk)
edited by F. Blanchard, A. Maass, A. Nogueira
出版情報: Cambridge : Cambridge University Press, 2000
シリーズ名: London Mathematical Society lecture note series ; 279
所蔵情報: loading…
18.

図書
図書
18. Lectures on probability theory and statistics : École d'été de probabilités de Saint-Flour XXVII--1997
J. Bertoin, F. Martinelli, Y. Peres ; editor, Pierre Bernard
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in mathematics ; 1717
所蔵情報: loading…
19.

図書
図書
19. Elemental methods in ergodic Ramsey theory
Randall McCutcheon
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in mathematics ; 1722
所蔵情報: loading…
20.

図書
図書
20. Ramanujan's notebooks (pt. 1 - pt. 5 : softcover)
Bruce C. Berndt
出版情報: New York ; Tokyo : Springer-Verlag, c1985-1998
所蔵情報: loading…
21.

図書
図書
21. Lectures on probability theory and statistics : Ecole d'Eté de probabilités de Saint-Flour XXVI--1996
E. Giné, G.R. Grimmett, L. Saloff-Coste ; editor, P. Bernard
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in mathematics ; 1665
所蔵情報: loading…
22.

図書
図書
22. First-order logic and automated theorem proving. 2nd ed
Melvin Fitting
出版情報: New York : Springer-Verlag, c1996
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
23.

図書
図書
23. Illustrated mathematics : visualization of mathematical objects with Mathematica
Oliver Gloor, Beatrice Amrhein, Roman E. Maeder
出版情報: Santa Clara, CA : TELOS, c1995
所蔵情報: loading…
24.

図書
図書
24. The uncertain reasoner's companion : a mathematical perspective
J. B. Paris
出版情報: Cambridge : Cambridge University Press, 1994
シリーズ名: Cambridge tracts in theoretical computer science ; 39
所蔵情報: loading…
25.

図書
図書
25. Eurocode '92 : International Symposium on Coding Theory and Applications (: Wien ; : New York)
edited by P. Camion, P. Charpin, S. Harari
出版情報: Wien : Springer, c1993
シリーズ名: CISM courses and lectures ; no. 339
所蔵情報: loading…
26.

図書
図書
26. Many-sorted logic and its applications
edited by K. Meinke and J.V. Tucker
出版情報: Chichester ; New York : Wiley, c1993
シリーズ名: Wiley professional computing
所蔵情報: loading…
27.

図書
図書
27. Classical recursion theory : the theory of functions and sets of natural numbers (: pbk.)
Piergiorgio Odifreddi
出版情報: Amsterdam ; Tokyo : North-Holland, 1992
シリーズ名: Studies in logic and the foundations of mathematics ; v. 125
所蔵情報: loading…
28.

図書
図書
28. Discrete mathematics : an introduction for software engineers (: pbk)
Mike Piff
出版情報: Cambridge ; New York : Cambridge University Press, 1991
所蔵情報: loading…
29.

図書
図書
29. World directory of mathematicians. 9th ed (1990)
International Mathematical Union
出版情報: Helsinki : Publisehd under the auspices of International Mathematical Union , Providence, R.I. : Distributed by American Mathematical Society, c1990
所蔵情報: loading…
30.

図書
図書
30. Proceedings : the Fifteenth International Symposium on Multiple-Valued Logic (: pbk)
sponsoring organizations, Multiple-Valued Logic Technical Committe ... [et al.]
出版情報: Silver Spring, Md. : IEEE Computer Society Press, c1985.
所蔵情報: loading…
31.

図書
図書
31. Proceedings : the Fourteenth International Symposium on Multiple-Valued Logic (: pbk)
sponsoring organizations, Multiple-Valued Logic Technical Committe ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984
所蔵情報: loading…
32.

図書
図書
32. Frege conference 1984 : proceedings of the international conference held at Schwerin(GDR), September 10-14, 1984
edited by Gerd Wechsung
出版情報: Berlin : Akademie-Verlag, 1984
シリーズ名: Mathematical research = Mathematische Forschung ; Bd. 20
所蔵情報: loading…
33.

図書
図書
33. Séminaire de probabilités XVII 1981/82 : proceedings (: Berlin ; : New York)
édité par J. Azéma et M. Yor
出版情報: Berlin ; New York : Springer Verlag, 1983
シリーズ名: Lecture notes in mathematics ; 986
所蔵情報: loading…
34.

図書
図書
34. World directory of mathematicians. 7th ed (1982)
International Mathematical Union
出版情報: Kyoto: Bureau of the World Directory of Mathematicians, International Mathematical Union , [Helsinki] : Published under the auspices of International Mathematical Union , Providence, R.I. : Distributed by American Mathematical Society, c1982-
所蔵情報: loading…
35.

図書
図書
35. Proceedings : the Eleventh International Symposium on Multiple-Valued Logic, May 27-29, 1981, Lincoln Plaza Inn, Oklahoma City, University of Oklahoma, Norman Oklahoma
sponsoring organizations, IEEE, IEEE Computer Society, the University of Oklahoma
出版情報: New York, NY : the Institute of Electrical and Electronics Engineers, Inc., c1981 , Los Angeles, CA : Order from IEEE Computer Society , Piscataway, NJ : Order from IEEE Service Center
所蔵情報: loading…
36.

図書
図書
36. Séminaire Bourbaki vol. 1979/80, exposés 543-560 : avec table par noms d'auteurs de 1967/68 à 1979/80 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin ; Heidelberg ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 842
所蔵情報: loading…
37.

図書
図書
37. Séminaire Bourbaki vol. 1980/81, exposés 561-578 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 901
所蔵情報: loading…
38.

図書
図書
38. Séminaire de probabilités XV 1979/80 : avec table générale des exposés de 1966/67 à 1978/79 (: Berlin ; : New York)
edité par J. Azéma et M. Yor
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 850
所蔵情報: loading…
39.

図書
図書
39. Padé approximation and its applications, Amsterdam 1980 : proceedings of a conference held in Amsterdam, the Netherlands, October 29-31, 1980 (: Berlin ; : New York)
edited by M.G. de Bruin and H. van Rossum
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 888
所蔵情報: loading…
40.

図書
図書
40. Propositional extensions of L[ω1ω] (pbk.)
Richard Gostanian and Karel Hrbacek
出版情報: Warszawa : Państwowe Wydawn. Naukowe : [available from Ars Polona], 1980
シリーズ名: Dissertationes mathematicae ; 169
所蔵情報: loading…
41.

図書
図書
41. Séminaire Pierre Lelong - Henri Skoda (Analyse) Années 1978/79 (: Berlin ; : New York)
edité par Pierre Lelong et Henri Skoda
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in mathematics ; 822
所蔵情報: loading…
42.

図書
図書
42. Séminaire Bourbaki vol. 1978/79, exposés 525-542 : avec table par noms d'auteurs de 1967/68 à 1978/79 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in mathematics ; 770
所蔵情報: loading…
43.

図書
図書
43. Séminaire de probabilités XIV 1978/79 (: Berlin ; : New York)
edité par J. Azéma et M. Yor
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in mathematics ; 784
所蔵情報: loading…
44.

図書
図書
44. World directory of mathematicians (1974 ; 1979)
International Mathematical Union
出版情報: Uppsala : The International Mathematical Union ; Almqvist & Wiksell, 1974-
所蔵情報: loading…
45.

図書
図書
45. Index of mathematical papers (vol. 9, part 1)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1979
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 53 and 54 (1977), author/key index
An annual index to Mathematical reviews volumes 53 and 54 (1977), author/key index
46.

図書
図書
46. Index of mathematical papers (vol. 9, part 2)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1979
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 53 and 54 (1977), subject index
An annual index to Mathematical reviews volumes 53 and 54 (1977), subject index
47.

図書
図書
47. Séminaire Bourbaki vol. 1976/77, exposés 489-506 (: Berlin ; : New York)
Bourbaki, Nicolas ; Séminaire Bourbaki
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in mathematics ; 677
所蔵情報: loading…
48.

図書
図書
48. Introduction to university mathematics (:boards ; :unibook)
J.L. Smyrl
出版情報: London : Hodder and Stoughton, c1978
所蔵情報: loading…
49.

図書
図書
49. Index of mathematical papers (vol. 8, part 1)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1978
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 51 and 52 (1976), author/key index
An annual index to Mathematical reviews volumes 51 and 52 (1976), author/key index
50.

図書
図書
50. Index of mathematical papers (vol. 8, part 2)
American Mathematical Society
出版情報: Providence : American Mathematical Society, c1978
所蔵情報: loading…
目次情報:
An annual index to Mathematical reviews volumes 51 and 52 (1976), subject index
An annual index to Mathematical reviews volumes 51 and 52 (1976), subject index