FEEDBACK Smiley face

Your search returned 7 results. Subscribe to this search

|
1. Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, : MIT Press, ©2008Online access: Table of contents only Availability:
Items available for reference: IIITD [REF 004.24 BAI-P] (1).

2. Validation of Stochastic Systems [electronic resource] :A Guide to Current Research /

by Baier, Christel [editor.] | Haverkort, Boudewijn R [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | Siegle, Markus [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

3. CONCUR 2006 – Concurrency Theory [electronic resource] :17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /

by Baier, Christel [editor.] | Hermanns, Holger [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

4. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /

by Baier, Christel [editor.] | Tinelli, Cesare [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, 2015.Online access: Click here to access online Availability: No items available

5. SOFSEM 2017: Theory and Practice of Computer Science [electronic resource] :43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings /

by Steffen, Bernhard [editor.] | Baier, Christel [editor.] | van den Brand, Mark [editor.] | Eder, Johann [editor.] | Hinchey, Mike [editor.] | Margaria, Tiziana [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, 2017.Online access: Click here to access online Availability: No items available

6. Foundations of Software Science and Computation Structures [electronic resource] :21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /

by Baier, Christel [editor.] | Dal Lago, Ugo [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

7. Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] :38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings /

by Baier, Christel [editor.] | Caires, Luís [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