Your search returned 338 results.

Results
			Studies in formal semantics :intensionality, temporality, negation edited by Franz Guenthner and Christian Rohrer by Guenthner, Franz [editor ] \| Rohrer, Christian [editor ]. Series: North-Holland linguistic series ; 35Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-holland Publishing Company, 1978Availability: Items available for loan: Mysore University Main Library (1) Call number: 412 GUE. Place hold Log in to add tags Add to cart (remove)
			No cover image available The mathematical theory of context free languages Seymour Ginsburg by Ginsburg, Seymour. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: NewYork : McGraw-Hill, Inc., 1966Availability: Items available for loan: Mysore University Main Library (1) Call number: 410 GIN. Place hold Log in to add tags Add to cart (remove)
			Formal languages / Arto Salomaa by Salomaa, Arto. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Academic Press, Inc., 1973Availability: Items available for loan: Mysore University Main Library (1) Call number: 510.78 SAL. Place hold Log in to add tags Add to cart (remove)
			Basis for theoretical computer science by Arbib, Michael A. -et.al. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: NY Springer-Verlag 1981Availability: Items available for loan: Mysore University Main Library (1) Call number: 510.78. Place hold Log in to add tags Add to cart (remove)
			Introduction to formal languages and automata by Linz, Peter. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N.Delhi Narosa 1997Availability: Items available for loan: Mysore University Main Library (1) Call number: 510.78. Place hold Log in to add tags Add to cart (remove)
			Studies In Formal Semantics : Intensionality, Temporality, Negation by Rohrer, Christian [editor] \| Guenthner, Franz [editor]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-holland Publications, 1978Availability: Items available for loan: University Graduate Library (1) Call number: 412 GUE. Place hold Log in to add tags Add to cart (remove)
			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)

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

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

			Studies in formal semantics :intensionality, temporality, negation edited by Franz Guenthner and Christian Rohrer by Guenthner, Franz [editor ] \| Rohrer, Christian [editor ]. Series: North-Holland linguistic series ; 35Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-holland Publishing Company, 1978Availability: Items available for loan: Mysore University Main Library (1) Call number: 412 GUE. Place hold Log in to add tags Add to cart (remove)
			No cover image available The mathematical theory of context free languages Seymour Ginsburg by Ginsburg, Seymour. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: NewYork : McGraw-Hill, Inc., 1966Availability: Items available for loan: Mysore University Main Library (1) Call number: 410 GIN. Place hold Log in to add tags Add to cart (remove)
			Formal languages / Arto Salomaa by Salomaa, Arto. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Academic Press, Inc., 1973Availability: Items available for loan: Mysore University Main Library (1) Call number: 510.78 SAL. Place hold Log in to add tags Add to cart (remove)
			Basis for theoretical computer science by Arbib, Michael A. -et.al. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: NY Springer-Verlag 1981Availability: Items available for loan: Mysore University Main Library (1) Call number: 510.78. Place hold Log in to add tags Add to cart (remove)
			Introduction to formal languages and automata by Linz, Peter. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N.Delhi Narosa 1997Availability: Items available for loan: Mysore University Main Library (1) Call number: 510.78. Place hold Log in to add tags Add to cart (remove)
			Studies In Formal Semantics : Intensionality, Temporality, Negation by Rohrer, Christian [editor] \| Guenthner, Franz [editor]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-holland Publications, 1978Availability: Items available for loan: University Graduate Library (1) Call number: 412 GUE. Place hold Log in to add tags Add to cart (remove)
			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)

Refine your search

Availability

Authors

Collections

Holding libraries

Home libraries

Item types

Series

Topics

Your search returned 338 results.