Your search returned 5 results.

Sort
Results
1.
Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / edited by Jasmin Fisher. by Series: Lecture Notes in Computer Science ; 5054
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH324.2 F57 2008.

2.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Series: Lecture Notes in Computer Science ; 4202 | Lecture Notes in Computer Science ; 4202
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 A83 2006.

3.
Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi. by Series: Lecture Notes in Computer Science ; 3829
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 P48 2005.

4.
Dirección y gestión de la producción : una aproximación mediante la simulación / Fausto Pedro García Márquez. by
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: México : Alfaomega Grupo Editor, 2013
Availability: Items available for loan: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas (3)Call number: TS155.8 G37 2013, ... Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Consulta (1)Call number: TS155.8 G37 2013.

5.
Understanding molecular simulation : from algorithms to applications / Daan Frenkel, Berend Smit. by Series: Computational Science Series ; V. 1
Edition: 2a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: San Diego, California : Elsevier, 2002
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Química (1)Call number: QD461 F74 2002.

Pages

Powered by Koha