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

	41.	Information Computing and Applications [Recurso electrónico] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. by Zhu, Rongbo \| Zhang, Yanchun \| Liu, Baoxiang \| Liu, Chunfeng \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	42.	From Specification to Embedded Systems Application [Recurso electrónico] / edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by Rettberg, Achim \| Zanella, Mauro C \| Rammig, Franz J \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	43.	MobileWireless Middleware, Operating Systems, and Applications [Recurso electrónico] : Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / edited by Jean-Marie Bonnin, Carlo Giannelli, Thomas Magedanz. by Bonnin, Jean-Marie \| Giannelli, Carlo \| Magedanz, Thomas \| 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)
	44.	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)
	45.	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)
	46.	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)
	47.	Computer Architecture [Recurso electrónico] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort. by Varbanescu, Ana Lucia \| Molnos, Anca \| Nieuwpoort, Rob. 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)
	48.	Applied Parallel and Scientific Computing [Recurso electrónico] : 10th International Conference, PARA 2010, ReykjavÂ©Æk̄, Iceland, June 6-9, 2010, Revised Selected Papers, Part I / 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)
	49.	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)
	50.	S-BPM ONE â€{u04E5}tting the Stage for Subject-Oriented Business Process Management [Recurso electrónico] : First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers / edited by Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary. by Buchwald, Hagen \| Fleischmann, Albert \| Seese, Detlef \| Stary, Christian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	51.	Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik Å{uC119}zak. by Kim, Tai-hoon \| Kim, Haeng-Kon \| Khan, Muhammad Khurram \| Kiumi, Akingbehin \| Fang, Wai-chi \| Å{uC119}zak, Dominik \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	52.	Software and Data Technologies [Recurso electrónico] : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers / edited by JosÃ© Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov. by Cordeiro, JosÃ© \| Ranchordas, AlpeshKumar \| Shishkov, Boris \| 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)
	53.	Reflections on the History of Computing [Recurso electrónico] : Preserving Memories and Sharing Stories / edited by Arthur Tatnall. by Tatnall, Arthur. 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)
	54.	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)
	55.	Computer Safety, Reliability, and Security [Recurso electrónico] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster. by Saglietti, Francesca \| Oster, Norbert \| 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)
	56.	Parallel Processing and Applied Mathematics [Recurso electrónico] / 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers edited by Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wasni by Wyrzykowski, Roman \| Dongarra, Jack \| Meyer, Norbert \| Wasniewski, Jerzy \| 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)
	57.	Automata, Languages and Programming (vol. # 4051) [Recurso electrónico] / 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegene by Bugliesi, Michele \| Preneel, Bart \| Sassone, Vladimiro \| Wegener, Ingo \| 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)
	58.	Automata, Languages and Programming (vol. # 4052) [Recurso electrónico] / 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegen by Bugliesi, Michele \| Preneel, Bart \| Sassone, Vladimiro \| Wegener, Ingo \| 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)
	59.	High Performance Computing and Communications (vol. # 4208) [Recurso electrónico] / Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings edited by Michael Gerndt, Dieter KranzlmÃơller. by Gerndt, Michael \| KranzlmÃơller, Dieter \| 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)
	60.	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)

Biblioteca UCA

Refine your search

Availability

Authors

Series

Topics

Languages