561. Sweet Reason

by Tymoczko, Tom.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 160 TYM] (1).
562. Advanced Mathematical Methods For Scientist and Engineers I

by Bender, Carl M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 515.35 BEN] (1).
563. Inside Calculus

by Exner, George R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 515.21 EXN] (1).
564. Craft of editing : a guide for managers, scientists, and engineers

by Alley, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 808.0666 ALL] (1).
565. Introduction to Mathematical Structures and Proofs

by Gerstein, Larry J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 GER] (1).
566. Introduction to quantum computing algorithms

by Pittenger, Arthur O.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004.1 PIT] (1).
567. Source code optimization techniques for data flow dominated embedded software

by Heiko, Falk | Marwedel, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 FAL] (1).
568. Mathematics, form and function

by Mac Lane, Saunders.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1986Availability: Items available for loan: [Call number: 510 MAC] (1).
569. Information Assurance

by Blyth, Andrew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.8 BLY] (1).
570. Vector analysis for computer graphics

by Vince, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2007Availability: Items available for loan: [Call number: 006.60151563 VIN] (1).
571. Improvements in system safety : proceeding of the Sixteenth Safety-critical Systems Symposium, February 2008

by Redmill, Felix | Anderson, Tom | Safety-Critical Systems Symposium.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2008Availability: Items available for loan: [Call number: 363.11 RED] (1).
572. Quantum mechanics for pedestrians 1 : fundamentals

by Pade, Jochen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer-Verlag, 2013Availability: Items available for loan: [Call number: 530.12 PAD] (1).
573. Distributed computing : Mobile and Wireless Computing : 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002 : proceedings

by Das, Sajal K | Bhattacharya, Swapan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 DAS] (1).
574. Management of Multimedia Networks and Services: 6th IFIP/IEEE International Conference, MMNS 2003 Belfast, Northern Ireland, UK, September 7-10, 2003: Proceedings

by Marshall, Alan | Agoulmine, Nazim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAR] (1).
575. Composition of Secure Multi-Party Protocols : Comprehensive Study

by Lindell, Yehuda.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIN] (1).
576. Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

by Saraswat, Vijay A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
577. Database Systems for Advances Applications : 9th International conference, DASFAA 2004 Jeju Island, Korea, March 2004 ; proceedings

by Lee, Yoon Joon | Lee, Doheon | Li, Jianzhong | Whang, Kyu-young.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LEE] (1).
578. Computing in algebraic geometry : a quick start using singular

by Decker, Wolfram | Lossen, Christoph.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Springer-Verlag and Hindustan Book Agency, 2006Availability: Items available for loan: [Call number: 516.35 DEC] (1).
579. Multi-agent systems and applications III: 3rd International central and Eastern European conference on multi-agent systems. CEEMAS 2003 Prague, Czech Republic, June 16-18, 2003

by Marik, Vladimir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MAR] (1).
580. Research and Advanced Technology for Digital Libraries: 7th International Conference, ECDL 2003 Trondheim, Norway, August 17-22, 2003: Proceedings

by Koch, Traugott | Solvberg, Ingeborg Torvik.

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

Powered by Koha