461. Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web

by Dillon, Tharam S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004 DIL] (1).
462. Languages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of his 65th Birthday

by Grumberg, Orna.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 004 GRU] (1).
463. Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks

by Koster, Arie | Munoz, Xavier.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004.6 KOS] (1).
464. Stochastic coalgebraic logic

by Doberkat, Ernst-Erich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 519.22 DOB] (1).
465. Multimodal corpora : from models of natural interaction to systems and applications

by Kipp, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 006.7 KIP] (1).
466. Theoretical aspects of distributed computing in sensor networks

by Nikoletseas, Sotiris | Romil, Jose D. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2011Availability: Items available for loan: [Call number: 621.3821 NIK] (1).
467. Exact exponential algorithms.

by Fomin, Fedor V | Kratsch, D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 518.1 FOM] (1).
468. Information systems security : 6th international conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. proceedings

by Mathuria, Anish | Jha, Somesh.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 MAT] (2).
469. Foundations of security analysis and design VI : FOSAD tutorial lectures

by Aldini, Alessandro | Gorrieri, Roberto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 004 ALD] (1).
470. Search Computing : Broadening Web Search

by Ceri, Stefano | Brambilla, Marco.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 004 CER] (1).
471. Software Engineering : an engineering approach

by Peters, James F | Pedrycz, Witold.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 005.1 PET] (1).
472. Distributed systems : concepts and design

by Coulouris, George F | Dollimore, Jean | Kindberg, Tim.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education, 2005Availability: Items available for loan: [Call number: 004.36 COU] (1).
473. Integrated Approach to Software Engineering

by Jalote, Pankaj.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Narosa Publishing House, 2005Availability: Items available for loan: [Call number: 005.1 JAL] (2). Checked out (1).
474. Design of wireless autonomous datalogger IC's

by Claes, Wim | Puers, R | Sansen, Willy M. C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.3815 CLA] (1).
475. Verilog PLI handbook : a user's guide and comprehensive reference on the Verilog programming language interface

by Sutherland, Stuart.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Springer, 2008Availability: Items available for loan: [Call number: 621.392 SUT] (2).
476. CMOS PLL synthesizers : analysis and design

by Shu, Keliu | Sanchez-Sinencio, Edgar.

Edition: Springer International ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 621.39732 SHU] (1).
477. Multimedia signals and systems

by Mandal, Mrinal Kr.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Springer, 2003Availability: Items available for loan: [Call number: 006.7 MAN] (2).
478. Advanced computer architecture : parallelism, scalability, programmability

by Hwang, Kai.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: McGraw-Hill Education India, 2016Availability: Items available for loan: [Call number: 004.35 HWA] (2).
479. Laboratory course for programming with Java

by Dale, Nell.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Jones & Bartlett, 2009Availability: Items available for loan: [Call number: 005.133 DAL] (1).
480. Theory of randomized search heuristics : foundations and recent developments

by Auger, Anne | Doerr, Benjamin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2011Availability: Items available for loan: [Call number: 519.7 AUG] (1).

Powered by Koha