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

Results
	41.	Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Bojańczyk, Mikołaj [editor.] Simpson, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11425 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)
	42.	Logics in Artificial Intelligence [electronic resource] : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / by Calimeri, Francesco [editor.] Leone, Nicola [editor.] Manna, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11468 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)
	43.	Computing and Software Science [electronic resource] : State of the Art and Perspectives / by Steffen, Bernhard [editor.] Woeginger, Gerhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10000 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)
	44.	Informatics in Schools. A Step Beyond Digital Education [electronic resource] : 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings / by Bollin, Andreas [editor.] Futschek, Gerald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13488 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)
	45.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings / by Gottlob, Georg [editor.] Inclezan, Daniela [editor.] Maratea, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13416 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)
	46.	Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / by Artho, Cyrille [editor.] Legay, Axel [editor.] Peled, Doron [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9938 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)
	47.	Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / by Gill, Andy [editor.] Hage, Jurriaan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7257 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	48.	Principles and Practice of Constraint Programming - CP 2012 [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings / by Milano, Michela [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7514 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	49.	Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Rust, Heinrich [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3456 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	50.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Abraham, Erika [editor.] Havelund, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8413 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Reliable Software Technologies -- Ada-Europe 2012 [electronic resource] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings / by Brorsson, Mats [editor.] Pinho, Luis Miguel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7308 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	Languages and Compilers for Parallel Computing [electronic resource] : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers / by Hall, Mary [editor.] Sundar, Hari [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11882 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)
	53.	Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Groote, Jan Friso [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13487 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)
	54.	Service-Oriented Computing – ICSOC 2017 Workshops [electronic resource] : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers / by Braubach, Lars [editor.] Murillo, Juan M [editor.] Kaviani, Nima [editor.] Lama, Manuel [editor.] Burgueño, Loli [editor.] Moha, Naouel [editor.] Oriol, Marc [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10797 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)
	55.	Supercomputing [electronic resource] : 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 965 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)
	56.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers / by Damiani, Ernesto [editor.] Spanoudakis, George [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1023 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)
	57.	Data Analytics and Management in Data Intensive Domains [electronic resource] : 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers / by Manolopoulos, Yannis [editor.] Stupnikov, Sergey [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1003 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)
	58.	Static Analysis [electronic resource] : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by Chang, Bor-Yuh Evan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11822 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)
	59.	Practical Aspects of Declarative Languages [electronic resource] : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / by Komendantskaya, Ekaterina [editor.] Liu, Yanhong Annie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12007 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	60.	Diagrammatic Representation and Inference [electronic resource] : 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings / by Giardino, Valeria [editor.] Linker, Sven [editor.] Burns, Richard [editor.] Bellucci, Francesco [editor.] Boucheix, Jean-Michel [editor.] Viana, Petrucio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13462 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1521 results.