|
461.
|
Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web
by Dillon, Tharam S. Material type: 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2011Availability: Items available for loan: [Call number: 519.7 AUG] (1).
|