Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,System Performance and Evaluation,Computer Comm » Page 438 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,System Performance and Evaluation,Computer Comm » Page 438

book Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

pdf

Author: Ulrich Herzog (auth.) Ed Brinksma Holger Hermanns Joost-Pieter Katoen (eds.)
Language: English
Year: 2001

00

26.01.2024

3

0

book Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques

Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques

djvu

Author: Afonso Ferreira Panos M. Pardalos (auth.) Afonso Ferreira Panos Pardalos (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program

Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program

pdf

Author: Bertrand Meyer (auth.) Jürg Kohlas Bertrand Meyer André Schiper (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Queueing Networks with Discrete Time Scale: Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks

Queueing Networks with Discrete Time Scale: Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks

pdf

Author: Hans Daduna (auth.)
Language: English
Year: 2001

00

26.01.2024

1

0

book Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

pdf

Author: Giuliana Franceschinis (auth.) Gianfranco Ciardo Philippe Darondeau (eds.)
Language: English
Year: 2005

00

26.01.2024

10

0

book Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi

Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi

pdf

Author: Christine Hofmeister (auth.) Ralf Reussner Johannes Mayer Judith A. Stafford Sven Overhage Steffen Becker Patrick J. Schroeder (eds.)
Language: English
Year: 2005

00

26.01.2024

1

0

book Parallel Computer Architectures: Theory, Hardware, Software, Applications

Parallel Computer Architectures: Theory, Hardware, Software, Applications

djvu

Author: Johannes Schwider Norbert Streibl Konrad Zürl (auth.) Arndt Bode Mario Dal Cin (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Performance Engineering: State of the Art and Current Trends

Performance Engineering: State of the Art and Current Trends

pdf

Author: Reiner Dumke Reinhard Koeppe (auth.) Reiner Dumke Claus Rautenstrauch André Scholz Andreas Schmietendorf (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

pdf

Author: Eric Senn Saadia Douhib Dominique Blouin Johann Laurent Skander Turki (auth.) Prof. Dr. Martin Radetzki (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Networks for Grid Applications: Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

Networks for Grid Applications: Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

pdf

Author: Ning Wang Michael Welzl Liang Zhang (auth.) Pascale Vicat-Blanc Primet Tomohiro Kudoh Joe Mambretti (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0