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

Results
		Programming Languages and Systems [Recurso electrónico] : 21st European Symposium on Programming, ESOP 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 Helmut Seidl. by Seidl, Helmut. Series: Lecture Notes in Computer Science ; 7211Material 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)
		ECOOP 2012 - Object-Oriented Programming [Recurso electrónico] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings / edited by James Noble. by Noble, James. Series: Lecture Notes in Computer Science ; 7313Material 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)
		Bioinspired Models of Network, Information, and Computing Systems [Recurso electrónico] : 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers / edited by Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel. by Altman, Eitan \| Carrera, Iacopo \| El-Azouzi, Rachid \| Hart, Emma \| Hayel, Yezekael \| SpringerLink (Online service). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 39Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Agent-Oriented Software Engineering VI [Recurso electrónico] / 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers edited by JÃœrg P. MÃơller, Franco Zambonelli. by MÃơller, JÃœrg P \| Zambonelli, Franco \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3950Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4405Source: 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)
		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. Series: Lecture Notes in Computer Science ; 6599Material 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)
		Agent-Oriented Software Engineering V [Recurso electrónico] / 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers edited by Paolo Giorgini, JÃœrg, P. MÃơller, James Odell. by Giorgini, Paolo \| MÃơller, JÃœrg, P \| Odell, James \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3382Source: 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)
		Distributed Computing - IWDC 2005 [Recurso electrónico] / 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings edited by Arobinda Gupta, Ajay D. Kshemkalyani, Rajeev Kumar, Ajit Pal. by Gupta, Arobinda \| Kshemkalyani, Ajay D \| Kumar, Rajeev \| Pal, Ajit \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3741Source: 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)
		Programming Languages and Systems (vol. # 4279) [Recurso electrónico] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings edited by Naoki Kobayashi. by Kobayashi, Naoki \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4279Source: 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)
		Computational Intelligence and Intelligent Systems [Recurso electrónico] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings / edited by Zhihua Cai, Hengjian Tong, Zhuo Kang, Yong Liu. by Cai, Zhihua \| Tong, Hengjian \| Kang, Zhuo \| Liu, Yong \| SpringerLink (Online service). Series: Communications in Computer and Information Science ; 107Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Coordination, Organizations, Institutions, and Norms in Agent Systems II [Recurso electrónico] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. by Noriega, Pablo \| Boella, Guido \| Boissier, Olivier \| Dignum, Virginia \| Fornara, Nicoletta \| Matson, Eric \| VÃ¡zquez-Salceda, Javier \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4386Source: 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)
		Wireless Sensor Networks [Recurso electrónico] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings / edited by Gian Pietro Picco, Wendi Heinzelman. by Picco, Gian Pietro \| Heinzelman, Wendi. Series: Lecture Notes in Computer Science ; 7158Material 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)
		Tools and Algorithms for the Construction and Analysis of Systems [Recurso electrónico] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24226}0ÑØ̕£ April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara KÃœnig. by Flanagan, Cormac \| KÃœnig, Barbara. Series: Lecture Notes in Computer Science ; 7214Material 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)
		Distributed Computing and Networking [Recurso electrónico] / 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings edited by Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura. by Chaudhuri, Soma \| Das, Samir R \| Paul, Himadri S \| Tirthapura, Srikanta \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4308Source: 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)
		Programming Languages and Systems (vol. # 3924) [Recurso electrónico] / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European edited by Peter Sestoft. by Sestoft, Peter \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3924Source: 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)
		Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [Recurso electrónico] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles BartheLilian by Barthe, Gilles \| Burdy, Lilian \| Huisman, Marieke \| Lanet, Jean-Louis \| Muntean, Traian \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3362Source: 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)
		Verified Software: Theories, Tools, Experiments [Recurso electrónico] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter MÃ{uCB25}r, Andreas Podelski. by Joshi, Rajeev \| MÃ{uCB25}r, Peter \| Podelski, Andreas. Series: Lecture Notes in Computer Science ; 7152Material 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)
		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. Series: Lecture Notes in Computer Science ; 7226Material 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)
		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). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 46Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Reliable Software Technology - Ada-Europe 2005 [Recurso electrónico] / 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings edited by Tullio Vardanega, Andy Wellings. by Vardanega, Tullio \| Wellings, Andy \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3555Source: 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)

		Programming Languages and Systems [Recurso electrónico] : 21st European Symposium on Programming, ESOP 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 Helmut Seidl. by Seidl, Helmut. Series: Lecture Notes in Computer Science ; 7211Material 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)
		ECOOP 2012 - Object-Oriented Programming [Recurso electrónico] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings / edited by James Noble. by Noble, James. Series: Lecture Notes in Computer Science ; 7313Material 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)
		Bioinspired Models of Network, Information, and Computing Systems [Recurso electrónico] : 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers / edited by Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel. by Altman, Eitan \| Carrera, Iacopo \| El-Azouzi, Rachid \| Hart, Emma \| Hayel, Yezekael \| SpringerLink (Online service). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 39Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Agent-Oriented Software Engineering VI [Recurso electrónico] / 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers edited by JÃœrg P. MÃơller, Franco Zambonelli. by MÃơller, JÃœrg P \| Zambonelli, Franco \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3950Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4405Source: 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)
		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. Series: Lecture Notes in Computer Science ; 6599Material 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)
		Agent-Oriented Software Engineering V [Recurso electrónico] / 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers edited by Paolo Giorgini, JÃœrg, P. MÃơller, James Odell. by Giorgini, Paolo \| MÃơller, JÃœrg, P \| Odell, James \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3382Source: 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)
		Distributed Computing - IWDC 2005 [Recurso electrónico] / 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings edited by Arobinda Gupta, Ajay D. Kshemkalyani, Rajeev Kumar, Ajit Pal. by Gupta, Arobinda \| Kshemkalyani, Ajay D \| Kumar, Rajeev \| Pal, Ajit \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3741Source: 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)
		Programming Languages and Systems (vol. # 4279) [Recurso electrónico] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings edited by Naoki Kobayashi. by Kobayashi, Naoki \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4279Source: 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)
		Computational Intelligence and Intelligent Systems [Recurso electrónico] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings / edited by Zhihua Cai, Hengjian Tong, Zhuo Kang, Yong Liu. by Cai, Zhihua \| Tong, Hengjian \| Kang, Zhuo \| Liu, Yong \| SpringerLink (Online service). Series: Communications in Computer and Information Science ; 107Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Coordination, Organizations, Institutions, and Norms in Agent Systems II [Recurso electrónico] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. by Noriega, Pablo \| Boella, Guido \| Boissier, Olivier \| Dignum, Virginia \| Fornara, Nicoletta \| Matson, Eric \| VÃ¡zquez-Salceda, Javier \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4386Source: 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)
		Wireless Sensor Networks [Recurso electrónico] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings / edited by Gian Pietro Picco, Wendi Heinzelman. by Picco, Gian Pietro \| Heinzelman, Wendi. Series: Lecture Notes in Computer Science ; 7158Material 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)
		Tools and Algorithms for the Construction and Analysis of Systems [Recurso electrónico] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24226}0ÑØ̕£ April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara KÃœnig. by Flanagan, Cormac \| KÃœnig, Barbara. Series: Lecture Notes in Computer Science ; 7214Material 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)
		Distributed Computing and Networking [Recurso electrónico] / 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings edited by Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura. by Chaudhuri, Soma \| Das, Samir R \| Paul, Himadri S \| Tirthapura, Srikanta \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4308Source: 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)
		Programming Languages and Systems (vol. # 3924) [Recurso electrónico] / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European edited by Peter Sestoft. by Sestoft, Peter \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3924Source: 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)
		Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [Recurso electrónico] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles BartheLilian by Barthe, Gilles \| Burdy, Lilian \| Huisman, Marieke \| Lanet, Jean-Louis \| Muntean, Traian \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3362Source: 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)
		Verified Software: Theories, Tools, Experiments [Recurso electrónico] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter MÃ{uCB25}r, Andreas Podelski. by Joshi, Rajeev \| MÃ{uCB25}r, Peter \| Podelski, Andreas. Series: Lecture Notes in Computer Science ; 7152Material 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)
		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. Series: Lecture Notes in Computer Science ; 7226Material 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)
		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). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 46Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Reliable Software Technology - Ada-Europe 2005 [Recurso electrónico] / 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings edited by Tullio Vardanega, Andy Wellings. by Vardanega, Tullio \| Wellings, Andy \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3555Source: 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)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 216 results.