FEEDBACK Smiley face

Your search returned 35 results. Subscribe to this search

|
1. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

2. Advances in Computing Science — ASIAN'97 [electronic resource] :Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings /

by Shyamasundar, R. K [editor.] | Ueda, K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

3. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

4. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

5. Application and Theory of Petri Nets 1998 [electronic resource] :19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings /

by Desel, Jörg [editor.] | Silva, Manuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

6. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available

7. High Performance Computing – HiPC’99 [electronic resource] :6th International Conference, Calcutta, India, December 17-20, 1999. Proceedings /

by Banerjee, Prith [editor.] | Prasanna, Viktor K [editor.] | Sinha, Bhabani P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

8. Application and Theory of Petri Nets 1999 [electronic resource] :20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings /

by Donatelli, Susanna [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

9. Embedded Processor Design Challenges [electronic resource] :Systems, Architectures, Modeling, and Simulation — SAMOS /

by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available

10. Hybrid Systems: Computation and Control [electronic resource] :6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /

by Maler, Oded [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

11. Computer Systems: Architectures, Modeling, and Simulation [electronic resource] :Third and Fourth International Workshops, SAMOS 2004, Samos, Greece, July 21-23, 2004 and July 19-21, 2004. Proceedings /

by Pimentel, Andy D [editor.] | Vassiliadis, Stamatis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

12. Euro-Par 2004 Parallel Processing [electronic resource] :10th International Euro-Par Conference, Pisa, Italy, August 31- September 3, 2004. Proceedings /

by Danelutto, Marco [editor.] | Vanneschi, Marco [editor.] | Laforenza, Domenico [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

13. Field Programmable Logic and Application [electronic resource] :14th International Conference, FPL 2004, Leuven, Belgium, August 30-September 1, 2004. Proceedings /

by Becker, Jürgen [editor.] | Platzner, Marco [editor.] | Vernalde, Serge [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

14. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] :14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004. Proceedings /

by Macii, Enrico [editor.] | Paliouras, Vassilis [editor.] | Koufopavlou, Odysseas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

15. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] :Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings /

by Lakhnech, Yassine [editor.] | Yovine, Sergio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

16. Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] :5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings /

by Hämäläinen, Timo D [editor.] | Pimentel, Andy D [editor.] | Takala, Jarmo [editor.] | Vassiliadis, Stamatis [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available

17. High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] :6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /

by Daydé, Michel [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | Palma, José M. L. M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available

18. Hybrid Systems: Computation and Control [electronic resource] :8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /

by Morari, Manfred [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available

19. Hybrid Systems: Computation and Control [electronic resource] :9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings /

by Hespanha, João P [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

20. Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] :27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /

by Donatelli, Susanna [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in