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

Results
	781.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by ter Beek, Maurice H [editor.] Gnesi, Stefania [editor.] Knapp, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9933 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)
	782.	Information Security [electronic resource] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers / by Burmester, Mike [editor.] Tsudik, Gene [editor.] Magliveras, Spyros S [editor.] Ilic, Ivana [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6531 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)
	783.	Self-Organizing Systems [electronic resource] : 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings / by Spyropoulos, Thrasyvoulos [editor.] Hummel, Karin Anna [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5918 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)
	784.	Euro-Par 2010, Parallel Processing Workshops [electronic resource] : HeteroPAR, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Iscia, Italy, August 31 - September 3, 2010, Revised Selected Papers / by Guarracino, Mario R [editor.] Vivien, Fréderic [editor.] Traff, Jesper Larsson [editor.] Cannataro, Mario [editor.] Danelutto, Marco [editor.] Hast, Anders [editor.] Perla, Francesca [editor.] Knüpfer, Andreas [editor.] Di Martino, Benjamino [editor.] Alexander, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6586 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)
	785.	Virtual and Mixed Reality - New Trends, Part I [electronic resource] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / by Shumaker, Randall [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6773 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)
	786.	Passive and Active Measurement [electronic resource] : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings / by Kaafar, Mohamed Ali [editor.] Uhlig, Steve [editor.] Amann, Johanna [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10176 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)
	787.	Information Security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012, Proceedings / by Gollmann, Dieter [editor.] Freiling, Felix C [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7483 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)
	788.	Independent Component Analysis and Blind Signal Separation [electronic resource] : Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings / by Puntonet, Carlos G [editor.] Prieto, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3195 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)
	789.	Formal Methods for Industrial Critical Systems [electronic resource] : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / by Kowalewski, Stefan [editor.] Roveri, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6371 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)
	790.	Technologies for Advanced Heterogeneous Networks [electronic resource] : First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings / by Cho, Kenjiro [editor.] Jacquet, Philippe [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3837 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)
	791.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / by Barthe, Gilles [editor.] Gregoire, Benjamin [editor.] Huisman, Marieke [editor.] Lanet, Jean-Luis [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3956 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	792.	Distributed Computing [electronic resource] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings / by Keidar, Idit [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5805 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)
	793.	Multi-Agent-Based Simulation XII [electronic resource] : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers / by Villatoro, Daniel [editor.] Sabater-Mir, Jordi [editor.] Sichman, Jaime Simao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7124 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)
	794.	Challenges and Opportunity with Big Data [electronic resource] : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / by Zhang, Lin [editor.] Ren, Lei [editor.] Kordon, Fabrice [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10228 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)
	795.	Computer Analysis of Images and Patterns [electronic resource] : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II / by Felsberg, Michael [editor.] Heyden, Anders [editor.] Krüger, Norbert [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10425 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)
	796.	E-Voting and Identity [electronic resource] : Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009, Proceedings / by Ryan, Peter Y. A [editor.] Schoenmakers, Berry [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5767 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)
	797.	Cryptographic Hardware and Embedded Systems - CHES 2006 [electronic resource] : 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings / by Goubin, Louis [editor.] Matsui, Mitsuru [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4249 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	798.	Testing Software and Systems [electronic resource] : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / by Merayo, Mercedes G [editor.] Montes de Oca, Edgardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8763 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)
	799.	Supercomputing [electronic resource] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / by Kunkel, Julian M [editor.] Ludwig, Thomas [editor.] Meuer, Hans [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7905 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)
	800.	Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings / by Bondavalli, Andrea [editor.] Brasileiro, Francisco [editor.] Rajsbaum, Sergio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4746 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1124 results.