FEEDBACK Smiley face

Your search returned 145 results. Subscribe to this search

|
121. Transactions on Rough Sets XII [electronic resource] /

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Słowiński, Roman [editor.] | Lingras, Pawan [editor.] | Miao, Duoqian [editor.] | Tsumoto, Shusaku [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

122. Mathematical Foundations of Computer Science 2010 [electronic resource] :35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /

by Hliněný, Petr [editor.] | Kučera, Antonín [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

123. Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] :8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

by Bonanno, Giacomo [editor.] | Löwe, Benedikt [editor.] | Hoek, Wiebe van der [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

124. Model-Based Engineering of Embedded Real-Time Systems [electronic resource] :International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

by Giese, Holger [editor.] | Karsai, Gabor [editor.] | Lee, Edward [editor.] | Rumpe, Bernhard [editor.] | Schätz, 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 : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

125. Modelling Autonomic Communication Environments [electronic resource] :5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings /

by Brennan, Rob [editor.] | Fleck, Joel [editor.] | Meer, Sven van der [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

126. Programming Languages and Systems [electronic resource] :8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /

by Ueda, Kazunori [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

127. Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] :9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /

by Roychoudhury, Abhik [editor.] | D’Souza, Meenakshi [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, 2012.Online access: Click here to access online Availability: No items available

128. Logical Foundations of Computer Science [electronic resource] :International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /

by Artemov, Sergei [editor.] | Nerode, Anil [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, 2013.Online access: Click here to access online Availability: No items available

129. Formal Methods for Executable Software Models [electronic resource] :14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /

by Bernardo, Marco [editor.] | Damiani, Ferruccio [editor.] | Hähnle, Reiner [editor.] | Johnsen, Einar Broch [editor.] | Schaefer, Ina [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, 2014.Online access: Click here to access online Availability: No items available

130. NASA Formal Methods [electronic resource] :11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /

by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [editor.] | SpringerLink (Online service).

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

131. Practical Aspects of Declarative Languages [electronic resource] :21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /

by Alferes, José Júlio [editor.] | Johansson, Moa [editor.] | SpringerLink (Online service).

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

132. Fundamental Approaches to Software Engineering [electronic resource] :22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /

by Hähnle, Reiner [editor.] | van der Aalst, Wil [editor.] | SpringerLink (Online service).

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

133. Programming Languages and Systems [electronic resource] :28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /

by Caires, Luís [editor.] | SpringerLink (Online service).

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

134. Software Engineering and Formal Methods [electronic resource] :16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /

by Johnsen, Einar Broch [editor.] | Schaefer, Ina [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

135. Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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

136. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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

137. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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

138. Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] :8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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

139. Formal Methods [electronic resource] :22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /

by Havelund, Klaus [editor.] | Peleska, Jan [editor.] | Roscoe, Bill [editor.] | de Vink, Erik [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

140. Programming Languages and Systems [electronic resource] :16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /

by Ryu, Sukyoung [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