FEEDBACK Smiley face

Your search returned 187 results. Subscribe to this search

|
161. NASA Formal Methods [electronic resource] :10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /

by Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [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

162. Service-Oriented Computing – ICSOC 2017 Workshops [electronic resource] :ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /

by Braubach, Lars [editor.] | Murillo, Juan M [editor.] | Kaviani, Nima [editor.] | Lama, Manuel [editor.] | Burgueño, Loli [editor.] | Moha, Naouel [editor.] | Oriol, Marc [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

163. Verified Software. Theories, Tools, and Experiments [electronic resource] :10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /

by Piskac, Ruzica [editor.] | Rümmer, Philipp [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

164. Software Architecture [electronic resource] :12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings /

by Cuesta, Carlos E [editor.] | Garlan, David [editor.] | Pérez, Jennifer [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

165. Symposium on Real-Time and Hybrid Systems [electronic resource] :Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /

by Jones, Cliff [editor.] | Wang, Ji [editor.] | Zhan, Naijun [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

166. Ad-hoc, Mobile, and Wireless Networks [electronic resource] :17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings /

by Montavont, Nicolas [editor.] | Papadopoulos, Georgios Z [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

167. Computer Performance Engineering [electronic resource] :15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /

by Bakhshi, Rena [editor.] | Ballarini, Paolo [editor.] | Barbot, Benoît [editor.] | Castel-Taleb, Hind [editor.] | Remke, Anne [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

168. Verification and Evaluation of Computer and Communication Systems [electronic resource] :12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /

by Atig, Mohamed Faouzi [editor.] | Bensalem, Saddek [editor.] | Bliudze, Simon [editor.] | Monsuez, Bruno [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

169. Virtual Reality and Augmented Reality [electronic resource] :15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings /

by Bourdot, Patrick [editor.] | Cobb, Sue [editor.] | Interrante, Victoria [editor.] | kato, Hirokazu [editor.] | Stricker, Didier [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

170. Static Analysis [electronic resource] :25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /

by Podelski, Andreas [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

171. Information Systems Security [electronic resource] :14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings /

by Ganapathy, Vinod [editor.] | Jaeger, Trent [editor.] | Shyamasundar, R.K [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

172. Engineering Trustworthy Software Systems [electronic resource] :Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /

by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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

173. Privacy Technologies and Policy [electronic resource] :6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /

by Medina, Manel [editor.] | Mitrakas, Andreas [editor.] | Rannenberg, Kai [editor.] | Schweighofer, Erich [editor.] | Tsouroulas, Nikolaos [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

174. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /

by Beyer, Dirk [editor.] | Huisman, Marieke [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

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

176. Lectures on Runtime Verification [electronic resource] :Introductory and Advanced Topics /

by Bartocci, Ezio [editor.] | Falcone, Yliè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

177. Communication Technologies for Vehicles [electronic resource] :13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings /

by Moreno García-Loygorri, Juan [editor.] | Pérez-Yuste, Antonio [editor.] | Briso, César [editor.] | Berbineau, Marion [editor.] | Pirovano, Alain [editor.] | Mendizábal, Jaizki [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

178. Functional and Logic Programming [electronic resource] :14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /

by Gallagher, John P [editor.] | Sulzmann, 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

179. Autonomous Control for a Reliable Internet of Services [electronic resource] :Methods, Models, Approaches, Techniques, Algorithms, and Tools /

by Ganchev, Ivan [editor.] | van der Mei, R. D [editor.] | van den Berg, Hans [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

180. Modelling Foundations and Applications [electronic resource] :14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /

by Pierantonio, Alfonso [editor.] | Trujillo, Salvador [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