Results
|
|
5501.
|
|
|
|
5502.
|
|
|
|
5503.
|
|
|
|
5504.
|
|
|
|
5505.
|
|
|
|
5506.
|
|
|
|
5507.
|
|
|
|
5508.
|
|
|
|
5509.
|
|
|
|
5510.
|
|
|
|
5511.
|
|
|
|
5512.
|
|
|
|
5513.
|
|
|
|
5514.
|
|
|
|
5515.
|
|
|
|
5516.
|
|
|
|
5517.
|
Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / by Series: Lecture Notes in Computer Science ; 3236
Edition: 1st ed. 2004.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
5518.
|
Quality of Future Internet Services [electronic resource] : COST Action 263 Final Report / by
- Smirnov, Michael [editor.]
- Biersack, Ernst [editor.]
- Blondia, Chris [editor.]
- Bonaventure, Olivier [editor.]
- Casals, Olga [editor.]
- Karlsson, Gunnar [editor.]
- Pavlou, George [editor.]
- Quoitin, Bruno [editor.]
- Roberts, James [editor.]
- Stavrakakis, Ioannis [editor.]
- Stiller, Burkhard [editor.]
- Trimintzios, Panos [editor.]
- Van Mieghem, Piet [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 2856
Edition: 1st ed. 2003.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003
In:
Springer Nature eBook
Availability: No items available.
|
|
|
5519.
|
|
|
|
5520.
|
|
