|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26–28, 2017, Proceedings / edited by Michael Mangan, Mark Cutkosky, Anna Mura, Paul F.M.J. Verschure, Tony Prescott, Nathan Lepora. by Mangan, Michael [editor.] | Cutkosky, Mark [editor.] | Mura, Anna [editor.] | Verschure, Paul F.M.J [editor.] | Prescott, Tony [editor.] | Lepora, Nathan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10384 | Lecture Notes in Computer Science ; 10384Edition: 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): .
|
|
|
|
|
Reproducible Research in Pattern Recognition [electronic resource] : First International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised Selected Papers / edited by Bertrand Kerautret, Miguel Colom, Pascal Monasse. by Kerautret, Bertrand [editor.] | Colom, Miguel [editor.] | Monasse, Pascal [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10214 | Lecture Notes in Computer Science ; 10214Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman. by Ábrahám, Erika [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9681 | Lecture Notes in Computer Science ; 9681Edition: 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): .
|
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9675 | Lecture Notes in Computer Science ; 9675Edition: 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): .
|
|
|
|
|
Advances in Network Science [electronic resource] : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / edited by Adam Wierzbicki, Ulrik Brandes, Frank Schweitzer, Dino Pedreschi. by Wierzbicki, Adam [editor.] | Brandes, Ulrik [editor.] | Schweitzer, Frank [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9564 | Lecture Notes in Computer Science ; 9564Edition: 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): .
|
|
|
|
|
Mobile, Secure, and Programmable Networking [electronic resource] : Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers / edited by Selma Boumerdassi, Éric Renault, Samia Bouzefrane. by Boumerdassi, Selma [editor.] | Renault, Éric [editor.] | Bouzefrane, Samia [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10026 | Lecture Notes in Computer Science ; 10026Edition: 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 Algebra in Scientific Computing [electronic resource] : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, 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 ; 10490 | Lecture Notes in Computer Science ; 10490Edition: 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): .
|
|
|
|
|
Wireless Sensor Networks [electronic resource] : 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings / edited by Tarek Abdelzaher, Nuno Pereira, Eduardo Tovar. by Abdelzaher, Tarek [editor.] | Pereira, Nuno [editor.] | Tovar, Eduardo [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 8965 | Lecture Notes in Computer Science ; 8965Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability [electronic resource] : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers / edited by Theodor Wyeld, Paul Calder, Haifeng Shen. by Wyeld, Theodor [editor.] | Calder, Paul [editor.] | Shen, Haifeng [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8433 | Lecture Notes in Computer Science ; 8433Edition: 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): .
|
|
|
|
|
High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8969 | Lecture Notes in Computer Science ; 8969Edition: 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): .
|
|
|
|
|
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Havelund, Klaus [editor.] | Holzmann, Gerard [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9058 | Lecture Notes in Computer Science ; 9058Edition: 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): .
|
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8979 | Lecture Notes in Computer Science ; 8979Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke. by Gribaudo, Marco [editor.] | Manini, Daniele [editor.] | Remke, Anne [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9081 | Lecture Notes in Computer Science ; 9081Edition: 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): .
|
|
|
|
|
New Horizons in Design Science: Broadening the Research Agenda [electronic resource] : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings / edited by Brian Donnellan, Markus Helfert, Jim Kenneally, Debra VanderMeer, Marcus Rothenberger, Robert Winter. by Donnellan, Brian [editor.] | Helfert, Markus [editor.] | Kenneally, Jim [editor.] | VanderMeer, Debra [editor.] | Rothenberger, Marcus [editor.] | Winter, Robert [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9073 | Lecture Notes in Computer Science ; 9073Edition: 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): .
|
|
|
|
|
Web Information Systems Engineering – WISE 2014 Workshops [electronic resource] : 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers / edited by Boualem Benatallah, Azer Bestavros, Barbara Catania, Armin Haller, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang. by Benatallah, Boualem [editor.] | Bestavros, Azer [editor.] | Catania, Barbara [editor.] | Haller, Armin [editor.] | Manolopoulos, Yannis [editor.] | Vakali, Athena [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9051 | Lecture Notes in Computer Science ; 9051Edition: 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): .
|
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel. by Bloem, Roderick [editor.] | Arbel, Eli [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10028 | Lecture Notes in Computer Science ; 10028Edition: 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): .
|
|
|
|
|
Data Science [electronic resource] : 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings / edited by Sebastian Maneth. by Maneth, Sebastian [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9147 | Lecture Notes in Computer Science ; 9147Edition: 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): .
|
