Your search returned 109 results.

1.
Guerrilla Capacity Planning [electronic resource] : A Tactical Approach to Planning for Highly Scalable Applications and Services / by Neil J. Gunther.

by Gunther, Neil J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.C63 G86 2007 (1).

2.
The Safety of Systems [electronic resource] : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / edited by Felix Redmill, Tom Anderson.

by Redmill, Felix | Anderson, Tom | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T55.A1 S24 2007 (1).

3.
Constituents of Modern System-safety Thinking [electronic resource] : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / edited by Felix Redmill, Tom Anderson.

by Redmill, Felix | Anderson, Tom | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London Limited, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T55.A1 R43 2005 (1).

4.
Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings / edited by Minyi Guo, Laurence T. Yang, Beniamino Martino, Hans P. Zima, Jack Dongarra, Feilong Tang.

by Guo, Minyi | Yang, Laurence T | Martino, Beniamino | Zima, Hans P | Dongarra, Jack | Tang, Feilong | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A43 G86 2006 (1).

5.
Implementation and Application of Functional Languages [electronic resource] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / edited by Olaf Chitil, Zoltán Horváth, Viktória Zsók.

by Chitil, Olaf | Horváth, Zoltán | Zsók, Viktória | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.62 C58 2008 (1).

6.
Software Process Modeling [electronic resource] / edited by Silvia T. Acuña, Natalia Juristo.

by Acuña, Silvia T | Juristo, Natalia | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 S6636 2005 (1).

7.
Running IPv6 [electronic resource] / by Iljitsch Beijnum.

by Beijnum, Iljitsch | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berkeley, CA : Iljitsch van Beijnum, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.585 B45 2006 (1).

8.
Dependable Computing - EDCC 5 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings / edited by Mario Cin, Mohamed Kaâniche, András Pataricza.

by Cin, Mario | Kaâniche, Mohamed | Pataricza, András | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F38 C56 2005 (1).

9.
Stochastic Discrete Event Systems [electronic resource] : Modeling, Evaluation, Applications / by Armin Zimmermann.

by Zimmermann, Armin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T57.6 Z56 2008 (1).

10.
Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle.

by Beckert, Bernhard | Hähnle, Reiner | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.T48 B43 2008 (1).

11.
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings / edited by Stamatis Vassiliadis, Mladen Bereković, Timo D. Hämäläinen.

by Vassiliadis, Stamatis | Bereković, Mladen | Hämäläinen, Timo D | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A73 V37 2007 (1).

12.
Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits.

by Kordon, Fabrice | Sztipanovits, Janos | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 K67 2007 (1).

13.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

by Dumas, Marlon | Heckel, Reiko | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.88813 D86 2008 (1).

14.
Requirements Engineering [electronic resource] / by Elizabeth Hull, Kenneth Jackson, Jeremy Dick.

by Hull, Elizabeth | Jackson, Kenneth | Dick, Jeremy | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Elizabeth Hull, Ken Jackson, Jeremy Dick, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA168 H85 2005 (1).

15.
Web Services and Formal Methods [electronic resource] : 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).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.88813 B73 2006 (1).

16.
Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers / edited by Christine Hofmeister, Ivica Crnkovic, Ralf Reussner.

by Hofmeister, Christine | Crnkovic, Ivica | Reussner, Ralf | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.Q35 H64 2006 (1).

17.
Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky.

by Kordon, Fabrice | Sokolsky, Oleg | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7895.E42 K67 2007 (1).

18.
Next Generation Teletraffic and Wired/Wireless Advanced Networking [electronic resource] : 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings / edited by Sergey Balandin, Dmitri Moltchanov, Yevgeni Koucheryavy.

by Balandin, Sergey | Moltchanov, Dmitri | Koucheryavy, Yevgeni | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5101 B35 2008 (1).

19.
Euro-Par 2008 – Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / edited by Emilio Luque, Tomàs Margalef, Domingo Benítez.

by Luque, Emilio | Margalef, Tomàs | Benítez, Domingo | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.58 L87 2008 (1).

20.
Performance Analysis of Network Architectures [electronic resource] / by Dietmar Tutsch.

by Tutsch, Dietmar | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.5 T88 2006 (1).

Powered by Koha