FEEDBACK Smiley face

Your search returned 556 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. Transformation-Based Reactive Systems Development [electronic resource] :4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings /

by Bertran, Miquel [editor.] | Rus, Teodor [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. Reliable Software Technologies — Ada-Europe '97 [electronic resource] :1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings /

by Hardy, Keith [editor.] | Briggs, Jim [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

4. Computer Aided Verification [electronic resource] :9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings /

by Grumberg, Orna [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

5. 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 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

6. 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 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

7. Software Engineering — ESEC/FSE'97 [electronic resource] :6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering Zurich, Switzerland, September 22–25, 1997 Proceedings /

by Jazayeri, Mehdi [editor.] | Schauer, Helmut [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

8. Computer Aided Systems Theory — EUROCAST'97 [electronic resource] :A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24–28, 1997 Proceedings /

by Pichler, Franz [editor.] | Moreno-Díaz, Roberto [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

9. Algebraic Methodology and Software Technology [electronic resource] :6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings /

by Johnson, Michael [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

10. Active, Real-Time, and Temporal Database Systems [electronic resource] :Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings /

by Andler, Sten F [editor.] | Hansson, Jörgen [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

11. Abstract Compositional Analysis of Iterated Relations [electronic resource] :A Structural Approach to Complex State Transition Systems /

by Geurts, Frédéric [author.] | 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

12. Lectures on Embedded Systems [electronic resource] :European Educational Forum School on Embedded Systems Veldhoven, The Netherlands November 25–29, 1996 /

by Rozenberg, Grzegorz [editor.] | Vaandrager, Frits W [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

13. Computer Safety, Reliability and Security [electronic resource] :17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings /

by Ehrenberger, Wolfgang [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

14. Languages, Compilers, and Tools for Embedded Systems [electronic resource] :ACM SIGPLAN Workshop LCTES’98 Montreal, Canada, June 19–20, 1998 Proceedings /

by Mueller, Frank [editor.] | Bestavros, Azer [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

15. 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

16. 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

17. Reliable Software Technologies — Ada-Europe [electronic resource] :1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8–12, 1998 Proceedings /

by Asplund, Lars [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

18. Advances in Computing Science — ASIAN’99 [electronic resource] :5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings /

by Thiagarajan, P. S [editor.] | Yap, Roland [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

19. Cryptographic Hardware and Embedded Systems [electronic resource] :First InternationalWorkshop, CHES’99 Worcester, MA, USA, August 12–13, 1999 Proceedings /

by Koç, Çetin K [editor.] | Paar, Christof [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

20. Correct System Design [electronic resource] :Recent Insights and Advances /

by Olderog, Ernst-Rüdiger [editor.] | Steffen, Bernhard [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


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