|
|
|
|
Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings / edited by Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio. by Núñez, Manuel [editor.] | Maamar, Zakaria [editor.] | Pelayo, Fernando L [editor.] | Pousttchi, Key [editor.] | Rubio, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3236Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings / edited by Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David Martin, Ingo Müller, Suzette Stoutenburg, Katia P. Sycara. by Huang, Jingshan [editor.] | Kowalczyk, Ryszard [editor.] | Maamar, Zakaria [editor.] | Martin, David [editor.] | Müller, Ingo [editor.] | Stoutenburg, Suzette [editor.] | Sycara, Katia P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4504Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings / edited by Ryszard Kowalczyk, Michael Huhns, Matthias Klusch, Zakaria Maamar, Quoc Bao Vo. by Kowalczyk, Ryszard [editor.] | Huhns, Michael [editor.] | Klusch, Matthias [editor.] | Maamar, Zakaria [editor.] | Vo, Quoc Bao [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5006Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedings / edited by Ryszard Kowalczyk, Quoc Bao Vo, Zakaria Maamar, Michael Huhns. by Kowalczyk, Ryszard [editor.] | Vo, Quoc Bao [editor.] | Maamar, Zakaria [editor.] | Huhns, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5907Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Service-Oriented Computing [electronic resource] : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings / edited by Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad. by Kappel, Gerti [editor.] | Maamar, Zakaria [editor.] | Motahari-Nezhad, Hamid R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7084Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Cloud Computing [electronic resource] : First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana. by Al-Saidi, Asma [editor.] | Fleischer, Rudolf [editor.] | Maamar, Zakaria [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8993 | Lecture Notes in Computer Science ; 8993Edition: 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): .
|
