61. Introduction to Markov processes

by Stroock, Daniel W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: No items available Checked out (1).
62. Fuzzy mathematical programming and fuzzy matrix games

by Bector, C. R | Chandra, Suresh.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 519.3 BEC] (1).
63. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
64. Fuzzy group theory

by Mordeson, John N | Bhutani, Kiran R | Rosenfeld, Azriel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 MOR] (1).
65. Fuzzy equational logic

by Belohlavek, Radim | Vychodil, Vilem.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 BEL] (1).
66. Proofs from the book

by Ziegler, Gunter M | Aigner, Martin.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 510 AIG] (1).
67. Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings

by Rovan, Branislav | Vojtas, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
68. Human-Computer Interaction with Mobile Devices and Services : 5th International Symposium, Mobile HCI 2003 Udine, Italy, September 8-11, 2003 : Proceedings

by Chittaro, Luca.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CHI] (1).
69. Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings

by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
70. Randomness and Completeness in Computational Complexity

by Melkebeek, Dieter van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).
71. Morphological image analysis : principles and applications.

by Soille, Pierre.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 621.367 SOI] (1).
72. Inequalities : selecta of Elliott H. Lieb

by Ruskai, M. B | Lieb, Elliott H | Loss, M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 515.26 LIE] (1).
73. Handbook of mathematics

by Bronshtein, I. N | Muehlig, H | Musiol, G | Semendyayev, K. A.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 510 BRO] (1).
74. Stochastic Analysis

by Malliavin, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.23 MAL] (1).
75. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

by Mayr, Ernst W | Puech, Claude.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
76. Combinatorial Theory

by Aigner, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1979Availability: Items available for loan: [Call number: 511.6 AIG] (1).
77. Graphs, Networks and Algorithms

by Jungnickel, Dieter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 511.8 JUN] (1).
78. Mathematical Visualization

by Hege, Hans-Christian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 510.285 HEG] (1).
79. Functions of a real variable : elements of mathematics

by Bourbaki, Nicolas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 515.8 BOU] (1).
80. Logic programming paradigm : a 25-year perspective

by Apt, Krzysztof R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.115 APT] (1).

Powered by Koha