Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Computers' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	MMIXware [electronic resource] : A RISC Computer for the Third Millennium / by Knuth, Donald E [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1750 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	142.	Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Maler, Oded [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1201 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	143.	Object-Based Parallel and Distributed Computation [electronic resource] : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers / by Briot, Jean-Pierre [editor.] Geib, Jean-Marc [editor.] Yonezawa, Akinori [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1107 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)
	144.	Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Bernardo, Marco [editor.] Corradini, Flavio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3185 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)
	145.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proceedings / by Diniz, Pedro C [editor.] Marques, Eduardo [editor.] Bertels, Koen [editor.] Fernandes, Marcio Merino [editor.] Cardoso, Joao M.P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4419 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)
	146.	Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / by Manulis, Mark [editor.] Sadeghi, Ahmad-Reza [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9696 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)
	147.	Hybrid Systems III [electronic resource] : Verification and Control / by Alur, Rajeev [editor.] Henzinger, Thomas A [editor.] Sontag, Eduardo D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1066 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)
	148.	Ubiquitous Convergence Technology [electronic resource] : First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers / by Stajano, Frank [editor.] Kim, Hyoung Joong [editor.] Chae, Jong-Suk [editor.] Kim, Seong-Don [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4412 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)
	149.	Parallel Algorithms for Irregularly Structured Problems [electronic resource] : Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings / by Ferreira, Alfonso [editor.] Rolim, Jose [editor.] Saad, Yousef [editor.] Yang, Tao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1117 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)
	150.	Languages and Compilers for Parallel Computing [electronic resource] : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers / by Midkiff, Samuel P [editor.] Moreira, Jose E [editor.] Gupta, Manish [editor.] Chatterjee, Siddhartha [editor.] Ferrante, Jeanne [editor.] Prins, Jan [editor.] Pugh, William [editor.] Tseng, Chau-Wen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2017 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)
	151.	Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings / by D'Souza, Deepak [editor.] Narayan Kumar, K [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10482 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)
	152.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings / by Vassiliadis, Stamatis [editor.] Berekovic, Mladen [editor.] Hämäläinen, Timo D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4599 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)
	153.	Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II / by Allen, Gabrielle [editor.] Nabrzyski, Jaroslaw [editor.] Seidel, Edward [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5545 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)
	154.	Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings / by Bemporad, Alberto [editor.] Buttazzo, Giorgio C [editor.] Bicchi, Antonio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4416 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)
	155.	Advances in Cryptology - CRYPTO 2001 [electronic resource] : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings / by Kilian, Joe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2139 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)
	156.	High Performance Computing [electronic resource] : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings / by Kunkel, Julian M [editor.] Yokota, Rio [editor.] Balaji, Pavan [editor.] Keyes, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10266 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)
	157.	Networked Services and Applications - Engineering, Control and Management [electronic resource] : 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010, Proceedings / by Aagesen, Finn Arve [editor.] Knapskog, Svein J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6164 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	158.	Computer Aided Systems Theory - EUROCAST '89 [electronic resource] : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings / by Pichler, Franz [editor.] Moreno-Diaz, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 410 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)
	159.	Hybrid Learning and Education [electronic resource] : Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009, Proceedings / by Wang, Fu Lee [editor.] Fong, Joseph [editor.] Zhang, Liming [editor.] Lee, Victor K. S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5685 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)
	160.	Distributed Algorithms [electronic resource] : 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings / by Segall, Adrian [editor.] Zaks, Shmuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 647 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 362 results.