Your search returned 1562 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
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
22.
Quaternions for Computer Graphics [electronic resource] / by John Vince. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
23.
Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. by
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
24.
New Algorithms, Architectures and Applications for Reconfigurable Computing [electronic resource] / edited by Patrick Lysaght, Wolfgang Rosenstiel. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2005 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
25.
Uncertainty, Rationality, and Agency [electronic resource] / by Wiebe Hoek. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
26.
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
27.
Rigid Flexibility [electronic resource] : The Logic of Intelligence / by Pei Wang. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
28.
Robustness and Usability in Modern Design Flows [electronic resource] / by Görschwin Fey, Rolf Drechsler. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
29.
Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
30.
Ingredients for Successful System Level Design Methodology [electronic resource] / by Hiren D. Patel, Sandeep K. Shukla. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
31.
High-Level Synthesis [electronic resource] : From Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
32.
Electronics System Design Techniques for Safety Critical Applications [electronic resource] / by Luca Sterpone. by Series: Lecture Notes in Electrical Engineering ; 26
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
33.
Functional Design Errors in Digital Circuits [electronic resource] : Diagnosis, Correction and Repair / by Kai-hui Chang, Igor L. Markov, Valeria Bertacco. by Series: Lecture Notes in Electrical Engineering ; 32
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
34.
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
35.
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
36.
Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
37.
The P=NP Question and Gödel’s Lost Letter [electronic resource] / by Richard J. Lipton. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
38.
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. by Series: Undergraduate Topics in Computer Science
Edition: 2nd ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
39.
A Proof Theory for Description Logics [electronic resource] / by Alexandre Rademaker. by Series: SpringerBriefs in Computer Science
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
40.
Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari. by
Edition: 3rd ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
Pages

Maintained by VTU Library