|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best. by van der Aalst, Wil [editor.] | Best, Eike [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10258 | Lecture Notes in Computer Science ; 10258Edition: 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): .
|
|
|
|
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani. by Baldoni, Matteo [editor.] | Baresi, Luciano [editor.] | Dastani, Mehdi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9318 | Lecture Notes in Computer Science ; 9318Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Transactions on Modularity and Composition I [electronic resource] / edited by Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens. by Chiba, Shigeru [editor.] | Südholt, Mario [editor.] | Eugster, Patrick [editor.] | Ziarek, Lukasz [editor.] | Leavens, Gary T [editor.] | SpringerLink (Online service). Series: Transactions on Modularity and Composition ; 9800 | Lecture Notes in Computer Science ; 9800Edition: 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): .
|
|
|
|
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2015 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna. by Debruyne, Christophe [editor.] | Panetto, Hervé [editor.] | Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Weichhart, Georg [editor.] | An, Yuan [editor.] | Ardagna, Claudio Agostino [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9415 | Lecture Notes in Computer Science ; 9415Edition: 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] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya. by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | Tian, Cong [editor.] | Nagoya, Fumiko [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10189 | Lecture Notes in Computer Science ; 10189Edition: 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): .
|
|
|
|
Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev. by Cunha, Jácome [editor.] | Fernandes, João P [editor.] | Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Zaytsev, Vadim [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10223 | Lecture Notes in Computer Science ; 10223Edition: 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] : 19th International Conference, FASE 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 Perdita Stevens, Andrzej Wąsowski. by Stevens, Perdita [editor.] | Wąsowski, Andrzej [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9633 | Lecture Notes in Computer Science ; 9633Edition: 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): .
|
|
|
|
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings / edited by Symeon Papavassiliou, Stefan Ruehrup. by Papavassiliou, Symeon [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9143 | Lecture Notes in Computer Science ; 9143Edition: 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 2016 [electronic resource] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques. by Dutra, Inês [editor.] | Camacho, Rui [editor.] | Barbosa, Jorge [editor.] | Marques, Osni [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10150 | Lecture Notes in Computer Science ; 10150Edition: 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): .
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari. by Devillers, Raymond [editor.] | Valmari, Antti [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9115 | Lecture Notes in Computer Science ; 9115Edition: 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): .
|
|
|
|
Collaboration and Technology [electronic resource] : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings / edited by Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe, Julita Vassileva. by Yuizono, Takaya [editor.] | Ogata, Hiroaki [editor.] | Hoppe, Ulrich [editor.] | Vassileva, Julita [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9848 | Lecture Notes in Computer Science ; 9848Edition: 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): .
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9320 | Lecture Notes in Computer Science ; 9320Edition: 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): .
|
|
|
|
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. by ter Beek, Maurice H [editor.] | Gnesi, Stefania [editor.] | Knapp, Alexander [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9933 | Lecture Notes in Computer Science ; 9933Edition: 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): .
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino. by Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9583 | Lecture Notes in Computer Science ; 9583Edition: 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): .
|
|
|
|
Computational Logistics [electronic resource] : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / edited by Ana Paias, Mario Ruthmair, Stefan Voß. by Paias, Ana [editor.] | Ruthmair, Mario [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9855 | Lecture Notes in Computer Science ; 9855Edition: 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 Techniques for Distributed Objects, Components, and Systems [electronic resource] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan. by Graf, Susanne [editor.] | Viswanathan, Mahesh [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9039 | Lecture Notes in Computer Science ; 9039Edition: 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): .
|