Results of search for 'ccl=su:{ Formal languages.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	181.	Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / by Escobar, Santiago [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8663 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	182.	Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / 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 Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	183.	Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / by Meyer, Roland [editor.] Platzer, André [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9360 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	184.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10703 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	185.	From Reactive Systems to Cyber-Physical Systems [electronic resource] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Cleaveland, Rance [editor.] Grosu, Radu [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11500 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	186.	Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings / by Chen, Yixiang [editor.] Zhang, Songmao [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1657 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	187.	NASA Formal Methods [electronic resource] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / by Rayadurgam, Sanjai [editor.] Tkachuk, Oksana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9690 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	188.	Tests and Proofs [electronic resource] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / by Aichernig, Bernhard K [editor.] Furia, Carlo A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9762 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	189.	Computational Processing of the Portuguese Language [electronic resource] : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings / by Silva, João [editor.] Ribeiro, Ricardo [editor.] Quaresma, Paulo [editor.] Adami, André [editor.] Branco, António [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9727 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	190.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / by Lecomte, Thierry [editor.] Pinger, Ralf [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9707 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	191.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / by Collart-Dutilleul, Simon [editor.] Lecomte, Thierry [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11495 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	192.	Logic, Rationality, and Interaction [electronic resource] : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / by Blackburn, Patrick [editor.] Lorini, Emiliano [editor.] Guo, Meiyun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11813 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	193.	Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by Caron, Pascal [editor.] Mignot, Ludovic [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13266 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	194.	Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / by Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3188 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	195.	Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / by Ayala-Rincón, Mauricio [editor.] Muñoz, César A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10499 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	196.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / by Petrucci, Laure [editor.] Seceleanu, Cristina [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10471 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	197.	Interoperability and Open-Source Solutions for the Internet of Things [electronic resource] : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers / by Podnar Žarko, Ivana [editor.] Broering, Arne [editor.] Soursos, Sergios [editor.] Serrano, Martin [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10218 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	198.	Artificial General Intelligence [electronic resource] : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings / by Everitt, Tom [editor.] Goertzel, Ben [editor.] Potapov, Alexey [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10414 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	199.	Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / by Calimeri, Francesco [editor.] Hamlen, Kevin [editor.] Leone, Nicola [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10702 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	200.	Database and Expert Systems Applications [electronic resource] : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II / by Hartmann, Sven [editor.] Ma, Hui [editor.] Hameurlain, Abdelkader [editor.] Pernul, Günther [editor.] Wagner, Roland R [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11030 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1753 results.