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

Results
	41.	Engineering Trustworthy Software Systems [electronic resource] : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12154 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)
	42.	Theory and Applications of Satisfiability Testing – SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by Li, Chu-Min [editor.] Manyà, Felip [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12831 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	43.	HCI in Games: Experience Design and Game Mechanics [electronic resource] : Third International Conference, HCI-Games 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by Fang, Xiaowen [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12789 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	44.	Engineering Psychology and Cognitive Ergonomics [electronic resource] : 18th International Conference, EPCE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by Harris, Don [editor.] Li, Wen-Chin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12767 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	45.	Universal Access in Human-Computer Interaction. Design Methods and User Experience [electronic resource] : 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by Antona, Margherita [editor.] Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12768 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	46.	Advances in Computational Intelligence [electronic resource] : 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16–18, 2021, Proceedings, Part I / by Rojas, Ignacio [editor.] Joya, Gonzalo [editor.] Català, Andreu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12861 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	47.	Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings / by Leeser, Miriam [editor.] Brown, Geoffrey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 408 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	48.	Web and Wireless Geographical Information Systems [electronic resource] : 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings / by Di Martino, Sergio [editor.] Fang, Zhixiang [editor.] Li, Ki-Joune [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12473 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)
	49.	Advances in Swarm Intelligence [electronic resource] : 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II / by Tan, Ying [editor.] Shi, Yuhui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12690 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	50.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, Proceedings / by Kranzlmüller, Dieter [editor.] Kacsuk, Peter [editor.] Dongarra, Jack [editor.] Volkert, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2474 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Comon, Hubert [editor.] Marche, Claude [editor.] Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2002 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	Application and Theory of Petri Nets 1995 [electronic resource] : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / by DeMichelis, Giorgio [editor.] Diaz, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 935 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	53.	Leveraging Applications of Formal Methods, Verification and Validation: Applications [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12478 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.	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12476 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.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings / by Gribaudo, Marco [editor.] Sopin, Eduard [editor.] Kochetkova, Irina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12023 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.	Language and Automata Theory and Applications [electronic resource] : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by Leporati, Alberto [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12638 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	57.	Benchmarking, Measuring, and Optimizing [electronic resource] : Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers / by Wolf, Felix [editor.] Gao, Wanling [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12614 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Computer Information Systems and Industrial Management [electronic resource] : 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings / by Saeed, Khalid [editor.] Homenda, Władysław [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11127 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)
	59.	Real VR – Immersive Digital Reality [electronic resource] : How to Import the Real World into Head-Mounted Immersive Displays / by Magnor, Marcus [editor.] Sorkine-Hornung, Alexander [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11900 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.	Engineering Multi-Agent Systems [electronic resource] : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by Dennis, Louise A [editor.] Bordini, Rafael H [editor.] Lespérance, Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12058 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

Item types

Series

Topics

Your search returned 576 results.