Your search returned 1060 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Fundamental Problems in Computing [electronic resource] : Essays in Honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
22.
Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
23.
Programming Languages and Operational Semantics [electronic resource] : A Concise Overview / by Maribel Fernández. by Series: Undergraduate Topics in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
24.
Compact Models and Measurement Techniques for High-Speed Interconnects [electronic resource] / by Rohit Sharma, Tapas Chakravarty. by Series: SpringerBriefs in Electrical and Computer Engineering
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
25.
Social Semantics [electronic resource] : The Search for Meaning on the Web / by Harry Halpin. by Series: Semantic Web and Beyond, Computing for Human Experience ; 13
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
26.
Distributed Programming [electronic resource] : Theory and Practice / by A. Udaya Shankar. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
27.
A General Framework for Reasoning On Inconsistency [electronic resource] / by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud. by Series: SpringerBriefs in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
28.
Advanced Symbolic Analysis for VLSI Systems [electronic resource] : Methods and Applications / by Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
29.
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
30.
Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
31.
Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson. by Series: Undergraduate Topics in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
32.
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
33.
Value-Range Analysis of C Programs [electronic resource] : Towards Proving the Absence of Buffer Overflow Vulnerabilities / edited by Axel Simon. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
34.
Elementary Logic [electronic resource] : For Software Development / by Robert Lover. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
35.
Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by Series: Undergraduate Topics in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
36.
Introduction to Embedded System Design Using Field Programmable Gate Arrays [electronic resource] / by Rahul Dubey. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
37.
Principles of Programming Languages [electronic resource] / by Gilles Dowek. by Series: Undergraduate Topics in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
38.
Computable Models [electronic resource] / by Raymond Turner. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
39.
Understanding Concurrent Systems [electronic resource] / by A.W. Roscoe. by Series: Texts in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
40.
Drawing Programs: The Theory and Practice of Schematic Functional Programming [electronic resource] / by Tom Addis, Jan Addis. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
Pages

Maintained by VTU Library