|
81.
|
|
|
82.
|
|
|
83.
|
|
|
84.
|
Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski. by Dongarra, Jack | Madsen, Kaj | Waśniewski, Jerzy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.58 D66 2006 (1).
|
|
85.
|
Modeling Semantic Web Services [electronic resource] : The Web Service Modeling Language / by Jos Bruijn, Dieter Fensel, Mick Kerrigan, Uwe Keller, Holger Lausen, James Scicluna. by Bruijn, Jos | Fensel, Dieter | Kerrigan, Mick | Keller, Uwe | Lausen, Holger | Scicluna, James | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.A65 B78 2008 (1).
|
|
86.
|
|
|
87.
|
Model-Driven Testing [electronic resource] / by Paul Baker, Zhen Ru Dai, Jens Grabowski, Øystein Haugen, Ina Schieferdecker, Clay Williams. by Baker, Paul | Dai, Zhen Ru | Grabowski, Jens | Haugen, Øystein | Schieferdecker, Ina | Williams, Clay | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.T48 B35 2008 (1).
|
|
88.
|
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Meersman, Robert | Tari, Zahir | Herrero, Pilar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D3 M447 2006 (1).
|
|
89.
|
|
|
90.
|
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell. by Cerqueira, Renato | Campbell, Roy H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.M54 C47 2007 (1).
|
|
91.
|
|
|
92.
|
Multi-Agent-Based Simulation VI [electronic resource] : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Jaime S. Sichman, Luis Antunes. by Sichman, Jaime S | Antunes, Luis | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.I58 S53 2006 (1).
|
|
93.
|
|
|
94.
|
|
|
95.
|
|
|
96.
|
|
|
97.
|
Grammatical Inference: Algorithms and Applications [electronic resource] : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings / edited by Yasubumi Sakakibara, Satoshi Kobayashi, Kengo Sato, Tetsuro Nishino, Etsuji Tomita. by Sakakibara, Yasubumi | Kobayashi, Satoshi | Sato, Kengo | Nishino, Tetsuro | Tomita, Etsuji | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267.3 S25 2006 (1).
|
|
98.
|
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III / edited by Lipo Wang, Ke Chen, Yew Soon Ong. by Wang, Lipo | Chen, Ke | Ong, Yew Soon | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.87 W36 2005 (1).
|
|
99.
|
Engineering Societies in the Agents World VII [electronic resource] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / edited by Gregory M. P. O’Hare, Alessandro Ricci, Michael J. O’Grady, Oğuz Dikenelli. by O’Hare, Gregory M. P | Ricci, Alessandro | O’Grady, Michael J | Dikenelli, Oğuz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.I58 O43 2007 (1).
|
|
100.
|
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings / edited by Asaf Adi, Suzette Stoutenburg, Said Tabet. by Adi, Asaf | Stoutenburg, Suzette | Tabet, Said | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.H94 A35 2005 (1).
|