JuLib | Books & more - {*}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Electronic Edition

Computer system performance AND Logic design AND Software engineering

Reset Filters

Show filters (4)

Electronic Edition

Computer system performance AND Logic design AND Software engineering

Ask a Librarian

Books & more: Hits 1 - 20 of 26

sort by

Select all titles on this page

Select result number 1

1

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [E-Book] /

E-Book

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [E-Book] /

Pflanz, Matthias.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Interactive Markov Chains [E-Book] : And the Quest for Quantified Quality /

E-Book

Interactive Markov Chains [E-Book] : And the Quest for Quantified Quality /

Hermanns, Holger.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Embedded Processor Design Challenges [E-Book] : Systems, Architectures, Modeling, and Simulation — SAMOS /

E-Book

Embedded Processor Design Challenges [E-Book] : Systems, Architectures, Modeling, and Simulation — SAMOS /

Deprettere, Ed F.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Formal Techniques for Computer Systems and Business Processes [E-Book] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September

E-Book

Formal Techniques for Computer Systems and Business Processes [E-Book] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal...

Bravetti, Mario.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /

E-Book

Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /

Kordon, Fabrice
2007

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Quality of Software Architectures [E-Book] / Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers

E-Book

Quality of Software Architectures [E-Book] / Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers

Crnkovic, Ivica
2006

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Tests and Proofs [E-Book] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /

E-Book

Tests and Proofs [E-Book] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /

Gurevich, Yuri
2007

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Applying Formal Methods: Testing, Performance, and M/E-Commerce [E-Book] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /

E-Book

Applying Formal Methods: Testing, Performance, and M/E-Commerce [E-Book] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /

Núnez, Manuel.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /

E-Book

Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /

Alur, Rajeev
2004

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

E-Book

Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Dubois, Catherine
2009

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Process Algebra and Probabilistic Methods. Performance Modelling and Verification [E-Book] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings /

E-Book

Process Algebra and Probabilistic Methods. Performance Modelling and Verification [E-Book] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001...

Alfaro, Luca
2001

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Dependable Computing [E-Book] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /

E-Book

Dependable Computing [E-Book] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /

Bondavalli, Andrea
2007

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /

E-Book

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proc...

Wolter, Katinka
2007

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Quality of Software Architectures and Software Quality [E-Book] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German

E-Book

Quality of Software Architectures and Software Quality [E-Book] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Worksh...

Becker, Steffen.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Software Architectures, Components, and Applications [E-Book] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /

E-Book

Software Architectures, Components, and Applications [E-Book] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007,...

Overhage, Sven
2008

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

E-Book

Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Bensalem, Saddek
2009

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Process Algebra and Probabilistic Methods: Performance Modeling and Verification [E-Book] : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings /

E-Book

Process Algebra and Probabilistic Methods: Performance Modeling and Verification [E-Book] : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2...

Hermanns, Holger.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings

E-Book

Formal Methods and Stochastic Models for Performance Evaluation [E-Book] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedi...

Horváth, András
2006

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Web Services and Formal Methods [E-Book] / Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

E-Book

Web Services and Formal Methods [E-Book] / Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Bravetti, Mario
2006

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Composition of Embedded Systems. Scientific and Industrial Issues [E-Book] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /

E-Book

Composition of Embedded Systems. Scientific and Industrial Issues [E-Book] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /

Kordon, Fabrice
2007

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
Next
[2]

Narrow Search Results

Electronic Edition

Conference Publication 22

From:

To:

Hermanns, Holger. 3 Reussner, Ralf 3 Hutchison, David 2 Kanade, Takeo 2 Kittler, Josef 2 Kleinberg, Jon M. 2 more ... Kordon, Fabrice 2 Mattern, Friedemann 2 Mitchell, John C. 2 Nierstrasz, Oscar 2 Overhage, Sven 2 Pandu Rangan, C. 2 Stafford, Judith A. 2 Steffen, Bernhard 2 Sudan, Madhu 2 Terzopoulos, Demetri 2 Tygar, Doug 2 Vardi, Moshe Y. 2 Weikum, Gerhard 2 Zavattaro, Gianluigi 2 Alfaro, Luca 1 Alur, Rajeev 1 Andrade, Aline Maria Santos 1 Ayala, José L. 1 Becker, Steffen. 1 Bensalem, Saddek 1 Bondavalli, Andrea 1 Brasileiro, Francisco 1 Bravetti, Mario 1 Bravetti, Mario. 1 see all ... less ...

Computer system performance Logic design Software engineering Computer science 22 Computer Communication Networks 16 Computer simulation 4 more ... Operating systems (Computers) 4 Computer software 3 Coding theory 2 Data protection 1 Information systems 1 Mathematical statistics 1 Structural control (Engineering) 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...