Results
|
|
|
|
|
|
|
|
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; 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; Format:
electronic
Publication details: Boston, MA : International Federation for Information Processing, 2006Online 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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online 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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online 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; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|