Your search returned 327 results.

Results
		The q-theory of Finite Semigroups [electronic resource] / by John Rhodes, Benjamin Steinberg. by Rhodes, John \| Steinberg, Benjamin \| SpringerLink (Online service). Series: Springer Monographs in MathematicsSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Argumentation in Artificial Intelligence [electronic resource] / edited by Guillermo Simari, Iyad Rahwan. by Simari, Guillermo \| Rahwan, Iyad \| SpringerLink (Online service). Edition: First.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek. by Dowek, Gilles \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Quaternions for Computer Graphics [electronic resource] / by John Vince. by Vince, John \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. by Schwartz, Jacob T \| Cantone, Domenico \| Omodeo, Eugenio G \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Towards Mathematical Philosophy [electronic resource] : Papers from the Studia Logica conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing. by Makinson, David \| Malinowski, Jacek \| Wansing, Heinrich \| SpringerLink (Online service). Series: Trends in Logic ; 28Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Games: Unifying Logic, Language, and Philosophy [electronic resource] / edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo. by Majer, Ondrej \| Pietarinen, Ahti-Veikko \| Tulenheimo, Tero \| SpringerLink (Online service). Series: Logic, Epistemology, and the Unity of Science ; 15Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Fundamental Problems in Computing [electronic resource] : Essays in Honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla. by Ravi, S. S \| Shukla, Sandeep K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada. by Tabuada, Paulo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou. by Triantaphyllou, Evangelos \| SpringerLink (Online service). Series: Springer Optimization and Its Applications ; 43Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. by Dastani, Mehdi \| Hindriks, Koen V \| Meyer, John-Jules Charles \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell. by Prestel, Alexander \| Delzell, Charles N \| SpringerLink (Online service). Series: UniversitextSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho. by Blum, Edward K \| Aho, Alfred V \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		A Course in Formal Languages, Automata and Groups [electronic resource] / by Ian M. Chiswell. by Chiswell, Ian M \| SpringerLink (Online service). Series: UniversitextSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi. by Crespi Reghizzi, Stefano \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computable Models [electronic resource] / by Raymond Turner. by Turner, Raymond \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul \| Bowen, Jonathan P \| Siddiqi, Jawed \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. by Apt, Krzysztof R \| Boer, Frank S \| Olderog, Ernst-Rüdiger \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Neural-Symbolic Cognitive Reasoning [electronic resource] / by Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay. by d’Avila Garcez, Artur S \| Lamb, Luís C \| Gabbay, Dov M \| SpringerLink (Online service). Series: Cognitive TechnologiesSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori. by Zermelo, Ernst \| Ebbinghaus, Heinz-Dieter \| Fraser, Craig G \| Kanamori, Akihiro \| SpringerLink (Online service). Series: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)

1
2
3
4
5
6
7
8
9
10
Next
Last

No. of hits (from 9th Mar 12) :

		The q-theory of Finite Semigroups [electronic resource] / by John Rhodes, Benjamin Steinberg. by Rhodes, John \| Steinberg, Benjamin \| SpringerLink (Online service). Series: Springer Monographs in MathematicsSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Argumentation in Artificial Intelligence [electronic resource] / edited by Guillermo Simari, Iyad Rahwan. by Simari, Guillermo \| Rahwan, Iyad \| SpringerLink (Online service). Edition: First.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek. by Dowek, Gilles \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Quaternions for Computer Graphics [electronic resource] / by John Vince. by Vince, John \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. by Schwartz, Jacob T \| Cantone, Domenico \| Omodeo, Eugenio G \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Towards Mathematical Philosophy [electronic resource] : Papers from the Studia Logica conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing. by Makinson, David \| Malinowski, Jacek \| Wansing, Heinrich \| SpringerLink (Online service). Series: Trends in Logic ; 28Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Games: Unifying Logic, Language, and Philosophy [electronic resource] / edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo. by Majer, Ondrej \| Pietarinen, Ahti-Veikko \| Tulenheimo, Tero \| SpringerLink (Online service). Series: Logic, Epistemology, and the Unity of Science ; 15Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Fundamental Problems in Computing [electronic resource] : Essays in Honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla. by Ravi, S. S \| Shukla, Sandeep K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada. by Tabuada, Paulo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou. by Triantaphyllou, Evangelos \| SpringerLink (Online service). Series: Springer Optimization and Its Applications ; 43Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. by Dastani, Mehdi \| Hindriks, Koen V \| Meyer, John-Jules Charles \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell. by Prestel, Alexander \| Delzell, Charles N \| SpringerLink (Online service). Series: UniversitextSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho. by Blum, Edward K \| Aho, Alfred V \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		A Course in Formal Languages, Automata and Groups [electronic resource] / by Ian M. Chiswell. by Chiswell, Ian M \| SpringerLink (Online service). Series: UniversitextSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi. by Crespi Reghizzi, Stefano \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Computable Models [electronic resource] / by Raymond Turner. by Turner, Raymond \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul \| Bowen, Jonathan P \| Siddiqi, Jawed \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. by Apt, Krzysztof R \| Boer, Frank S \| Olderog, Ernst-Rüdiger \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Neural-Symbolic Cognitive Reasoning [electronic resource] / by Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay. by d’Avila Garcez, Artur S \| Lamb, Luís C \| Gabbay, Dov M \| SpringerLink (Online service). Series: Cognitive TechnologiesSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)
		Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori. by Zermelo, Ernst \| Ebbinghaus, Heinz-Dieter \| Fraser, Craig G \| Kanamori, Akihiro \| SpringerLink (Online service). Series: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) . Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Home libraries

Item types

Series

Topics

Your search returned 327 results.