Results
|
501.
|
Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University. by
- Tari, Zahir [author.]
- Bert�ok, P�eter, 1952-
- Mukherjee, Anshuman
- IEEE Xplore (Online Service) [distributor.]
- Wiley [publisher.]
Series: Wiley series on parallel and distributed computing ; 83
Material type: Text; Format:
available online
Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]
Availability: No items available.
Found in Open Library:
|
|
502.
|
|
|
503.
|
|
|
504.
|
|
|
505.
|
|
|
506.
|
|
|
507.
|
|
|
508.
|
Other applications of factorizations for solving flows. by
- Tomei, Carlos
- Iberoamerican Meeting on Geometry, Mechanics and Control (IV: 2014: IMPA, Rio de Janeiro, Brazil)
; Format:
available online
Publication details: Rio de Janeiro: IMPA, 2014
Availability: No items available.
|
|
509.
|
Elements of a quantitative theory of cognition. by
- Topsoe, Flemming
- International Symposium on Generalized Convexity and Monotonicity (XI: 2014: IMPA, Rio de Janeiro, Brazil)
; Format:
available online
Publication details: Rio de Janeiro: IMPA, 2014
Availability: No items available.
|
|
510.
|
|
|
511.
|
|
|
512.
|
|
|
513.
|
|
|
514.
|
|
|
515.
|
|
|
516.
|
Fundamentals of the physical theory of diffraction / Pyotr Ya. Ufimtsev. by
- Ufimtsev, Pyotr Ya [author.]
- IEEE Xplore (Online Service) [distributor.]
- Wiley [publisher.]
Edition: Second edition.
Material type: Text; Format:
available online
Language: English Original language: Russian Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]
Availability: No items available.
Found in Open Library:
|
|
517.
|
|
|
518.
|
Hydrodynamic limit for fast diffusion equation. by
- Valentim, Fábio Júlio da S
- ERPEM - Encuentro Regional de Probabilidad y Estadística Matemática (2014: IMPA, Rio de Janeiro, Brazil)
; Format:
available online
Publication details: Rio de Janeiro: IMPA, 2014
Availability: No items available.
|
|
519.
|
|
|
520.
|
|