Refine your search

Your search returned 716 results.

Sort
Results
461.
Boundary Integral Equations [electronic resource]/ by George C. Hsiao, Wolfgang L. Wendland. by
  • Hsiao, George C
  • Wendland, Wolfgang L
  • SpringerLink (Online service)
Series: Applied Mathematical Sciences ; 164
Source: Springer eBooks
; Format: electronic available online remote
Publication details: Berlin, Heidelberg: Springer Berlin Heidelberg, 2008
Availability: No items available.

462.
Neural networks and artificial intelligence for biomedical engineering / Donna L. Hudson, Maurice E. Cohen. by
  • Hudson, D. L., (Donna L.) [author.]
  • Cohen, M. E. (Maurice E.)
  • John Wiley & Sons [publisher.]
  • IEEE Xplore (Online service) [distributor.]
Series: IEEE Press series in biomedical engineering ; 3
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: New York : Institute of Electrical and Electronics Engineers, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]
Availability: No items available.

463.
Automated defect prevention : best practices in software management / Dorota Huizinga, Adam Kolawa. by
  • Huizinga, Dorota [author.]
  • Kolawa, Adam
  • IEEE Xplore (Online Service) [distributor.]
  • Wiley InterScience (Online service) [publisher.]
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Hoboken, New Jersey : Wiley-Interscience : c2007
Availability: No items available.

464.
Briefwechsel zwischen Alexander von Humboldt und C. G. Jacob Jacobi/ herausgegeben von Herbert Pieper. by
  • Humboldt, Alexander von, 1769-1859
  • Jacobi, C. G. J. (Carl Gustav Jakob), 1804-1851
  • Pieper, Herbert
Series: Beitrage zur Alexander-von-Humboldt-Forschung ; 11.
Publication details: Berlin: Akademie-Verlag, 1987
Availability: Items available for loan: Castorina (1)Call number: 510.9 H919b 1987 IMPA.

465.
Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. by
  • Huth, Michael, 1962-
  • Ryan, Mark, 1962-
Edition: 2nd ed.
Publication details: Cambridge [U.K.]; New York: Cambridge University Press, 2004
Availability: Items available for loan: Castorina (1)Call number: 005.131 H979l 2004 IMPA.

466.
Oeuvres complètes de Christiaan Huygens/ publiées par la Société hollandaise des sciences. by
  • Huygens, Christiaan, 1629-1695
  • Vollgraff, Johan Adriaan, 1877-. Biographie de Christiaan Huygens
  • Hollandsche Maatschappij der Wetenschappen
Publication details: La Haye: M. Nijhoff, 1888-1950
Availability: Items available for reference: Castorina: Not For Loan (23).

467.
Simulation and Inference for Stochastic Differential Equations [electronic resource]: With R Examples/ by Stefano M. Iacus. by
  • Iacus, Stefano M
  • SpringerLink (Online service)
Series: Springer Series in Statistics ; 1
Source: Springer eBooks
; Format: electronic available online remote
Publication details: New York: Springer New York, 2008
Availability: No items available.

468.
Current trends in scientific computing: ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotong University, Xi'an, China/ Zhangxin Chen, Roland Glowinski, Kaitai Li, editors. by
  • ICM 2002 Beijing Satellite Conference on Scientific Computing (2002: Xi'an, China)
  • Chen, Zhangxin, 1962-
  • Glowinski, R
  • Li, Kaitai
  • American Mathematical Society
Series: Contemporary mathematics (American Mathematical Society) ; v. 329.
Publication details: Providence, R.I.: American Mathematical Society, c2003
Availability: Items available for loan: Castorina (1).

469.
Critical problems in the history of science: proceedings of the Institute for the History of Science at the University of Wisconsin, September 1-11, 1957/ edited by Marshall Clagett. by
  • Institute for the History of Science (1957: University of Wisconsin)
  • Clagett, Marshall, 1916- [ed.]
Publication details: Madison: University of Wisconsin Press, 1962
Availability: Items available for loan: Castorina (1)Call number: 510.9 C934 1962 IMPA.

470.
Logic, methodology and philosophy of science III; proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967/ edited by B. Van Rootselaar and J. F. Staal. by
  • International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands)
  • Rootselaar, B. van (Bob) [ed.]
  • Staal, Frits
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1968 IMPA.

