Refine your search

Your search returned 15 results. Subscribe to this search

|
1. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) [Recurso electrónico] / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed by Halbwachs, Nicolas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) [Recurso electrónico] / 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V by Hermanns, Holger. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

3. Graph Transformations [Recurso electrónico] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings edited by Andrea CorradiniHartmut Ehrig, Ugo Montanari, Leila Ribeiro et al. by Corradini, Andrea. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

4. Domain Modeling and the Duration Calculus [Recurso electrónico] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. by George, Chris W. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

5. Mathematical and Engineering Methods in Computer Science [Recurso electrónico] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by ZdenÄ{uB80B}otásek, Jan Bouda, Ivana ÄŒerná, Lukáš Sekanina, Tomáš Vojnar, David AntoÅ¡ by Kotásek, ZdenÄ{uBB80} Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

6. Foundations and Practice of Security [Recurso electrónico] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade. by Garcia-Alfaro, Joaquin. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

7. Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko. by Kuncak, Viktor. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

8. Transactions on Computational Science XV [Recurso electrónico] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan. by Gavrilova, Marina L. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

9. Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva. by Constable, Robert L. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

10. Reversible Computation [Recurso electrónico] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis Vos, Robert Wille. by Vos, Alexis. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

11. Perspectives of Systems Informatics [Recurso electrónico] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Clarke, Edmund. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

12. Runtime Verification [Recurso electrónico] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen. by Khurshid, Sarfraz. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

13. Integrated Formal Methods [Recurso electrónico] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. by Derrick, John. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

14. Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

15. Applications of Graph Transformations with Industrial Relevance [Recurso electrónico] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy SchÃ{u2CAC} Dániel Varró, Gergely Varró. by SchÃ{u2CAC} Andy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha