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

Results
		Distributed Embedded Systems: Design, Middleware and Resources [Recurso electrónico] / edited by Bernd Kleinjohann, Wayne Wolf, Lisa Kleinjohann. by Kleinjohann, Bernd \| Wolf, Wayne \| Kleinjohann, Lisa \| SpringerLink (Online service). Series: IFIP â€{u0528}e International Federation for Information Processing, 1571-5736 ; ; 271Material type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3431Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4748Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4054Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		From Model-Driven Design to Resource Management for Distributed Embedded Systems [Recurso electrónico] : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11â€{u1CEC} 2006, Braga, Portugal / edited by Bernd Kleinjohann, Lisa Kleinjohann, Ricardo J. Machado, Carlos E. Pereira, P. S. Thiagarajan. by Kleinjohann, Bernd \| Kleinjohann, Lisa \| Machado, Ricardo J \| Pereira, Carlos E \| Thiagarajan, P. S \| SpringerLink (Online service). Series: IFIP International Federation for Information Processing, 1571-5736 ; ; 225Material type: Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3463Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4028Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Security Management, Integrity, and Internal Control in Information Systems [Recurso electrónico] : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / edited by Paul Dowland, Steve Furnell, Bhavani Thuraisingham, X. Sean Wang. by Dowland, Paul \| Furnell, Steve \| Thuraisingham, Bhavani \| Wang, X. Sean \| SpringerLink (Online service). Series: IFIP International Federation for Information Processing, 1571-5736 ; ; 193Material type: Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3976Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3462Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4599Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4516Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3553Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4003Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4017Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3985Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4712Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3670Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4184Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3712Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)

		Distributed Embedded Systems: Design, Middleware and Resources [Recurso electrónico] / edited by Bernd Kleinjohann, Wayne Wolf, Lisa Kleinjohann. by Kleinjohann, Bernd \| Wolf, Wayne \| Kleinjohann, Lisa \| SpringerLink (Online service). Series: IFIP â€{u0528}e International Federation for Information Processing, 1571-5736 ; ; 271Material type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3431Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4748Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4054Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		From Model-Driven Design to Resource Management for Distributed Embedded Systems [Recurso electrónico] : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11â€{u1CEC} 2006, Braga, Portugal / edited by Bernd Kleinjohann, Lisa Kleinjohann, Ricardo J. Machado, Carlos E. Pereira, P. S. Thiagarajan. by Kleinjohann, Bernd \| Kleinjohann, Lisa \| Machado, Ricardo J \| Pereira, Carlos E \| Thiagarajan, P. S \| SpringerLink (Online service). Series: IFIP International Federation for Information Processing, 1571-5736 ; ; 225Material type: Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3463Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4028Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Security Management, Integrity, and Internal Control in Information Systems [Recurso electrónico] : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / edited by Paul Dowland, Steve Furnell, Bhavani Thuraisingham, X. Sean Wang. by Dowland, Paul \| Furnell, Steve \| Thuraisingham, Bhavani \| Wang, X. Sean \| SpringerLink (Online service). Series: IFIP International Federation for Information Processing, 1571-5736 ; ; 193Material type: Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3976Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3462Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4599Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4516Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3553Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4003Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4017Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3985Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4712Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3670Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 4184Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article 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, 0302-9743 ; ; 3712Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 77 results.