481. Algorithmics of matching under preferences

by Manlove, David F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2013Availability: Items available for loan: [Call number: 511.66 MAN] (1).
482. Computer systems : theory, technology, and applications

by Sparck Jones, Karen | Herbert, Andrew J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York Springer 2004Availability: Items available for loan: [Call number: 005.12 HER] (1).
483. QoS in packet networks

by Park, Kun I.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.66 PAR] (1).
484. Theoretical foundations of VLSI design

by McEvoy, K | Tucker, J. V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 621.395 MCE] (1).
485. Logic programming : operational semantics and proof theory

by Andrews, James H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 005.131 AND] (1).
486. Constrained coding and soft iterative decoding

by Fan, John L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.397 FAN] (1).
487. JPEG2000 : image compression fundamentals, standards and practice

by Taubman, David S | Marcellin, Michael W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 006.6 TAU] (2).
488. Model Engineering in Mixed-Signal Circuit Design

by Huss, Sorin A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Kluwer Academic Publishers, 2001Availability: Items available for loan: [Call number: 621.3815 HUS] (1).
489. Learning to Classify Text Using Support Vector Machines

by Joachims, Thorsten.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 2002Availability: Items available for loan: [Call number: 005 JOA] (1).
490. Wavelet theory and its applications

by Young, Randy K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Kluwer Academic Publishers, 1993Availability: Items available for loan: [Call number: 621.3822 YOU] (1).
491. Multiantenna Channels : capacity, coding and signal processing

by Verdu, Sergio | Foschini, Gerard J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence: American Mathematical Society, 2003Availability: Items available for loan: [Call number: 621.3822 FOS] (1).
492. Privacy enhancing technologies : Second international workshop, PET 2002, San Francisco, CA, USA, April 14-15, 2002, revised papers

by Dingledine, Roger | Syverson, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 DIN] (1).
493. Database and XML Technologies : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 2003 ; Proceedings

by Bellahsene, Zohra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 BEL] (1).
494. Medical Data Analysis : 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003 : Proceedings

by Perner, Petra | Brause, Rudiger | Holzhutter, Hermann-Georg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PER] (1).
495. Membrane Computing : International Workshop, WMC 2003 : Tarragona, Spain, July, 2003 : revised papers

by Martin-Vide, Carlos | Mauri, Giancarlo | Paun, Gheorghe | Saloma, Arto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MAR] (1).
496. Digital Watermarking : Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, revised papers

by Kalker, Ton | Cox, Ingemar J | Ro, Yong Man.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 KAL] (1).
497. Combinatorial pattern matching : Fifteenth Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004 ; proceedings

by Sahinalp, Suleyman Cenk | Dogrusoz, Ugur | Muthukrishnan, S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 SAH] (1).
498. Machine learning for multimodal interaction : first international workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004 ; revised selected papers

by Bengio, Samy | Bourlard, Herve.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BEN] (1).
499. Intelligence and Security Informatics : First NSF/NIJ Symposium, ISI 2003 Tucson, AZ, USA, June 2-3, 2003 proceedings

by Chen, Hsinchun.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CHE] (1).
500. UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings

by Kent, Stuart | Evans, Andy | Selic, Bran.

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

Powered by Koha