Biblioteca UCA catalog › Results of search for 'su:"Programming Techniques"'

	141.	Computer Algebra in Scientific Computing (vol. # 4194) [Recurso electrónico] / 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov. by Ganzha, V.G \| Mayr, E.W \| Vorozhtsov, E.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)
	142.	Agent-Oriented Software Engineering VII [Recurso electrónico] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Padgham, Lin \| Zambonelli, Franco \| 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)
	143.	Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia AbrahÃ£o. by Å{uC119}zak, Dominik \| Kim, Tai-hoon \| Kiumi, Akingbehin \| Jiang, Tao \| Verner, June \| AbrahÃ£o, Silvia \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	144.	Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz. by Riel, Andreas \| Oâ€{u3BEE}nor, Rory \| Tichkiewitch, Serge \| Messnarz, Richard \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	145.	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)
	146.	Evolutionary and Biologically Inspired Music, Sound, Art and Design [Recurso electrónico] : First International Conference, EvoMUSART 2012, MÂ©Å{uC867}a, Spain, April 11-13, 2012. Proceedings / edited by Penousal Machado, Juan Romero, Adrian Carballal. by Machado, Penousal \| Romero, Juan \| Carballal, Adrian. 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)
	147.	Euro-Par 2011: Parallel Processing Workshops [Recurso electrónico] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part I / edited by Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer. by Alexander, Michael \| D'Ambra, Pasqua \| Belloum, Adam \| Bosilca, George \| Cannataro, Mario \| Danelutto, Marco \| Martino, Beniamino \| Gerndt, Michael \| Jeannot, Emmanuel \| Namyst, Raymond \| Roman, Jean \| Scott, Stephen L \| Traff, Jesper Larsson \| Vallée, Geoffroy \| Weidendorfer, Josef. 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)
	148.	Euro-Par 2011: Parallel Processing Workshops [Recurso electrónico] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part II / edited by Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer. by Alexander, Michael \| D'Ambra, Pasqua \| Belloum, Adam \| Bosilca, George \| Cannataro, Mario \| Danelutto, Marco \| Martino, Beniamino \| Gerndt, Michael \| Jeannot, Emmanuel \| Namyst, Raymond \| Roman, Jean \| Scott, Stephen L \| Traff, Jesper Larsson \| Vallée, Geoffroy \| Weidendorfer, Josef. 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)
	149.	Software Composition [Recurso electrónico] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book. by Gschwind, Thomas \| Paoli, Flavio \| Gruhn, Volker \| Book, Matthias. 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)
	150.	Correct Reasoning [Recurso electrónico] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce. by Erdem, Esra \| Lee, Joohyung \| Lierler, Yuliya \| Pearce, David. 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)
	151.	Formal Techniques for Distributed Systems [Recurso electrónico] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu. by Giese, Holger \| Rosu, Grigore. 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)
	152.	Multicore Software Engineering, Performance, and Tools [Recurso electrónico] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen. by Pankratius, Victor \| Philippsen, Michael. 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)
	153.	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)
	154.	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)
	155.	Distributed Computing and Networking [Recurso electrónico] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, StÃ©phane Devismes, Archan Misra. by Bononi, Luciano \| Datta, Ajoy K \| Devismes, StÃ©phane \| Misra, Archan. 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)
	156.	Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko. by Kuncak, Viktor \| Rybalchenko, Andrey. 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)
	157.	Logic for Programming, Artificial Intelligence, and Reasoning [Recurso electrónico] : 18th International Conference, LPAR-18, MÂ©â{uDCA9}da, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj BjÂ©Ä±rner, Andrei Voronkov. by BjÂ©Ä±rner, Nikolaj \| Voronkov, Andrei. 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)
	158.	Fundamental Approaches to Software Engineering [Recurso electrónico] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman. by Lara, Juan \| Zisman, Andrea. 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)
	159.	Advances in Software Engineering Techniques [Recurso electrónico] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. by Szmuc, Tomasz \| Szpyrka, Marcin \| Zendulka, Jaroslav. 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)
	160.	Perspectives of Systems Informatics [Recurso electrónico] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Clarke, Edmund \| Virbitskaite, Irina \| Voronkov, Andrei. 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)

Biblioteca UCA

Refine your search

Availability

Authors

Series

Topics

Languages