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

Results
	41.	Supercomputing [electronic resource] : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] Yakobovskiy, Mikhail [editor.] Shagaliev, Rashit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13708 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)
	42.	Model-Based Safety and Assessment [electronic resource] : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / by Papadopoulos, Yiannis [editor.] Aslansefat, Koorosh [editor.] Katsaros, Panagiotis [editor.] Bozzano, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11842 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.	Integrated Formal Methods [electronic resource] : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / by Dongol, Brijesh [editor.] Troubitsyna, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12546 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)
	44.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers / by Klusáček, Dalibor [editor.] Cirne, Walfredo [editor.] Desai, Narayan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12326 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)
	45.	Microelectronic Devices, Circuits and Systems [electronic resource] : Third International Conference, ICMDCS 2022, Vellore, India, August 11–13, 2022, Revised Selected Papers / by Arunachalam, V [editor.] Sivasankaran, K [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1743 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	46.	High Performance Computing [electronic resource] : 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26–30, 2022, Revised Selected Papers / by Navaux, Philippe [editor.] Barrios H., Carlos J [editor.] Osthoff, Carla [editor.] Guerrero, Ginés [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1660 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)
	47.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	48.	Computer Engineering and Technology [electronic resource] : 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers / by Xu, Weixia [editor.] Xiao, Liquan [editor.] Li, Jinwen [editor.] Zhu, Zhenzhen [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1146 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	49.	VLSI-SoC: New Technology Enabler [electronic resource] : 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6–9, 2019, Revised and Extended Selected Papers / by Metzler, Carolina [editor.] Gaillardon, Pierre-Emmanuel [editor.] De Micheli, Giovanni [editor.] Silva-Cardenas, Carlos [editor.] Reis, Ricardo [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 586 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)
	50.	High Performance Computing [electronic resource] : 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers / by Crespo-Mariño, Juan Luis [editor.] Meneses-Rojas, Esteban [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1087 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)
	51.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12078 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)
	52.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12079 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)
	53.	Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by Wehrheim, Heike [editor.] Cabot, Jordi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12076 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)
	54.	Rigorous State-Based Methods [electronic resource] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by Raschke, Alexander [editor.] Méry, Dominique [editor.] Houdek, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12071 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)
	55.	Software Engineering and Formal Methods [electronic resource] : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers / by Camara, Javier [editor.] Steffen, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12226 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)
	56.	Theoretical Aspects of Computing – ICTAC 2020 [electronic resource] : 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings / by Pun, Violet Ka I [editor.] Stolz, Volker [editor.] Simao, Adenilso [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12545 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)
	57.	Networked Systems [electronic resource] : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers / by Podelski, Andreas [editor.] Taïani, François [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 11028 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.	High Performance Computing Systems [electronic resource] : 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers / by Bianchini, Calebe [editor.] Osthoff, Carla [editor.] Souza, Paulo [editor.] Ferreira, Renato [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1171 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)
	59.	Cyber Physical Systems. Model-Based Design [electronic resource] : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / by Chamberlain, Roger [editor.] Edin Grimheden, Martin [editor.] Taha, Walid [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11971 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.	A Pipelined Multi-Core Machine with Operating System Support [electronic resource] : Hardware Implementation and Correctness Proof / by Lutsyk, Petro [author.] Oberhauser, Jonas [author.] Paul, Wolfgang J [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9999 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 160 results.