Your search returned 966 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. 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
22.
Refinement in Z and Object-Z [electronic resource] : Foundations and Advanced Applications / by John Derrick, Eerke A. Boiten. by
Edition: 2nd ed. 2014.
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
23.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by Series: Texts in Computer Science
Edition: 2nd ed. 2013.
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
24.
Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho. by
Edition: 1.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
25.
26.
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
27.
Regulated Grammars and Automata [electronic resource] / by Alexander Meduna, Petr Zemek. 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
28.
Constructing Correct Software [electronic resource] / by John Cooke. by
Edition: Second Edition.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2005 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.
31.
Discrete Mathematics Using a Computer [electronic resource] / by John O’Donnell, Cordelia Hall, Rex Page. by
Edition: 2.
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
32.
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. 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, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
33.
Mathematical Linguistics [electronic resource] / by András Kornai. by Series: Advanced Information and Knowledge Processing
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.
A Concise Introduction to Languages and Machines [electronic resource] / by Alan P. Parkes. 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, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
35.
Line Drawing Interpretation [electronic resource] / by Martin Cooper. 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
36.
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
37.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi. by Series: Texts 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.
Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. 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
40.
Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. by Series: Texts 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
Pages

Maintained by VTU Library