Results
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|