|
|
|
Networked Systems [electronic resource] : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings / edited by Amr El Abbadi, Benoît Garbinato. by El Abbadi, Amr [editor.] | Garbinato, Benoît [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10299 | Lecture Notes in Computer Science ; 10299Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Reachability Problems [electronic resource] : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov. by Bojanczyk, Mikolai [editor.] | Lasota, Slawomir [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9328 | Lecture Notes in Computer Science ; 9328Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings / edited by Arnaud Carayol, Cyril Nicaud. by Carayol, Arnaud [editor.] | Nicaud, Cyril [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10329 | Lecture Notes in Computer Science ; 10329Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Nathalie Bertrand, Luca Bortolussi. by Bertrand, Nathalie [editor.] | Bortolussi, Luca [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10503 | Lecture Notes in Computer Science ; 10503Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch. by Tonetta, Stefano [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10489 | Lecture Notes in Computer Science ; 10489Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / edited by Sebastian Gabmeyer, Einar Broch Johnsen. by Gabmeyer, Sebastian [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10375 | Lecture Notes in Computer Science ; 10375Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Zaïdi, Fatiha [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9407 | Lecture Notes in Computer Science ; 9407Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings / edited by Paul Grünbacher, Anna Perini. by Grünbacher, Paul [editor.] | Perini, Anna [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10153 | Lecture Notes in Computer Science ; 10153Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin. by Huisman, Marieke [editor.] | Rubin, Julia [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10202 | Lecture Notes in Computer Science ; 10202Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computing and Combinatorics [electronic resource] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Thang N. Dinh, My T. Thai. by Dinh, Thang N [editor.] | Thai, My T [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9797 | Lecture Notes in Computer Science ; 9797Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings / edited by Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi. by ten Teije, Annette [editor.] | Popow, Christian [editor.] | Holmes, John H [editor.] | Sacchi, Lucia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10259 | Lecture Notes in Computer Science ; 10259Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9890 | Lecture Notes in Computer Science ; 9890Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Trends in Artificial Intelligence: PRICAI 2016 Workshops [electronic resource] : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers / edited by Masayuki Numao, Thanaruk Theeramunkong, Thepchai Supnithi, Mahasak Ketcham, Narit Hnoohom, Patiyuth Pramkeaw. by Numao, Masayuki [editor.] | Theeramunkong, Thanaruk [editor.] | Supnithi, Thepchai [editor.] | Ketcham, Mahasak [editor.] | Hnoohom, Narit [editor.] | Pramkeaw, Patiyuth [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10004 | Lecture Notes in Computer Science ; 10004Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
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 / edited by Marsha Chechik, Jean-François Raskin. by Chechik, Marsha [editor.] | Raskin, Jean-François [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9636 | Lecture Notes in Computer Science ; 9636Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Deductive Software Verification – The KeY Book [electronic resource] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10001 | Lecture Notes in Computer Science ; 10001Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|