301. Deadlock resolution in automated manufacturing systems : a novel petri net approach

by Li, Zhi Wu | Zhou, MengChu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 670.4270151135 LIZ] (1).
302. Natural image statistics : a probabilistic approach to early computational vision

by Hyvarinen, Aapo | Hoyer, Patrik O | Hurri, Jarmo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 006.37 HYV] (1).
303. Mathematical methods in counterterrorism

by Memon, Nasrullah.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Wien: Springer, 2009Availability: Items available for loan: [Call number: 363.325170151 MEM] (1).
304. Finite model theory and its applications

by Gradel, Erich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 511.34 GRA] (1).
305. New tools of economic dynamics

by Puchet, Martin | Leskow, Jacek | Punzo, Lionello F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 330.015195 LES] (1).
306. Mathematical modeling for the life sciences

by Istas, Jacques.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 570.15118 IST] (1).
307. Fundamentals of magnetism

by Getzlaff, Mathias.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 538 GET] (1).
308. Gene expression programming : mathematical modeling by an artificial intelligence

by Ferreira, Candida.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 572.865 FER] (1).
309. Mathematical methods for engineers and scientists 3

by Tang, K. T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 530.15 TAN] (1).
310. Sensors : advancements in modeling, design issues, fabrication and practical applications

by Huang, Ray Yeuh-Min | Mukhopadhyay, Subhas Chandra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 681.2 MUK] (1).
311. Multiaccess, reservations and queues

by Denteneer, Dee | Leeuwaarden, J S van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 621.3815 DEN] (1).
312. Financial markets in continuous time

by Dana, Rose-Anne | Jeanblanc, Monique.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 332.0151955 DAN] (1).
313. Markov models for pattern recognition : from theory to applications

by Fink, Gernot A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.4 FIN] (1).
314. Cells and robots : modeling and control of large-size agent populations

by Lima, Pedro U | Milutinovic, Dejan Lj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 629.892 MIL] (1).
315. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
316. Universe before the big bang : cosmology and string theory

by Gasperini, Maurizio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 523.1 GAS] (1).
317. Quantum transport : modelling analysis and asymptotics : lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, September 11-16, 2006

by Allaire, Gregoire.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 530.1433 GRE] (1).
318. Algorithmic bioprocesses

by Condon, Anne.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 570.285 CON] (1).
319. Innovation networks : new approaches in modelling and analyzing

by Pyka, Andreas | Scharnhorst, Andrea.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 003 PYK] (1).
320. Continuous-time Markov decision processes : theory and applications

by Guo, Xianping | Hernandez-Lerma, O.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 519.233 GUO] (1).

Powered by Koha