FEEDBACK Smiley face

Your search returned 141 results. Subscribe to this search

|
121. Unifying Theories of Programming [electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /

by Naumann, David [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, 2015.Online access: Click here to access online Availability: No items available

122. Search-Based Software Engineering [electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /

by Barros, Márcio [editor.] | Labiche, Yvan [editor.] | SpringerLink (Online service).

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

123. Verification, Model Checking, and Abstract Interpretation [electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /

by D’Souza, Deepak [editor.] | Lal, Akash [editor.] | Larsen, Kim Guldstrand [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

124. Foundations of Software Science and Computation Structures [electronic resource] :18th International Conference, FOSSACS 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 Pitts, Andrew [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

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

126. Perspectives of System Informatics [electronic resource] :9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

by Voronkov, Andrei [editor.] | Virbitskaite, Irina [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

127. Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /

by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [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

128. Reversible Computation [electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /

by Devitt, Simon [editor.] | Lanese, Ivan [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

129. Search Based Software Engineering [electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /

by Sarro, Federica [editor.] | Deb, Kalyanmoy [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

130. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] :7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /

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

131. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] :7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

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

132. Verification, Model Checking, and Abstract Interpretation [electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /

by Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service).

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

133. Programming Languages and Systems [electronic resource] :25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /

by Thiemann, Peter [editor.] | SpringerLink (Online service).

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

134. Foundations of Software Science and Computation Structures [electronic resource] :19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /

by Jacobs, Bart [editor.] | Löding, Christof [editor.] | SpringerLink (Online service).

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

135. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /

by Chechik, Marsha [editor.] | Raskin, Jean-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 : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available

136. Unifying Theories of Programming [electronic resource] :6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /

by Bowen, Jonathan P [editor.] | Zhu, Huibiao [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

137. Verification, Model Checking, and Abstract Interpretation [electronic resource] :18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /

by Bouajjani, Ahmed [editor.] | Monniaux, David [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

138. Programming Languages and Systems [electronic resource] :26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings /

by Yang, Hongseok [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, 2017.Online access: Click here to access online Availability: No items available

139. Foundations of Software Science and Computation Structures [electronic resource] :20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /

by Esparza, Javier [editor.] | Murawski, Andrzej 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 : Imprint: Springer, 2017.Online access: Click here to access online Availability: No items available

140. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /

by Legay, Axel [editor.] | Margaria, Tiziana [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, 2017.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