Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Architecture, Computer.} and itype:EB and su-to:Computer System Implementation and su-to:Special purpose computers'

Your cart is empty.

FEEDBACK

Your search returned 21 results.

	1.	Hybrid Systems IV [electronic resource] / by Antsaklis, Panos [editor.] \| Kohn, Wolf [editor.] \| Nerode, Anil [editor.] \| Sastry, Shankar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Modular Compiler Verification [electronic resource] :A Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Müller-Olm, Markus [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	3.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings / by Ravn, Anders P [editor.] \| Rischel, Hans [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	4.	Hybrid Systems: Computation and Control [electronic resource] :First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings / by Henzinger, Thomas A [editor.] \| Sastry, Shankar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	5.	Handheld and Ubiquitous Computing [electronic resource] :First International Symposium, HUC’99 Karlsruhe, Germany, September 27–29, 1999 Proceedings / by Gellersen, Hans-W [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	6.	Hybrid Systems V [electronic resource] / by Antsaklis, Panos [editor.] \| Lemmon, Michael [editor.] \| Kohn, Wolf [editor.] \| Nerode, Anil [editor.] \| Sastry, Shankar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	7.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings / by Joseph, Mathai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	8.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings / by Damm, Werner [editor.] \| Olderog, Ernst -Rüdiger [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	9.	Coordination Models and Languages [electronic resource] :8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / by Ciancarini, Paolo [editor.] \| Wiklicky, Herbert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	10.	Principles of Distributed Systems [electronic resource] :9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / by Anderson, James H [editor.] \| Prencipe, Giuseppe [editor.] \| Wattenhofer, Roger [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	11.	Principles of Distributed Systems [electronic resource] :10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings / by Shvartsman, Mariam Momenzadeh Alexander A [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	12.	Coordination Models and Languages [electronic resource] :9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / by Murphy, Amy L [editor.] \| Vitek, Jan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	13.	Coordination Models and Languages [electronic resource] :10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / by Lea, Doug [editor.] \| Zavattaro, Gianluigi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	14.	Self-Sustaining Systems [electronic resource] :First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers / by Hirschfeld, Robert [editor.] \| Rose, Kim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	15.	Hybrid Systems: Computation and Control [electronic resource] :12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / by Majumdar, Rupak [editor.] \| Tabuada, Paulo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	16.	Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems [electronic resource] :7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings / by Cavallaro, Lorenzo [editor.] \| Gollmann, Dieter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	17.	Supercomputing [electronic resource] :28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / by Kunkel, Julian Martin [editor.] \| Ludwig, Thomas [editor.] \| Meuer, Hans Werner [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	18.	Euro-Par 2016: Parallel Processing [electronic resource] :22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / by Dutot, Pierre-François [editor.] \| Trystram, Denis [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	19.	Swarm Intelligence Based Optimization [electronic resource] :Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / by Siarry, Patrick [editor.] \| Idoumghar, Lhassane [editor.] \| Lepagnot, Julien [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	20.	Applications of Evolutionary Computation [electronic resource] :20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II / by Squillero, Giovanni [editor.] \| Sim, Kevin [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

Refine your search

Authors

Item types

Series

Topics