Results of search for 'ccl=su:"Mathematical Logic and Formal Languages."'

Results
		Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia. by Leucker, Martin [editor.] Rueda, Camilo [editor.] Valencia, Frank D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9399 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Software Engineering for Collective Autonomic Systems : The ASCENS Approach / edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer. by Wirsing, Martin [editor.] Hölzl, Matthias [editor.] Koch, Nora [editor.] Mayer, Philip [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8998 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / edited by Rahul Jain, Sanjay Jain, Frank Stephan. by Jain, Rahul [editor.] Jain, Sanjay [editor.] Stephan, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9076 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [editor.] Zhang, Xingyuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9236 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott. by Martí-Oliet, Narciso [editor.] Ölveczky, Peter Csaba [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9200 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		AI 2015: Advances in Artificial Intelligence : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / edited by Bernhard Pfahringer, Jochen Renz. by Pfahringer, Bernhard [editor.] Renz, Jochen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9457 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton. by Croitoru, Madalina [editor.] Marquis, Pierre [editor.] Rudolph, Sebastian [editor.] Stapleton, Gem [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9501 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Machines, Computations, and Universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy. by Durand-Lose, Jerome [editor.] Nagy, Benedek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9288 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] Formenti, Enrico [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8977 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers / edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke. by Aher, Martin [editor.] Hole, Daniel [editor.] Jeřábek, Emil [editor.] Kupke, Clemens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8984 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Linguistic Expressions and Semantic Processing : A Practical Approach / by Alastair Butler. by Butler, Alastair [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		From Requirements to Java in a Snap : Model-Driven Requirements Engineering in Practice / by Michał Śmiałek, Wiktor Nowakowski. by Śmiałek, Michał [author.] Nowakowski, Wiktor [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / edited by Sébastien Destercke, Thierry Denoeux. by Destercke, Sébastien [editor.] Denoeux, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9161 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Formal Concept Analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego. by Baixeries, Jaume [editor.] Sacarea, Christian [editor.] Ojeda-Aciego, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9113 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Text Analysis Pipelines : Towards Ad-hoc Large-Scale Text Mining / by Henning Wachsmuth. by Wachsmuth, Henning [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9383 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. by van der Hoek, Wiebe [editor.] Holliday, Wesley H [editor.] Wang, Wen-fang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9394 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira. by Kahl, Wolfram [editor.] Winter, Michael [editor.] Oliveira, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9348 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9207 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki. by Proietti, Maurizio [editor.] Seki, Hirohisa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8981 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira. by de Paiva, Valeria [editor.] de Queiroz, Ruy [editor.] Moss, Lawrence S [editor.] Leivant, Daniel [editor.] de Oliveira, Anjolina G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9160 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Home libraries

Item types

Series

Topics

Your search returned 89 results.