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

ZB

Computer system performance AND Logic design

Reset Filters

Show filters (3)

ZB

Computer system performance AND Logic design

Ask a Librarian

Books & more: Hits 1 - 20 of 33

sort by

Select all titles on this page

Select result number 1

1

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 2

2

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 result number 3

3

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 4

4

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 5

5

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 6

6

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 7

7

Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

E-Book

Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

Giese, Holger.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

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 9

9

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 10

10

Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

E-Book

Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

Bruni, Roberto
2009

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

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 12

12

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 13

13

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 14

14

Integrated Circuit Design [E-Book] : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings /

E-Book

Integrated Circuit Design [E-Book] : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Procee...

Barke, Erich.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

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 16

16

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 17

17

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 18

18

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 19

19

Hybrid Systems: Computation and Control [E-Book] : Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings /

E-Book

Hybrid Systems: Computation and Control [E-Book] : Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings /

Schuppen, Jan H.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

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 all titles on this page

1
2
Next
[2]

Narrow Search Results

Electronic Edition 33

Conference Publication 29

From:

To:

ZB

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

Computer system performance Logic design Computer science 28 Software engineering 26 Computer Communication Networks 16 Operating systems (Computers) 6 more ... Computer simulation 5 Computer software 3 Memory management (Computer science) 3 Coding theory 2 Engineering 2 Structural control (Engineering) 2 Systems engineering 2 Computer engineering 1 Data protection 1 Information systems 1 Mathematical statistics 1 Microprogramming 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...