Your search returned 53 results.

Sort
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 Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

Series: Communications in Computer and Information Science ; 17Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.

Testbeds and Research Infrastructures. Development of Networks and Communities [Recurso electrónico] : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers / edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase.

by Magedanz, Thomas | Gavras, Anastasius | Thanh, Nguyen Huu | Chase, Jeffry S | SpringerLink (Online service).

Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 46Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

by Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

Series: Communications in Computer and Information Science ; 59Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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 Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Pages

Powered by Koha