Your search returned 966 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
301.
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 5110
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
302.
Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / edited by Ron Meyden, Leendert Torre. by Series: Lecture Notes in Computer Science ; 5076
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
303.
Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik. by Series: Lecture Notes in Computer Science ; 5123
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
304.
Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 5117
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
305.
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring. by Series: Lecture Notes in Computer Science ; 5133
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
306.
307.
Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / edited by Oscar H. Ibarra, Bala Ravikumar. by Series: Lecture Notes in Computer Science ; 5148
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
308.
Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings / edited by Sergei O. Kuznetsov, Stefan Schmidt. by Series: Lecture Notes in Computer Science ; 4390
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
309.
STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil. by Series: Lecture Notes in Computer Science ; 4393
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
310.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings / edited by Alexander Gelbukh. by Series: Lecture Notes in Computer Science ; 4394
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
311.
312.
313.
314.
315.
316.
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jörg Bauer. by Series: Lecture Notes in Computer Science ; 4444
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
317.
318.
Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla. by Series: Lecture Notes in Computer Science ; 4407
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
319.
Anaphora: Analysis, Algorithms and Applications [electronic resource] : 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers / edited by António Branco. by Series: Lecture Notes in Computer Science ; 4410
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
320.
Pages

Maintained by VTU Library