FEEDBACK Smiley face

Your search returned 21 results. Subscribe to this search

|
1. Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] :5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings /

by Dams, Dennis [editor.] | Gerth, Rob [editor.] | Leue, Stefan [editor.] | Massink, Mieke [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

2. Programming Languages and Systems [electronic resource] :8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings /

by Swierstra, S. Doaitse [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

3. Theorem Proving in Higher Order Logics [electronic resource] :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings /

by Aagaard, Mark [editor.] | Harrison, John [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, 2000.Online access: Click here to access online Availability: No items available

4. Proof Theory in Computer Science [electronic resource] :International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /

by Kahle, Reinhard [editor.] | Schroeder-Heister, Peter [editor.] | Stärk, Robert [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, 2001.Online access: Click here to access online Availability: No items available

5. Extreme Programming and Agile Methods — XP/Agile Universe 2002 [electronic resource] :Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4–7, 2002 Proceedings /

by Wells, Don [editor.] | Williams, Laurie [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

6. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers /

by Geuvers, Herman [editor.] | Wiedijk, Freek [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

7. Casl Reference Manual [electronic resource] :The Complete Documentation of the Common Algebraic Specification Language /

by Mosses, Peter D [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 : Imprint: Springer, 2004.Online access: Click here to access online Availability: No items available

8. Higher-Level Hardware Synthesis [electronic resource] /

by Sharp, Richard [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, 2004.Online access: Click here to access online Availability: No items available

9. CASL User Manual [electronic resource] :Introduction to Using the Common Algebraic Specification Language /

by Bidoit, Michel [editor.] | Mosses, Peter D [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

10. Natural Language Processing and Information Systems [electronic resource] :10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings /

by Montoyo, Andrés [editor.] | Muńoz, Rafael [editor.] | Métais, Elisabeth [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

11. Applications of Graph Transformations with Industrial Relevance [electronic resource] :Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /

by Schürr, Andy [editor.] | Nagl, Manfred [editor.] | Zündorf, Albert [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 : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

12. CONCUR 2010 - Concurrency Theory [electronic resource] :21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /

by Gastin, Paul [editor.] | Laroussinie, François [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, 2010.Online access: Click here to access online Availability: No items available

13. Conceptual Modeling – ER 2010 [electronic resource] :29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings /

by Parsons, Jeffrey [editor.] | Saeki, Motoshi [editor.] | Shoval, Peretz [editor.] | Woo, Carson [editor.] | Wand, Yair [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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

14. Service Research Challenges and Solutions for the Future Internet [electronic resource] :S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems /

by Papazoglou, Mike P [editor.] | Pohl, Klaus [editor.] | Parkin, Michael [editor.] | Metzger, Andreas [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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

15. Declarative Agent Languages and Technologies VIII [electronic resource] :8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers /

by Omicini, Andrea [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [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, 2011.Online access: Click here to access online Availability: No items available

16. System Analysis and Modeling. Technology-Specific Aspects of Models [electronic resource] :9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings /

by Grabowski, Jens [editor.] | Herbold, Steffen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available

17. Runtime Verification [electronic resource] :18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /

by Colombo, Christian [editor.] | Leucker, Martin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

18. Computational Methods in Systems Biology [electronic resource] :16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /

by Češka, Milan [editor.] | Šafránek, David [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

19. Formal Methods: Foundations and Applications [electronic resource] :21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /

by Massoni, Tiago [editor.] | Mousavi, Mohammad Reza [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

20. Computer Algebra in Scientific Computing [electronic resource] :20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online 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