Refine your search

Your search returned 550 results.

Sort
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 Text; Format: available online remote
Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]
Availability: No items available.

502.
Designing high availability systems : design for Six Sigma and classical reliability techniques with practical real-life examples / Zachary Taylor, Subramanyam Ranganathan. by
  • Taylor, Zachary, 1959-
  • Ranganathan, Subramanyam
  • IEEE Xplore (Online Service) [distributor.]
  • Wiley [publisher.]
Material type: Text Text; Format: available online remote
Publisher: Hoboken, N. J. : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]
Availability: No items available.

503.
How to predict soil water holding capacity using physically based equations? by
  • Teixeira, Wenceslau
  • IMPA-INTERPORE (1st: 2014: IMPA, Rio de Janeiro, Brazil)
; Format: available online remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
Availability: No items available.

504.
Mathematical methods in quantum mechanics: with applications to Schrodinger operators/ Gerald Teschl. by
  • Teschl, Gerald, 1970-
Series: Graduate studies in mathematics ; v. 157.
Edition: 2. ed.
Publisher: Providence, Rhode Island: American Mathematical Society, [2014]
Availability: Items available for loan: Castorina (1)Call number: 530.12 T337m 2014 IMPA.

505.
Old and new results on enlargements of maximally monotone operators. by
  • Théra, M. A. (Michel A.), 1946-
  • International Symposium on Generalized Convexity and Monotonicity (XI: 2014: IMPA, Rio de Janeiro, Brazil)
; Format: available online remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
Availability: No items available.

506.
Software quality engineering : Testing, quality assurance, and quantifiable improvement / Jeff Tian. by
  • Tian, Jeff [author.]
  • IEEE Xplore (Online Service) [distributor.]
  • Wiley [publisher.]
Material type: Text Text; Format: available online remote
Publisher: Hoboken, New Jersey : Wiley, c2005Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]
Availability: No items available.

507.
An Algorithm for Advancing Slow Features in Fast-Slow Systems without Scale Separation - A Young Measure Approach. by
  • Titi, Edriss S
  • Workshop on Fluids (IV: 2014: IMPA, Rio de Janeiro, Brazil)
; Format: available online remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
Availability: No items available.

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 remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
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 remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
Availability: No items available.

510.
Group cohomology and algebraic cycles/ Burt Totaro, University of California, Los Angeles. by
  • Totaro, Burt
Series: Cambridge tracts in mathematics ; 204.
Publisher: New York, NY: Cambridge University Press, 2014
Availability: Items available for loan: Castorina (1)Call number: 512.64 T717g 2014 IMPA.

511.
Polynomial approximation on polytopes/ Vilmos Totik. by
  • Totik, Vilma
Series: Memoirs of the American Mathematical Society ; no. 1091.
Publisher: Providence, Rhode Island: American Mathematical Society, 2014
Availability: Items available for loan: Castorina (1).

512.
Number theory, Fourier analysis and geometric discrepancy/ Giancarlo Travaglini, Universita di Milano-Bicocca. by
  • Travaglini, Giancarlo [author.]
Series: London Mathematical Society student texts ; 81.
Publisher: Cambridge, UK; New York: Cambridge University Press, 2014
Availability: Items available for loan: Castorina (1)Call number: 512.7 T779n 2014 IMPA.

513.
Hybrid function spaces, heat and Navier-Stokes equations/ Hans Triebel. by
  • Triebel, Hans, 1936- [author.]
  • Triebel, Hans, 1936-. Local function spaces, heat and Navier-Stokes equations
Series: EMS tracts in mathematics ; 24.
Publication details: Zürich: European Mathematical Society, 2014
Availability: Items available for loan: Castorina (1)Call number: 515.35 T825h 2014 IMPA.

514.
Généricité au sens probabiliste dans les difféomorphismes du cercle/ Michele Triestino. by
  • Triestino, Michele, 1987-
Series: Ensaios matemáticos ; 27.
Publication details: Rio de Janeiro: SBM, cop. 2014
Availability: Items available for loan: Castorina (2).

515.
Phase transitions in convex optimization problems with random data. by
  • Tropp, Joel
  • ERPEM - Encuentro Regional de Probabilidad y Estadística Matemática (2014: IMPA, Rio de Janeiro, Brazil)
; Format: available online remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
Availability: No items available.

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 Text; Format: available online remote
Language: English Original language: Russian Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]
Availability: No items available.

517.
Practical power system operation / Ebrahim Vaahedi. by
  • Vaahedi, Ebrahim [author.]
  • IEEE Xplore (Online Service) [distributor.]
  • Wiley [publisher.]
Series: IEEE press series on power engineering
Material type: Text Text; Format: available online remote
Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]
Availability: No items available.

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 remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
Availability: No items available.

519.
The Riemann hypothesis for function fields: Frobenius flow and shift operators/ Machiel van Frankenhuijsen. by
  • Van Frankenhuysen, Machiel, 1967-
Series: London Mathematical Society student texts ; 80.
Publisher: Cambridge; New York: Cambridge University Press, 2014
Availability: Items available for loan: Castorina (1)Call number: 512.73 V217r 2014 IMPA.

520.
On the scale dependency of nonequilibrium flow and contaminant transport processes. by
  • Van Genuchten, Martinus Th
  • IMPA-INTERPORE (1st: 2014: IMPA, Rio de Janeiro, Brazil)
; Format: available online remote
Publication details: Rio de Janeiro: IMPA, 2014
Online access:
Availability: No items available.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha