Results of search for 'su:"Programming Techniques"'

Results
		Scientific Engineering of Distributed Java Applications [Recurso electrónico] / 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers edited by Nicolas Guelfi, Gianna Reggio, A by Guelfi, Nicolas \| Reggio, Gianna \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3409Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4194Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Computer Algebra in Scientific Computing [Recurso electrónico] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G \| Mayr, Ernst W \| Vorozhtsov, Evgenii V \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4770Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7148Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7155Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7156Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 6161Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7156Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Empirical Software Engineering and Verification [Recurso electrónico] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand \| Nordio, Martin. Series: Lecture Notes in Computer Science ; 7007Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: IFIP Advances in Information and Communication Technology ; 319Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: 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)
		Distributed Computing [Recurso electrónico] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings / edited by Marcos K. Aguilera. by Aguilera, Marcos K. Series: Lecture Notes in Computer Science ; 7611Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva. by Constable, Robert L \| Silva, Alexandra. Series: Lecture Notes in Computer Science ; 7230Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Integrated Formal Methods [Recurso electrónico] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. by Derrick, John \| Gnesi, Stefania \| Latella, Diego \| Treharne, Helen. Series: Lecture Notes in Computer Science ; 7321Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Communications in Computer and Information Science ; 99Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7247Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		FM 2005: Formal Methods [Recurso electrónico] / International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John \| Hayes, Ian J \| Tarlecki, Andrzej \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3582Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Transactions on Aspect-Oriented Software Development IX [Recurso electrónico] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T \| Chiba, Shigeru \| Haupt, Michael \| Ostermann, Klaus \| Wohlstadter, Eric. Series: Lecture Notes in Computer Science ; 7271Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Distributed Computing and Internet Technology (vol. # 3816) [Recurso electrónico] / Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings edited by Goutam Chakraborty. by Chakraborty, Goutam \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3816Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Algebraic Methodology and Software Technology [Recurso electrónico] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings edited by Michael Johnson, Varmo Vene. by Johnson, Michael \| Vene, Varmo \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4019Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Formal Aspects of Component Software [Recurso electrónico] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Â©Ø{uCDA5}czky. by Arbab, Farhad \| Ã{uCDA5}czky, Peter Csaba. Series: Lecture Notes in Computer Science ; 7253Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

		Scientific Engineering of Distributed Java Applications [Recurso electrónico] / 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers edited by Nicolas Guelfi, Gianna Reggio, A by Guelfi, Nicolas \| Reggio, Gianna \| Romanovsky, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3409Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4194Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Computer Algebra in Scientific Computing [Recurso electrónico] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G \| Mayr, Ernst W \| Vorozhtsov, Evgenii V \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4770Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7148Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7155Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7156Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 6161Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7156Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Empirical Software Engineering and Verification [Recurso electrónico] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand \| Nordio, Martin. Series: Lecture Notes in Computer Science ; 7007Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: IFIP Advances in Information and Communication Technology ; 319Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: 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)
		Distributed Computing [Recurso electrónico] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings / edited by Marcos K. Aguilera. by Aguilera, Marcos K. Series: Lecture Notes in Computer Science ; 7611Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva. by Constable, Robert L \| Silva, Alexandra. Series: Lecture Notes in Computer Science ; 7230Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Integrated Formal Methods [Recurso electrónico] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. by Derrick, John \| Gnesi, Stefania \| Latella, Diego \| Treharne, Helen. Series: Lecture Notes in Computer Science ; 7321Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Communications in Computer and Information Science ; 99Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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. Series: Lecture Notes in Computer Science ; 7247Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		FM 2005: Formal Methods [Recurso electrónico] / International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John \| Hayes, Ian J \| Tarlecki, Andrzej \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3582Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Transactions on Aspect-Oriented Software Development IX [Recurso electrónico] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T \| Chiba, Shigeru \| Haupt, Michael \| Ostermann, Klaus \| Wohlstadter, Eric. Series: Lecture Notes in Computer Science ; 7271Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Distributed Computing and Internet Technology (vol. # 3816) [Recurso electrónico] / Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings edited by Goutam Chakraborty. by Chakraborty, Goutam \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3816Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Algebraic Methodology and Software Technology [Recurso electrónico] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings edited by Michael Johnson, Varmo Vene. by Johnson, Michael \| Vene, Varmo \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4019Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Formal Aspects of Component Software [Recurso electrónico] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Â©Ø{uCDA5}czky. by Arbab, Farhad \| Ã{uCDA5}czky, Peter Csaba. Series: Lecture Notes in Computer Science ; 7253Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 216 results.