Refine your search

Your search returned 78 results.

Sort
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 ; 271Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available.

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

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 ; 193Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available.

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 ; 225Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available.

Lean Business Systems and Beyond [Recurso electrónico] / edited by Tomasz Koch.

by Koch, Tomasz | SpringerLink (Online service).

Series: IFIP â€{u0528}e International Federation for Information Processing ; 257Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available.

Resilience Assessment and Evaluation of Computing Systems [Recurso electrónico] / edited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel.

by Wolter, Katinka | Avritzer, Alberto | Vieira, Marco | van Moorsel, Aad.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available.

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

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

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

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

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

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

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.

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.

New Frontiers in Information and Software as Services [Recurso electrónico] : Service and Application Design Challenges in the Cloud / edited by Divyakant Agrawal, K. SelÃ{u00A7}uk Candan, Wen-Syan Li.

by Agrawal, Divyakant | Candan, K. SelÃ{u00A7}uk | Li, Wen-Syan | SpringerLink (Online service).

Series: Lecture Notes in Business Information Processing ; 74Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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.

Pages

Powered by Koha