Your search returned 64 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
42.
Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong. by Series: Lecture Notes in Computer Science ; 6690
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
43.
44.
Apartness and Uniformity [electronic resource] : A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
45.
Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser. by Series: Lecture Notes in Computer Science ; 6810
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
46.
47.
Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. by Series: Lecture Notes in Computer Science ; 6953
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
48.
49.
On Intuitionistic Fuzzy Sets Theory [electronic resource] / by Krassimir T. Atanassov. by Series: Studies in Fuzziness and Soft Computing ; 283
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
50.
Mathematics of Discrete Structures for Computer Science [electronic resource] / by Gordon J. Pace. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
51.
52.
53.
The Logic of Categorial Grammars [electronic resource] : A Deductive Account of Natural Language Syntax and Semantics / by Richard Moot, Christian Retoré. by Series: Lecture Notes in Computer Science ; 6850
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
54.
The Complexity of Valued Constraint Satisfaction Problems [electronic resource] / by Stanislav Živný. by Series: Cognitive Technologies
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
55.
Mathematics of Fuzzy Sets and Fuzzy Logic [electronic resource] / by Barnabas Bede. by Series: Studies in Fuzziness and Soft Computing ; 295
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
56.
On Fuzziness [electronic resource] : A Homage to Lotfi A. Zadeh – Volume 2 / edited by Rudolf Seising, Enric Trillas, Claudio Moraga, Settimo Termini. by Series: Studies in Fuzziness and Soft Computing ; 299
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
57.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Series: Lecture Notes in Computer Science ; 7734
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
58.
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by Series: Lecture Notes in Computer Science ; 7841
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
59.
Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa. by Series: Lecture Notes in Computer Science ; 7941
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
60.
Pages

Maintained by VTU Library