Results of search for 'su:"System Performance and Evaluation"'

Results
		Passive and Active Network Measurement [Recurso electrónico] / 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings edited by Constantinos Dovrolis. by Dovrolis, Constantinos \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3431Source: 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)
		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)
		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)
		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. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4028Source: 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)
		NETWORKING 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [Recurso electrónico] / 5th International IFIP-TC6 Networking Conference, Coimbra, P by Boavida, Fernando \| Monteiro, Edmundo \| Plagemann, Thomas \| Stiller, Burkhard \| Westphal, Cedric \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3976Source: 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)
		NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [Recurso electrónico] / 4th International IFIP-TC6 Networking Conference, Waterl by Almeroth, Kevin \| Black, James P \| Boutaba, Raouf \| Puigjaner, Ramon \| Shen, Sherman \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3462Source: 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)
		Next Generation Teletraffic and Wired [Recurso electrónico] / 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings edited by Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen. by Koucheryavy, Yevgeni \| Harju, Jarmo \| Iversen, Villy B \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4003Source: 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)
		Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 3553) [Recurso electrónico] / 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings edited by Timo D. HÃÞmÃÞlÃÞinen, Andy D. Pimentel, Jarmo Taka by HÃÞmÃÞlÃÞinen, Timo D \| Pimentel, Andy D \| Takala, Jarmo \| Vassiliadis, Stamatis \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3553Source: 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)
		Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017) [Recurso electrónico] / 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings edited by Stamatis Vassiliadis, Stephan Wong, Timo D by Vassiliadis, Stamatis \| HÃÞmÃÞlÃÞinen, Timo D \| Wong, Stephan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4017Source: 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)
		Reconfigurable Computing: Architectures and Applications [Recurso electrónico] / Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers edited by Koen Bertels, JoÃ£o M.P. Cardoso, Stamatis Vas by Bertels, Koen \| Cardoso, JoÃ£o M.P \| Vassiliadis, Stamatis \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3985Source: 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)
		Next Generation Teletraffic and Wired/Wireless Advanced Networking [Recurso electrónico] : 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings. Yevgeni Koucheryavy, Jarmo Harju, Alexander S by Koucheryavy, Yevgeni \| Harju, Jarmo \| Sayenko, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4712Source: 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)
		Managing Traffic Performance in Converged Networks [Recurso electrónico] : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings / edited by Lorne Mason, Tadeusz Drwiega, James Yan. by Mason, Lorne \| Drwiega, Tadeusz \| Yan, James \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4516Source: 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)
		Embedded Computer Systems: Architectures, Modeling, and Simulation [Recurso electrónico] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings. Stamatis Vassiliadis, Mladen Berekovic, Timo D. HÃÞmÃÞlÃÞinen. by Vassiliadis, Stamatis \| Berekovic, Mladen \| HÃÞmÃÞlÃÞinen, Timo D \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4599Source: 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)
		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)
		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)
		Wireless Algorithms, Systems, and Applications [Recurso electrónico] / First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Cheng, Xiuzhen \| Li, Wei \| Znati, Taieb \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4138Source: 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)

		Passive and Active Network Measurement [Recurso electrónico] / 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings edited by Constantinos Dovrolis. by Dovrolis, Constantinos \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3431Source: 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)
		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)
		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)
		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. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4028Source: 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)
		NETWORKING 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [Recurso electrónico] / 5th International IFIP-TC6 Networking Conference, Coimbra, P by Boavida, Fernando \| Monteiro, Edmundo \| Plagemann, Thomas \| Stiller, Burkhard \| Westphal, Cedric \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3976Source: 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)
		NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [Recurso electrónico] / 4th International IFIP-TC6 Networking Conference, Waterl by Almeroth, Kevin \| Black, James P \| Boutaba, Raouf \| Puigjaner, Ramon \| Shen, Sherman \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3462Source: 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)
		Next Generation Teletraffic and Wired [Recurso electrónico] / 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings edited by Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen. by Koucheryavy, Yevgeni \| Harju, Jarmo \| Iversen, Villy B \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4003Source: 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)
		Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 3553) [Recurso electrónico] / 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings edited by Timo D. HÃÞmÃÞlÃÞinen, Andy D. Pimentel, Jarmo Taka by HÃÞmÃÞlÃÞinen, Timo D \| Pimentel, Andy D \| Takala, Jarmo \| Vassiliadis, Stamatis \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3553Source: 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)
		Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017) [Recurso electrónico] / 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings edited by Stamatis Vassiliadis, Stephan Wong, Timo D by Vassiliadis, Stamatis \| HÃÞmÃÞlÃÞinen, Timo D \| Wong, Stephan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4017Source: 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)
		Reconfigurable Computing: Architectures and Applications [Recurso electrónico] / Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers edited by Koen Bertels, JoÃ£o M.P. Cardoso, Stamatis Vas by Bertels, Koen \| Cardoso, JoÃ£o M.P \| Vassiliadis, Stamatis \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3985Source: 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)
		Next Generation Teletraffic and Wired/Wireless Advanced Networking [Recurso electrónico] : 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings. Yevgeni Koucheryavy, Jarmo Harju, Alexander S by Koucheryavy, Yevgeni \| Harju, Jarmo \| Sayenko, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4712Source: 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)
		Managing Traffic Performance in Converged Networks [Recurso electrónico] : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings / edited by Lorne Mason, Tadeusz Drwiega, James Yan. by Mason, Lorne \| Drwiega, Tadeusz \| Yan, James \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4516Source: 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)
		Embedded Computer Systems: Architectures, Modeling, and Simulation [Recurso electrónico] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings. Stamatis Vassiliadis, Mladen Berekovic, Timo D. HÃÞmÃÞlÃÞinen. by Vassiliadis, Stamatis \| Berekovic, Mladen \| HÃÞmÃÞlÃÞinen, Timo D \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4599Source: 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)
		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)
		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)
		Wireless Algorithms, Systems, and Applications [Recurso electrónico] / First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Cheng, Xiuzhen \| Li, Wei \| Znati, Taieb \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4138Source: 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)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 46 results.