Biblioteca UCA catalog › Results of search for 'su:"Special Purpose and Application-Based Systems"'

	1.	Leveraging Applications of Formal Methods [Recurso electrónico] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers edited by Tiziana Maragria, Bernhard Steffen. by Maragria, Tiziana \| Steffen, Bernhard \| 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)
	2.	Formal Modeling and Analysis of Timed Systems (vol. # 4202) [Recurso electrónico] / 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings edited by Eugene Asarin, Patricia Bouyer. by Asarin, Eugene \| Bouyer, Patricia \| 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)
	3.	Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L \| Vitek, Jan \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	4.	Computer and Computing Technologies in Agriculture II, Volume 2 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Daoliang Li, Chunjiang Zhao. by Li, Daoliang \| Zhao, Chunjiang \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	5.	Computer and Computing Technologies in Agriculture IV [Recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part III / edited by Daoliang Li, Yande Liu, Yingyi Chen. by Li, Daoliang \| Liu, Yande \| Chen, Yingyi \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	6.	Computer and Computing Technologies in Agriculture II, Volume 1 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Daoliang Li, Chunjiang Zhao. by Li, Daoliang \| Zhao, Chunjiang \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	7.	Formal Modeling and Analysis of Timed Systems [Recurso electrónico] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-FranÃ{u00A7}ois Raskin, P. S. Thiagarajan. by Raskin, Jean-FranÃ{u00A7}ois \| Thiagarajan, P. S \| 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)
	8.	Principles of Distributed Systems (vol. # 3544) [Recurso electrónico] / 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers edited by Teruo Higashino. by Higashino, Teruo \| 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)
	9.	Formal Modeling and Analysis of Timed Systems (vol. # 3829) [Recurso electrónico] / Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings edited by Paul Pettersson, Wang Yi. by Pettersson, Paul \| Yi, Wang \| 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)
	10.	Principles of Distributed Systems (vol. # 3974) [Recurso electrónico] / 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer. by Anderson, James H \| Prencipe, Giuseppe \| Wattenhofer, Roger \| 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)
	11.	Principles of Distributed Systems (vol. # 4305) [Recurso electrónico] / 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings edited by Alexander A. Shvartsman. by Shvartsman, Alexander A \| 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)
	12.	Computer And Computing Technologies In Agriculture, Volume II [Recurso electrónico] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 / edited by Daoliang Li. by Li, Daoliang \| 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)
	13.	Model-Based Engineering of Embedded Systems [Recurso electrónico] : The SPES 2020 Methodology / edited by Klaus Pohl, Harald HÂ©Å{uEBA9}nger, Reinhold Achatz, Manfred Broy. by Pohl, Klaus \| Hönninger, Harald \| Achatz, Reinhold \| Broy, Manfred. 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)
	14.	Formal Methods for Mobile Computing [Recurso electrónico] / 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures edit by Bernardo, Marco \| Bogliolo, Alessandro \| 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)
	15.	Dependable Computing - EDCC 2005 [Recurso electrónico] / 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings edited by Mario Dal Cin, Mohamed KaÃØniche, AndrÃ¡s Pataricza. by Dal Cin, Mario \| KaÃØniche, Mohamed \| Pataricza, AndrÃ¡s \| 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)
	16.	Computer And Computing Technologies In Agriculture, Volume I [Recurso electrónico] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 / edited by Daoliang Li. by Li, Daoliang \| 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)
	17.	E-Government Ict Professionalism and Competences Service Science [Recurso electrónico] / edited by Antonino Mazzeo, Roberto Bellini, Gianmario Motta. by Mazzeo, Antonino \| Bellini, Roberto \| Motta, Gianmario \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	18.	Formal Methods for Hardware Verification [Recurso electrónico] / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures edited by Bernardo, Marco \| Cimatti, Alessandro \| 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)
	19.	Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky. by Ciancarini, Paolo \| Wiklicky, Herbert \| 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)
	20.	Dependable Systems: Software, Computing, Networks [Recurso electrónico] / Research Results of the DICS Program edited by JÃơrg Kohlas, Bertrand Meyer, AndrÃ© Schiper. by Kohlas, JÃơrg \| Meyer, Bertrand \| Schiper, AndrÃ© \| 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