Results of search for 'su:"Special Purpose and Application-Based Systems"'

Results
		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). Series: The International Federation for Information Processing ; 258Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Innovation in Manufacturing Networks [Recurso electrónico] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23â€{u2D6C} 2008 / edited by AmÃ©rico Azevedo. by Azevedo, AmÃ©rico \| SpringerLink (Online service). Series: IFIP â€{u0528}e International Federation for Information Processing ; 266Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3463Source: 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)
		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). Series: IFIP International Federation for Information Processing ; 280Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: The International Federation for Information Processing ; 259Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3974Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4305Source: 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)
		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). Series: Lecture Notes in Computer Science ; 3544Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4028Source: 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 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). Series: Lecture Notes in Computer Science ; 4202Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4313Source: 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 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). Series: Lecture Notes in Computer Science ; 4763Source: 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)
		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). Series: Lecture Notes in Computer Science ; 3829Source: 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)
		Formal Methods Applications and Technology [Recurso electrónico] / 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification by Brim, Lubos \| Haverkort, Boudewijn \| Leucker, Martin \| Pol, Jaco van de \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4346Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4467Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4038Source: 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 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). Series: IFIP Advances in Information and Communication Technology ; 294Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: IFIP Advances in Information and Communication Technology ; 346Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: 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)
		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). Series: IFIP Advances in Information and Communication Technology ; 293Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Computer and Computing Technologies in Agriculture II, Volume 3 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Chunjiang Zhao, Daoliang Li. by Zhao, Chunjiang \| Li, Daoliang \| SpringerLink (Online service). Series: IFIP Advances in Information and Communication Technology ; 295Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

		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). Series: The International Federation for Information Processing ; 258Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Innovation in Manufacturing Networks [Recurso electrónico] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23â€{u2D6C} 2008 / edited by AmÃ©rico Azevedo. by Azevedo, AmÃ©rico \| SpringerLink (Online service). Series: IFIP â€{u0528}e International Federation for Information Processing ; 266Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3463Source: 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)
		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). Series: IFIP International Federation for Information Processing ; 280Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: The International Federation for Information Processing ; 259Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3974Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4305Source: 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)
		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). Series: Lecture Notes in Computer Science ; 3544Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4028Source: 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 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). Series: Lecture Notes in Computer Science ; 4202Source: 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)
		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). Series: Lecture Notes in Computer Science ; 4313Source: 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 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). Series: Lecture Notes in Computer Science ; 4763Source: 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)
		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). Series: Lecture Notes in Computer Science ; 3829Source: 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)
		Formal Methods Applications and Technology [Recurso electrónico] / 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification by Brim, Lubos \| Haverkort, Boudewijn \| Leucker, Martin \| Pol, Jaco van de \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4346Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4467Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4038Source: 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 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). Series: IFIP Advances in Information and Communication Technology ; 294Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: IFIP Advances in Information and Communication Technology ; 346Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: 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)
		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). Series: IFIP Advances in Information and Communication Technology ; 293Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Computer and Computing Technologies in Agriculture II, Volume 3 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Chunjiang Zhao, Daoliang Li. by Zhao, Chunjiang \| Li, Daoliang \| SpringerLink (Online service). Series: IFIP Advances in Information and Communication Technology ; 295Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2009Online 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 126 results.