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

	61.	Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur \| Chattopadhyay, Sanatan \| Chattopadhyay, Santanu. Material type: Text; Format: electronic ; 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)
	62.	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)
	63.	Applied Parallel and Scientific Computing [Recurso electrónico] : 10th International Conference, PARA 2010, ReykjavÂ©Æk̄, Iceland, June 6-9, 2010, Revised Selected Papers, Part II / edited by KristjÂ©Å{uE80A}Â©Ä{uE873}son. by JÂ©Ä{uE873}son, KristjÂ©Å{uEB80}. 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)
	64.	Object-Oriented Technology. ECOOP 2004 Workshop Reader [Recurso electrónico] / ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports edited by Jacques Malenfant, Bjarte M. Ãs̃tvold. by Malenfant, Jacques \| Ãs̃tvold, Bjarte M \| 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)
	65.	Euro-Par 2007 Parallel Processing [Recurso electrónico] : 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings / edited by Anne-Marie Kermarrec, Luc BougÃ©, Thierry Priol. by Kermarrec, Anne-Marie \| BougÃ©, Luc \| Priol, Thierry \| 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)
	66.	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)
	67.	Euro-Par 2006 Parallel Processing [Recurso electrónico] / 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner. by Nagel, Wolfgang E \| Lehner, Wolfgang \| Walter, Wolfgang V \| 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)
	68.	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)
	69.	Fundamentals of Software Engineering [Recurso electrónico] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad \| Sirjani, Marjan. Material type: Text; Format: electronic ; 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)
	70.	Formal Methods for Model-Driven Engineering [Recurso electrónico] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. by Bernardo, Marco \| Cortellessa, Vittorio \| Pierantonio, Alfonso. Material type: Text; Format: electronic ; 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)
	71.	VLSI-SoC: Forward-Looking Trends in IC and Systems Design [Recurso electrónico] : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / edited by JosÂ©â{uD80C}. Ayala, David Atienza Alonso, Ricardo Reis. by Ayala, JosÂ©â{uD80C} \| Atienza Alonso, David \| Reis, Ricardo. 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)
	72.	NASA Formal Methods [Recurso electrónico] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Goodloe, Alwyn E \| Person, Suzette. 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)
	73.	Computer-Aided Innovation (CAI) [Recurso electrónico] : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / edited by Gaetano Cascini. by Cascini, Gaetano \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	74.	Systems and Virtualization Management. Standards and New Technologies [Recurso electrónico] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. by Boursas, Latifa \| Carlson, Mark \| Hommel, Wolfgang \| Sibilla, Michelle \| Wold, Kes \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	75.	IT Innovation for Adaptability and Competitiveness [Recurso electrónico] / edited by Brian Fitzgerald, Eleanor Wynn. by Fitzgerald, Brian \| Wynn, Eleanor \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2004Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	76.	Software and Data Technologies [Recurso electrónico] : First International Conference, ICSOFT 2006, SetÃºbal, Portugal, September 11-14, 2006, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert. by Filipe, Joaquim \| Shishkov, Boris \| Helfert, Markus \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	77.	Open Source Software: New Horizons [Recurso electrónico] : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 â€{u02B5}ne 2, 2010. Proceedings / edited by PÃ{u2803}{u7972}falk, Cornelia Boldyreff, JesÃºs M. GonzÃ¡lez-Barahona, Gregory R. Madey, John Noll. by Ã{u7972}falk, PÃ{u2B80} \| Boldyreff, Cornelia \| GonzÃ¡lez-Barahona, JesÃºs M \| Madey, Gregory R \| Noll, John \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	78.	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)
	79.	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)
	80.	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)

Biblioteca UCA

Refine your search

Availability

Authors

Series

Topics

Languages