Results
|
|
|
|
Combinatorial Algorithms [electronic resource] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. by Iliopoulos, Costas S | Smyth, William F | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7056Source: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Simao, Adenilso | Morgan, Carroll | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7021Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. by Schreck, Pascal | Narboux, Julien | Richter-Gebert, Jürgen | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6877Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. by Jouannaud, Jean-Pierre | Shao, Zhong | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7086Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by van Benthem, Johan | Gupta, Amitabha | Parikh, Rohit | SpringerLink (Online service). Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
An Introduction to the Theory of Formal Languages and Automata by Ling, Peter. Edition: 6th ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Delhi: Jones and Bartlett learning, 2023Availability: Items available for loan: Mysore University School of Engineering (5) Call number: 005.13 LIN, ...
|
