FEEDBACK Smiley face

Refine your search

Your search returned 81 results. Subscribe to this search

|
41. Programming with Actors [electronic resource] :State-of-the-Art and Research Perspectives /

by Ricci, Alessandro [editor.] | Haller, 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

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

43. Integrated Formal Methods [electronic resource] :14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /

by Furia, Carlo A [editor.] | Winter, Kirsten [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

44. Computer Safety, Reliability, and Security [electronic resource] :SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /

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

45. Rules and Reasoning [electronic resource] :Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /

by Benzmüller, Christoph [editor.] | Ricca, Francesco [editor.] | Parent, Xavier [editor.] | Roman, Dumitru [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

46. Reversible Computation [electronic resource] :10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /

by Kari, Jarkko [editor.] | Ulidowski, Irek [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

47. Software Technologies: Applications and Foundations [electronic resource] :STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /

by Mazzara, Manuel [editor.] | Ober, Iulian [editor.] | Salaün, Gwen [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

48. System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering [electronic resource] :10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings /

by Khendek, Ferhat [editor.] | Gotzhein, Reinhard [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

49. Formal Aspects of Component Software [electronic resource] :15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /

by Bae, Kyungmin [editor.] | Ölveczky, Peter Csaba [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

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

51. New Opportunities for Software Reuse [electronic resource] :17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /

by Capilla, Rafael [editor.] | Gallina, Barbara [editor.] | Cetina, Carlos [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

52. Reliable Software Technologies – Ada-Europe 2018 [electronic resource] :23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /

by Casimiro, António [editor.] | Ferreira, Pedro M [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

53. Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] :International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /

by Bennaceur, Amel [editor.] | Hähnle, Reiner [editor.] | Meinke, Karl [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

54. On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] :Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II /

by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Proper, Henderik A [editor.] | Ardagna, Claudio Agostino [editor.] | Roman, Dumitru [editor.] | Meersman, Robert [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

55. Principles of Modeling [electronic resource] :Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /

by Lohstroh, Marten [editor.] | Derler, Patricia [editor.] | Sirjani, Marjan [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

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

57. On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] :Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I /

by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Proper, Henderik A [editor.] | Ardagna, Claudio Agostino [editor.] | Roman, Dumitru [editor.] | Meersman, Robert [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

58. Formal Methods for Industrial Critical Systems [electronic resource] :23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /

by Howar, Falk [editor.] | Barnat, Jiří [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

59. Model and Data Engineering [electronic resource] :8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings /

by Abdelwahed, El Hassan [editor.] | Bellatreche, Ladjel [editor.] | Golfarelli, Mattéo [editor.] | Méry, Dominique [editor.] | Ordonez, Carlos [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

60. Service-Oriented Computing [electronic resource] :16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings /

by Pahl, Claus [editor.] | Vukovic, Maja [editor.] | Yin, Jianwei [editor.] | Yu, Qi [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