Your search returned 11 results.

Results
		Formal Methods and Stochastic Models for Performance Evaluation [Recurso electrónico] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter. by Wolter, Katinka \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4748Source: 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 Methods and Stochastic Models for Performance Evaluation [Recurso electrónico] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings edited by AndrÃ¡s HorvÃ¡th, MiklÃ³s Telek. by HorvÃ¡th, AndrÃ¡s \| Telek, MiklÃ³s \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4054Source: 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)
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) [Recurso electrónico] / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh by Vounckx, Johan \| Azemard, Nadine \| Maurine, Philippe \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4148Source: 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)
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [Recurso electrónico] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings. Nadine AzÃ©mard, Lars Sve by AzÃ©mard, Nadine \| Svensson, Lars \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4644Source: 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)
		Dependable Computing [Recurso electrónico] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings edited by Aline Maria Santos Andrade, FlÃ¡vio Morais de Assis Silva, Carlos Alberto Maziero, JoÃ£o Gabri by Andrade, Aline Maria Santos \| Assis Silva, FlÃ¡vio Morais de \| Maziero, Carlos Alberto \| Silva, JoÃ£o Gabriel \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3747Source: 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 Computing [Recurso electrónico] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Bondavalli, Andrea \| Brasileiro, Francisco \| Rajsbaum, Sergio \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4746Source: 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 Techniques for Computer Systems and Business Processes [Recurso electrónico] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September by Bravetti, Mario \| Kloul, Leila \| Zavattaro, Gianluigi \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3670Source: 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)
		Web Services and Formal Methods [Recurso electrónico] / Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings edited by Mario Bravetti, Manuel NÃºÃ±ez, Gianluigi Zavattaro. by Bravetti, Mario \| NÃºÃ±ez, Manuel \| Zavattaro, Gianluigi \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4184Source: 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)
		Quality of Software Architectures [Recurso electrónico] / Second International Conference on Quality of Software Architectures, QoSA 2006, VÃÞsteras, Schweden, June 27-29, 2006, Revised Papers edited by Christine Hofmeister, Ivica Crnkovic, Ra by Hofmeister, Christine \| Crnkovic, Ivica \| Reussner, Ralf \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4214Source: 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)
		Tests and Proofs [Recurso electrónico] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer. by Gurevich, Yuri \| Meyer, Bertrand \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4454Source: 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)
		Quality of Software Architectures and Software Quality [Recurso electrónico] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German by Becker, Steffen \| Mayer, Johannes \| Overhage, Sven \| Reussner, Ralf \| Schroeder, Patrick J \| Stafford, Judith A \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3712Source: 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)

Powered by Koha