FEEDBACK Smiley face

Your search returned 81 results. Subscribe to this search

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

62. Computer Safety, Reliability, and Security [electronic resource] :37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /

by Gallina, Barbara [editor.] | Skavhaug, Amund [editor.] | Bitsch, Friedemann [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

63. Practical Aspects of Declarative Languages [electronic resource] :20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /

by Calimeri, Francesco [editor.] | Hamlen, Kevin [editor.] | Leone, Nicola [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

64. Accelerator Programming Using Directives [electronic resource] :4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings /

by Chandrasekaran, Sunita [editor.] | Juckeland, Guido [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

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

66. Measurement, Modelling and Evaluation of Computing Systems [electronic resource] :19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings /

by German, Reinhard [editor.] | Hielscher, Kai-Steffen [editor.] | Krieger, Udo R [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

67. Bidirectional Transformations [electronic resource] :International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /

by Gibbons, Jeremy [editor.] | Stevens, Perdita [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

68. It's All About Coordination [electronic resource] :Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /

by de Boer, Frank [editor.] | Bonsangue, Marcello [editor.] | Rutten, Jan [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

69. Intelligent Tutoring Systems [electronic resource] :14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings /

by Nkambou, Roger [editor.] | Azevedo, Roger [editor.] | Vassileva, Julita [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

70. Coordination Models and Languages [electronic resource] :20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /

by Di Marzo Serugendo, Giovanna [editor.] | Loreti, Michele [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

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

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

73. Tests and Proofs [electronic resource] :12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /

by Dubois, Catherine [editor.] | Wolff, Burkhart [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

74. Services Computing – SCC 2018 [electronic resource] :15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /

by Ferreira, João Eduardo [editor.] | Spanoudakis, George [editor.] | Ma, Yutao [editor.] | Zhang, Liang-Jie [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

75. Services – SERVICES 2018 [electronic resource] :14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /

by Yang, Alvin [editor.] | Kantamneni, Siva [editor.] | Li, Ying [editor.] | Dico, Awel [editor.] | Chen, Xiangang [editor.] | Subramanyan, Rajesh [editor.] | Zhang, Liang-Jie [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

76. OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence [electronic resource] :4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers /

by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [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

77. Performance Evaluation and Benchmarking for the Analytics Era [electronic resource] :9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers /

by Nambiar, Raghunath [editor.] | Poess, Meikel [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

78. Software Technologies: Applications and Foundations [electronic resource] :STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers /

by Seidl, Martina [editor.] | Zschaler, Steffen [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

79. Requirements Engineering: Foundation for Software Quality [electronic resource] :24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings /

by Kamsties, Erik [editor.] | Horkoff, Jennifer [editor.] | Dalpiaz, Fabiano [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

80. Theory and Practice of Model Transformation [electronic resource] :11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /

by Rensink, Arend [editor.] | Sánchez Cuadrado, Jesú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