Your search returned 994 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by Series: Monographs in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York, 2005 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
2.
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Series: Monographs in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York, 2005 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
3.
A Modular Calculus for the Average Cost of Data Structuring [electronic resource] / by Michel Schellekens. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
4.
Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
5.
6.
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. 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, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
7.
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. by Series: Texts in Computer Science
Edition: 2nd Edition.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
8.
Logic Functions and Equations [electronic resource] : Examples and Exercises / by Bernd Steinbach, Christian Posthoff. 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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
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
15.
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
16.
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
17.
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
18.
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
19.
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
20.
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
Pages

Maintained by VTU Library