Results of search for 'ccl=su:{Formal languages.}' › Central Library, Shahjalal University of Science & Technology catalog

Results
	81.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by Leite, João [editor.] Son, Tran Cao [editor.] Torroni, Paolo [editor.] Torre, Leon van der [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8143 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	82.	Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by Schulte, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8124 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	83.	Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by Muntean, Traian [editor.] Poulakis, Dimitrios [editor.] Rolland, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8080 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	84.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7993 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	85.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [editor.] Bensalem, Saddek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8174 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	86.	Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by Fontaine, Pascal [editor.] Ringeissen, Christophe [editor.] Schmidt, Renate A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8152 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	87.	Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann. by Jain, Sanjay [editor.] Munos, Rémi [editor.] Stephan, Frank [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8139 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	88.	KI 2013: Advances in Artificial Intelligence [electronic resource] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Ingo J. Timm, Matthias Thimm. by Timm, Ingo J [editor.] Thimm, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8077 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	89.	Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] Roy, Olivier [editor.] Huang, Huaxin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8196 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	90.	Modeling and Using Context [electronic resource] : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny. by Brézillon, Patrick [editor.] Blackburn, Patrick [editor.] Dapoigny, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8175 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	91.	Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by Pecheur, Charles [editor.] Dierkes, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8187 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	92.	Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Abdulla, Parosh Aziz [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8169 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	93.	Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by Groves, Lindsay [editor.] Sun, Jing [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8144 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	94.	Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay. by Gabbay, Dov M [author.] SpringerLink (Online service) Series: Cognitive Technologies Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	95.	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by Duchier, Denys [editor.] Parmentier, Yannick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8114 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	96.	Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Hinze, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8241 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	97.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] Middeldorp, Aart [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8312 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	98.	Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers / edited by Thierry Lecroq, Laurent Mouchard. by Lecroq, Thierry [editor.] Mouchard, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8288 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	99.	Teoria degli Automi Finiti [electronic resource] / by Aldo de Luca, Flavio D’Alessandro. by Luca, Aldo de [author.] D’Alessandro, Flavio [author.] SpringerLink (Online service) Series: UNITEXT ; 68 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	100.	Paraconsistency: Logic and Applications [electronic resource] / edited by Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli. by Tanaka, Koji [editor.] Berto, Francesco [editor.] Mares, Edwin [editor.] Paoli, Francesco [editor.] SpringerLink (Online service) Series: Logic, Epistemology, and the Unity of Science ; 26 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 111 results.