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

Results
	121.	Hardware and Software Architectures for Fault Tolerance [electronic resource] : Experiences and Perspectives / by Banatre, Michel [editor.] Lee, Peter A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 774 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	122.	Services Management in Intelligent Networks [electronic resource] : 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 Proceedings / by Ambler, Anthony [editor.] Calo, Seraphin B [editor.] Kar, Gautam [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1960 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	123.	Specifying Message Passing and Time-Critical Systems with Temporal Logic [electronic resource] / by Koymans, Ron [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 651 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	124.	Visualization of Scientific Parallel Programs [electronic resource] / by Tomas, Gerald [author.] Ueberhuber, Christoph W [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 771 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	125.	Stepwise Refinement of Distributed Systems [electronic resource] : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings / by Bakker, Jaco W. de [editor.] Roever, Willem-Paul de [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 430 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	126.	Parallel Problem Solving from Nature - PPSN V [electronic resource] : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings / by Eiben, Agoston E [editor.] Bäck, Thomas [editor.] Schoenauer, Marc [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1498 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	127.	Euro-Par'96 - Parallel Processing [electronic resource] : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II / by Bouge, Luc [editor.] Fraigniaud, Pierre [editor.] Mignotte, Anne [editor.] Robert, Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1124 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	128.	Architecture of Computing Systems - ARCS 2011 [electronic resource] : 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings / by Berekovic, Mladen [editor.] Fornaciari, William [editor.] Brinkschulte, Uwe [editor.] Silvano, Cristina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6566 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	129.	High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / by Daydé, Michel [editor.] Palma, José M.L.M [editor.] Couthino, Álvaro L.G.A [editor.] Pacitti, Esther [editor.] Correia Lopes, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4395 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	130.	Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings / by Alferes, Jose Julio [editor.] Moniz Pereira, Luis [editor.] Orlowska, Eva [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1126 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	131.	Cyber Physical Systems. Model-Based Design [electronic resource] : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / by Chamberlain, Roger [editor.] Taha, Walid [editor.] Törngren, Martin [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11615 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)
	132.	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)
	133.	Software Architecture [electronic resource] : 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings / by Jansen, Anton [editor.] Malavolta, Ivano [editor.] Muccini, Henry [editor.] Ozkaya, Ipek [editor.] Zimmermann, Olaf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12292 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)
	134.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings / by Ropo, Matti [editor.] Westerholm, Jan [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5759 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	135.	Parallel Algorithms for Irregularly Structured Problems [electronic resource] : Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings / by Ferreira, Afonso [editor.] Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 980 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)
	136.	Dynamic Logic. New Trends and Applications [electronic resource] : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by Soares Barbosa, Luís [editor.] Baltag, Alexandru [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12005 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)
	137.	Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem / by Godefroid, Patrice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1032 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	138.	Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings / by Rieck, Konrad [editor.] Stewin, Patrick [editor.] Seifert, Jean-Pierre [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7967 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	139.	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)
	140.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 576 results.