Biblioteca UCA catalog › Results of search for 'su:"Software Engineering/Programming and Operating Systems"'

	1.	Protocol Engineering [Recurso electrónico] / by Hartmut König. by König, Hartmut. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	2.	Parallel Computing Technologies [Recurso electrónico] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	3.	Algorithms and Architectures for Parallel Processing [Recurso electrónico] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Jin, Hai \| Pan, Yi \| Prasanna, Viktor K \| Rana, Omer F \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	4.	Distributed and Parallel Computing [Recurso electrónico] / 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings edited by Andrzej Goscinski, Michael by Goscinski, Andrzej \| Hobbs, Michael \| Zhou, Wanlei \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	5.	Testbeds and Research Infrastructures. Development of Networks and Communities [Recurso electrónico] : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers / edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase. by Magedanz, Thomas \| Gavras, Anastasius \| Thanh, Nguyen Huu \| Chase, Jeffry S \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	6.	Testbeds and Research Infrastructure. Development of Networks and Communities [Recurso electrónico] : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers / edited by Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park. by Korakis, Thanasis \| Li, Hongbin \| Tran-Gia, Phuoc \| Park, Hong-Shik. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	7.	Parallel Computing Technologies [Recurso electrónico] / 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings edited by Malyshkin Victor. by Victor, Malyshkin \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	8.	Membrane Computing [Recurso electrónico] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / edited by Marian Gheorghe, Gheorghe Pâ{uF451}un, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan. by Gheorghe, Marian \| Pâ{uF451}un, Gheorghe \| Rozenberg, Grzegorz \| Salomaa, Arto \| Verlan, Sergey. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	9.	Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	10.	Programming Multi-Agent Systems [Recurso electrónico] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, JÃ{u29E5}n Dix, Peter NovÃ¡k by Collier, Rem \| Dix, JÃ{u29E5}n \| NovÃ¡k, Peter. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	11.	Transactions on Aspect-Oriented Software Development II [Recurso electrónico] / Focus: AOP Systems, Software and Middleware edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais \| Aksit, Mehmet \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	12.	Network and Parallel Computing [Recurso electrónico] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings / edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni. by Park, James J \| Zomaya, Albert \| Yeo, Sang-Soo \| Sahni, Sartaj. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	13.	Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo \| Gavrilova, Marina L \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	14.	Computational Science and Its Applications - ICCSA 2006 (vol. # 3982) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Ta by Gavrilova, Marina \| Choo, Hyunseung \| Gervasi, Osvaldo \| Kumar, Vipin \| LaganÃ¡, Antonio \| Mun, Youngsong \| Tan, C.J. Kenneth \| Taniar, David \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	15.	Computational Science and Its Applications - ICCSA 2006 (vol. # 3984) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan by Gavrilova, Marina \| Choo, Hyunseung \| Gervasi, Osvaldo \| Kumar, Vipin \| LaganÃ¡, Antonio \| Mun, Youngsong \| Tan, C.J. Kenneth \| Taniar, David \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	16.	Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova. by Gervasi, Osvaldo \| Gavrilova, Marina L \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	17.	Computational Science -- ICCS 2005 (vol. # 3514) [Recurso electrónico] / 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I edited by J. J. Dongarra, Peter M.A. Sloot, V.S. Sunderam, G. Dick van Albada. by Dongarra, J. J \| Sloot, Peter M.A \| Sunderam, V.S \| van Albada, G. Dick \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	18.	Computational Science and Its Applications - ICCSA 2005 (vol. # 3480) [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part I edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio LaganÃ¡ e by Gavrilova, Marina L \| Gervasi, Osvaldo \| Kumar, Vipin \| LaganÃ¡, Antonio \| Lee, Heow Pueh \| Mun, Youngsong \| Tan, Chih Jeng Kenneth \| Taniar, David \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	19.	Computational Science -- ICCS 2005 (vol. # 3515) [Recurso electrónico] / 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II edited by G. Dick van Albada, Jack Dongarra, Peter M.A. Sloot, V.S. Sunderam. by Albada, G. Dick van \| Dongarra, Jack \| Sloot, Peter M.A \| Sunderam, V.S \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	20.	Computational Science and Its Applications - ICCSA 2006 (vol. # 3981) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan by Gavrilova, Marina \| Choo, Hyunseung \| Gervasi, Osvaldo \| Kumar, Vipin \| LaganÃ¡, Antonio \| Mun, Youngsong \| Tan, C.J. Kenneth \| Taniar, David \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)

Biblioteca UCA

Refine your search

Availability

Authors

Series

Topics

Languages