Wellcome

Refine your search

Your search returned 338 results.

Sort
Results
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 Text; Format: electronic available online remote; 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) .
Computable Models [electronic resource] / by Raymond Turner.

by Turner, Raymond | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
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 Text; Format: electronic available online remote; 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) .
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 Text; Format: electronic available online remote; 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) .
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 Text; Format: electronic available online remote; 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) .
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 Text; Format: electronic available online remote; 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) .
Pattern Calculus [electronic resource] : Computing with Functions and Structures / by Barry Jay.

by Jay, Barry | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / edited by Sergei Artemov, Anil Nerode.

by Artemov, Sergei | Nerode, Anil | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5407Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings / edited by R. Ramanujam, Sundar Sarukkai.

by Ramanujam, R | Sarukkai, Sundar | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5378Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Membrane Computing [electronic resource] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / edited by David Wolfe Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

by Corne, David Wolfe | Frisco, Pierluigi | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5391Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Computational Linguistics and Intelligent Text Processing [electronic resource] : 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5449Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge.

by Peled, Doron A | Wooldridge, Michael J | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5348Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus.

by Hanus, Michael | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5438Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Luca Alfaro.

by Alfaro, Luca | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5504Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by Giovanni Sommaruga.

by Sommaruga, Giovanni | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5363Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / edited by Peter Bosch, David Gabelaia, Jérôme Lang.

by Bosch, Peter | Gabelaia, David | Lang, Jérôme | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5422Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings / edited by Wenjie Li, Diego Mollá-Aliod.

by Li, Wenjie | Mollá-Aliod, Diego | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5459Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings / edited by Peter Bruza, Donald Sofge, William Lawless, Keith Rijsbergen, Matthias Klusch.

by Bruza, Peter | Sofge, Donald | Lawless, William | Rijsbergen, Keith | Klusch, Matthias | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5494Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / edited by Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martín-Vide.

by Dediu, Adrian Horia | Ionescu, Armand Mihai | Martín-Vide, Carlos | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5457Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Handbook of Weighted Automata [electronic resource] / edited by Manfred Droste, Werner Kuich, Heiko Vogler.

by Droste, Manfred | Kuich, Werner | Vogler, Heiko | SpringerLink (Online service).

Series: Monographs in Theoretical Computer Science. An EATCS SeriesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; 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) .
Pages

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

Powered by Koha