Refine your search

Your search returned 553 results.

Sort
Results
1.
Software reliability modeling and identification. Vol 341 by Series: Lecture Notes in Computer Science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1988
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005 BIT/S.

2.
Electronic books and e-publishing: A practical guide for authors by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London Springer 2001
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 070.5797 HEN/E.

3.
Agent oriented software engineering by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 2001
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.1 CIA/A.

4.
Software reliability modeling and identification by Series: Lecture Notes in Computer Science:341
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1988
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005 BIT/S.

5.
DVB: The family of international standards for digital video broadcasting by Series: Signals and Communication Technology
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Germany Springer 2005
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 006.696 REI/D.

6.
High performance computing-HIPC 2004 by Series: Lecture Notes in Computer Science-3296
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Bangalore Springer 2004
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005 BOU/H.

7.
Real mathematical analysis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2002
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 515 PUG/R.

8.
Programming in prolog using the ISO standard by
Edition: 5
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2004
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.133PR CLO/P.

9.
Beginning relational data modeling by
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2005
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.74 ALL/B.

10.
Advanced dot net remoting by
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2005
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 006.76 RAM/A.

11.
Pro visual studio net by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2005
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.12028V SEM/P.

12.
Cryptography in C and C++ by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2003
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.82 WEL/C.

13.
Entity relationship modeling: Foundations of database technology by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 2000
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.74 THA/E.

14.
Writing for computer science by
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London Springer 2004
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 658.453 ZOB/W.

15.
Introductory statistics and random phenomina: Uncertainity, complexity and chaotic behavior in engineering and science with mathematica uncertain virtual worlds by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2005
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 519.5 DEN/I.

16.
Principles of program analysis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1999
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.12 NIE/P.

17.
Systems and software verification: Model checking techniques and tools by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer 1999
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.14 BER/S.

18.
Introduction to time series and forecasting by
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York Springer 2002
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 519.5 BRO/I.

19.
Statistical methods in bioinformatics: An introduction by Series: Statistics for Biology and Health
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2005
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 570.2 EWE/S.

20.
Next generation design and verification methodologies for distributed embedded control systems: Proceedings of the GM R and D workshop, Banglore, India, Jan 2007 by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi Springer 2007
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 629.8 RAM/N.

Pages