471.
Logic, methodology and philosophy of science: Proceedings/ edited by Yehoshua Bar-Hillel. by
  • International Congress for Logic, Methodology, and Philosophy of Science (2nd : 1964 : Jerusalém)
  • Bar-Hillel, Yehoshua [ed.]
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • Akademyah ha-le umit hayisre elit le-mada im
  • Universitah ha-Ivrit bi-Yerushalayim
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1965 IMPA.

472.
Logic, methodology and philosophy of science: Proceedings/ ed. by Patrick Suppes [a. o.]. by
  • International Congress for Logic, Methodology, and Philosophy of Science (4th :: 1971 :: Bucharest, Romania)
  • Suppes, Patrick, 1922- [ed.]
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • Academia Republicii Socialiste Romania
Series: Studies in logic and the foundations of mathematics ; v. 74.
Language: engfregerrus
Publication details: Amsterdam: New York: North-Holland, American Elsevier, 1973
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1973 IMPA.

473.
Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979/ edited by L. Jonathan Cohen ... [et al.]. by
  • International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)
  • Cohen, L. Jonathan (Laurence Jonathan)
Series: Studies in logic and the foundations of mathematics ; v. 104.
Publication details: Amsterdam ; New York: Warszawa: New York: North-Holland, PWN-Polish Scientific Publishers, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1982
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1982 IMPA.

474.
M.C. Escher, art and science: proceedings of the International Congress on M.C. Escher, Rome, Italy, 26-28 March 1985/ edited by H.S.M. Coxeter ... [et al.]. by
  • International Congress on M.C. Escher (1985: Rome, Italy)
  • Coxeter, H. S. M
Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1986
Availability: Items available for reference: Castorina: Not For Loan (1).

475.
Computing methods in applied sciences and engineering, 1977, I/ Third International Symposium, December 5-9, 1977 ; organized by IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions. by
  • International Symposium on Computing Methods in Applied Sciences and Engineering (3rd: 1977: Versailles, France)
  • Glowinski, R
  • Lions, Jacques Louis
  • Iria Laboria
Series: Lecture notes in mathematics (Springer-Verlag) ; 704.
Language: engfre
Publication details: Berlin; New York: Springer-Verlag, 1979
Availability: Items available for loan: Castorina (1).

476.
Ridge functions and applications in neural networks/ Vugar E. Ismailov. by
  • Ismailov, Vugar E [author.]
Series: Mathematical surveys and monographs ; no. 263.
Publisher: Providence, Rhode Island: American Mathematical Society, [2021]
Availability: Items available for loan: Castorina (1)Call number: 004.015 I83r 2021 IMPA.

477.
Modern Multivariate Statistical Techniques [electronic resource]: Regression, Classification, and Manifold Learning/ by Alan J. Izenman. by
  • Izenman, Alan J
  • SpringerLink (Online service)
Series: Springer Texts in Statistics
Source: Springer eBooks
; Format: electronic available online remote
Publication details: New York: Springer New York: Springer, 2008
Availability: No items available.

478.
Illustrating evolutionary computation with Mathematica/ Christian Jacob ; translated from the German by Christian Jacob. by
  • Jacob, Christian
Language: English Original language: German
Publication details: San Francisco: Morgan Kaufmann, c2001
Availability: Items available for loan: Castorina (1)Call number: 006.31 J15i 2001 IMPA.

479.
The road of science and the ways to God/ Stanley L. Jaki. by
  • Jaki, Stanley L
Series: The Glifford lectures ; 1974-1975, 1975-1976
Publication details: Port Huron, Mich.: Real View Books, 2005
Availability: Items available for loan: Castorina (1)Call number: 511.3 J25r 2005 IMPA.

480.
A late awakening: and other essays/ by Stanley L. Jaki. by
  • Jaki, Stanley L
Publication details: Port Huron, Mich.: Real View Books, 2006
Availability: Items available for loan: Castorina (1)Call number: 511.3 J25l 2006 IMPA.

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


Powered by Koha