Refine your search

Your search returned 126 results.

|
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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic Publisher: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, LLC, 2009Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available

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 Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Powered by Koha