|
|
|
OWL: Experiences and Directions – Reasoner Evaluation [electronic resource] : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers / edited by Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz. by Dragoni, Mauro [editor.] | Poveda-Villalón, María [editor.] | Jimenez-Ruiz, Ernesto [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10161 | Lecture Notes in Computer Science ; 10161Edition: 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): .
|
|
|
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. by De Nicola, Rocco [editor.] | Kühn, Eva [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9763 | Lecture Notes in Computer Science ; 9763Edition: 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): .
|
|
|
|
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings / edited by Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín. by Moral, Serafín [editor.] | Pivert, Olivier [editor.] | Sánchez, Daniel [editor.] | Marín, Nicolás [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10564 | Lecture Notes in Computer Science ; 10564Edition: 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): .
|
|
|
|
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / edited by Lefteris Mamatas, Ibrahim Matta, Panagiotis Papadimitriou, Yevgeni Koucheryavy. by Mamatas, Lefteris [editor.] | Matta, Ibrahim [editor.] | Papadimitriou, Panagiotis [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9674 | Lecture Notes in Computer Science ; 9674Edition: 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): .
|
|
|
|
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings / edited by Vladimír Mařík, Wolfgang Wahlster, Thomas Strasser, Petr Kadera. by Mařík, Vladimír [editor.] | Wahlster, Wolfgang [editor.] | Strasser, Thomas [editor.] | Kadera, Petr [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10444 | Lecture Notes in Computer Science ; 10444Edition: 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): .
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr. by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9573 | Lecture Notes in Computer Science ; 9573Edition: 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): .
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak. by Majumdar, Rupak [editor.] | Kunčak, Viktor [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10427 | Lecture Notes in Computer Science ; 10427Edition: 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 Techniques for Distributed Objects, Components, and Systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese. by Albert, Elvira [editor.] | Lanese, Ivan [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9688 | Lecture Notes in Computer Science ; 9688Edition: 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): .
|
|
|
|
Web Information Systems Engineering – WISE 2017 [electronic resource] : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II / edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li. by Bouguettaya, Athman [editor.] | Gao, Yunjun [editor.] | Klimenko, Andrey [editor.] | Chen, Lu [editor.] | Zhang, Xiangliang [editor.] | Dzerzhinskiy, Fedor [editor.] | Jia, Weijia [editor.] | Klimenko, Stanislav V [editor.] | Li, Qing [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10570 | Lecture Notes in Computer Science ; 10570Edition: 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): .
|
|
|
|
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs. by Bošnački, Dragan [editor.] | Wijs, Anton [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9641 | Lecture Notes in Computer Science ; 9641Edition: 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): .
|
|
|
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich. by Hildebrandt, Thomas [editor.] | Ravara, António [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9421 | Lecture Notes in Computer Science ; 9421Edition: 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): .
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong. by Duan, Zhenhua [editor.] | Ong, Luke [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10610 | Lecture Notes in Computer Science ; 10610Edition: 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): .
|
|
|
|
Towards Integrative Machine Learning and Knowledge Extraction [electronic resource] : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers / edited by Andreas Holzinger, Randy Goebel, Massimo Ferri, Vasile Palade. by Holzinger, Andreas [editor.] | Goebel, Randy [editor.] | Ferri, Massimo [editor.] | Palade, Vasile [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10344 | Lecture Notes in Computer Science ; 10344Edition: 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): .
|
|
|
|
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings / edited by Issa Traore, Isaac Woungang, Ahmed Awad. by Traore, Issa [editor.] | Woungang, Isaac [editor.] | Awad, Ahmed [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10618 | Lecture Notes in Computer Science ; 10618Edition: 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): .
|
|
|
|
Graphical Models for Security [electronic resource] : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia. by Mauw, Sjouke [editor.] | Kordy, Barbara [editor.] | Jajodia, Sushil [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9390 | Lecture Notes in Computer Science ; 9390Edition: 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): .
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings / edited by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski. by Aiello, Marco [editor.] | Johnsen, Einar Broch [editor.] | Dustdar, Schahram [editor.] | Georgievski, Ilche [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9846 | Lecture Notes in Computer Science ; 9846Edition: 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): .
|