×

Found 45 Documents (Results 1–45)

Free boundary problems: theory and applications. Proceedings of a conference, Trento, Italy, June 2002. (English) Zbl 1027.00020

ISNM. International Series of Numerical Mathematics. 147. Basel: Birkhäuser. viii, 346 p. (2003).
MSC:  00B25 35-06 35R35
PDF BibTeX XML Cite

Quantum interacting particle systems. Lecture notes of the Volterra-CIRM international school, Trento, Italy, September 23–29, 2000. (English) Zbl 0996.00051

QP–PQ: Quantum Probability and White Noise Analysis. 14. Singapore: World Scientific. xix, 336 p. (2002).
PDF BibTeX XML Cite

Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11–12, 1999. (English) Zbl 0942.00048

Electronic Notes in Theoretical Computer Science. 23,3. Amsterdam: Elsevier, 12 papers (electronic) (1999).
MSC:  00B25 68-06
PDF BibTeX XML Cite

A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 – July 1, 1999. (English) Zbl 0942.00054

Electronic Notes in Theoretical Computer Science. 23,1. Amsterdam: Elsevier, 12 papers (electronic) (1999).
MSC:  00B25 68-06
PDF BibTeX XML Cite

Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9–11, 1999. Proceedings. (English) Zbl 0921.00034

Lecture Notes in Computer Science. 1688. Berlin: Springer. xii, 528 p. (1999).
MSC:  00B25 68-06 03-06
PDF BibTeX XML Cite

Proceedings of the 1st international workshop on Symbolic model checking (SMC ’99), as part of the 2nd federated logic conference (FLoC ’99). Trento, Italy, July 6, 1999. (English) Zbl 0920.00044

Electronic Notes in Theoretical Computer Science. 23,2. Amsterdam: Elsevier, 9 papers (electronic) (1999).
MSC:  00B25 68-06
PDF BibTeX XML Cite

Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7–10, 1999. Proceedings. (English) Zbl 0917.00015

Lecture Notes in Computer Science 1632. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiv, 429 p. (1999).
MSC:  00B25 68-06 03-06
PDF BibTeX XML Cite
Full Text: DOI

Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. (English) Zbl 0925.68015

Lecture Notes in Computer Science. 1633. Berlin: Springer. xii, 506 p. (1999).
MSC:  68-06 00B25 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2–4, 1999. Proceedings. (English) Zbl 0916.00018

Lecture Notes in Computer Science. 1631. Berlin: Springer. xi, 397 p. (1999).
MSC:  00B25 68-06 68Q42
PDF BibTeX XML Cite

Methods in ring theory. Proceedings of the Trento conference, Trento, Italy. (English) Zbl 0920.00028

Lecture Notes in Pure and Applied Mathematics. 198. Neu York, NY: Marcel Dekker. viii, 314 p. (1998).
MSC:  00B25 16-06 17-06
PDF BibTeX XML Cite

Complex analysis and geometry. Proceedings of the CIRM conferences on complex analysis and geometry XII, Trento, Italy, June 5–9, 1995 and vector bundles on Fano threefolds II, Trento, Italy, December 2–5, 1995. (English) Zbl 0869.00034

Pitman Research Notes in Mathematics Series. 366. Bonn: Longman. 185 p. (1997).
MSC:  00B25 32-06 14-06
PDF BibTeX XML Cite

Higher dimensional complex varieties. Proceedings of the international conference, Trento, Italy, June 15–24, 1994. (English) Zbl 0859.00021

Berlin: Walter de Gruyter. viii, 381 p. (1996).
MSC:  00B25 14-06 32-06
PDF BibTeX XML Cite

Complex analysis and geometry. Proceedings of the conference held in Trento, Italy, June 5-9, 1995. (English) Zbl 0834.00039

Lecture Notes in Pure and Applied Mathematics. 173. New York, NY: Marcel Dekker. xiii, 554 p. (1996).
MSC:  00B25 53-06 58-06
PDF BibTeX XML Cite

Real analytic and algebraic geometry. Proceedings of the international conference, Trento, Italy, September 21-25, 1992. (English) Zbl 0812.00016

Berlin: Walter de Gruyter. viii, 296 p. (1995).
MSC:  00B25 14-06
PDF BibTeX XML Cite

Representations of Lie groups and quantum groups. Proceedings of the session of the European School of Group Theory, held in Trento, Italy, July 19-30, 1993. (English) Zbl 0809.00015

Pitman Research Notes in Mathematics Series 311. Harlow: Longman Scientific & Technical; New York, NY: Wiley (ISBN 0-582-23179-5/pbk). 333 p. (1994).
PDF BibTeX XML Cite

Control of partial differential equations. IFIP WG 7.2 Conference, Villa Madruzzo, Trento, Italy, January 4-9, 1993. (English) Zbl 0801.00054

Lecture Notes in Pure and Applied Mathematics. 165. New York, NY: Marcel Dekker, Inc. viii, 279 p. (1994).
MSC:  00B25 93-06 35-06
PDF BibTeX XML Cite

Motion by mean curvature and related topics: proceedings of the international conference held at Trento, Italy, July 20-24, 1992. (English) Zbl 0794.00019

Berlin: de Gruyter. viii, 219 p. (1994).
MSC:  00B25 49-06
PDF BibTeX XML Cite

Arithmetic algebraic geometry. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Trento, Italy, June 24 - July 2, 1991. (English) Zbl 0780.00022

Lecture Notes in Mathematics. 1553. Berlin: Springer-Verlag. vii, 223 p. DM 52.00 /sc (1993).
MSC:  00B25 14-06 11-06
PDF BibTeX XML Cite

Classification of irregular varieties. Minimal models and Abelian varieties. Proceedings of a conference, held in Trento, Italy, 17-21 December, 1990. (English) Zbl 0744.00029

Lecture Notes in Mathematics. 1515. Berlin etc.: Springer-Verlag. 149 p. (1992).
MSC:  00B25 14-06
PDF BibTeX XML Cite
Full Text: DOI

Stochastic partial differential equations and applications. Proceedings of the third meeting on stochastic partial differential equations and applications held at Villa Madruzzo, Trento, Italy, January 1990. (English) Zbl 0780.00023

Pitman Research Notes in Mathematics Series. 268. Harlow: Longman Scientific & Technical. New York: Wiley. xiv, 286 p. (1992).
MSC:  00B25 60-06 35-06
PDF BibTeX XML Cite

Partial differential equations and related subjects. Proceedings of the conference dedicated to Louis Nirenberg held in Trento, Italy, September 3-8, 1990. (English) Zbl 0785.00033

Pitman Research Notes in Mathematics Series. 269. Harlow: Longman Scientific & Technical. vii, 256 p. (1992).
MSC:  00B25 35-06
PDF BibTeX XML Cite

Aspects of automated natural language generation. 6th international workshop on Natural language generation, Trento, Italy, April 5-7, 1992. Proceedings. (English) Zbl 0761.68012

Lecture Notes in Computer Science. 587. Berlin: Springer-Verlag. VIII, 311 p. (1992).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite

Statistical modelling. Proceedings of GLIM ’89, conference on generalized linear models, and the 4th international workshop on statistical modelling held in Trento, Italy, July 17-21, 1989. (English) Zbl 0714.00023

Lecture Notes in Statistics, 57. New York etc.: Springer-Verlag. ix, 343 p. DM 70.00 (1989).
MSC:  00B25 62-06
PDF BibTeX XML Cite

Algebraic curves and projective geometry. Proceedings of the conference held in Trento, Italy, March 21-25, 1988. (English) Zbl 0667.00008

Lecture Notes in Mathematics, 1389. Berlin etc.: Springer-Verlag. 288 p. DM 45.00 (1989).
MSC:  00B25 14-06
PDF BibTeX XML Cite
Full Text: DOI

Volterra integrodifferential equations in Banach spaces and applications. (Contributions to the conference, held in Trento, Italy, February 2-7, 1987). (English) Zbl 0664.00018

Pitman Research Notes in Mathematics Series, 190. Harlow: Longman Scientific & Technical; New York: John Wiley & Sons. 404 p. £25.00 (1989).
MSC:  00B25 45-06
PDF BibTeX XML Cite

Calculus of variations and partial differential equations. Proceedings of a conference held in Trento, Italy, June 16-21, 1986. (English) Zbl 0641.00013

Lecture Notes in Mathematics 1340. Berlin etc.: Springer-Verlag (ISBN 3-540-50119-3). 301 p. (1988).
MSC:  00B25 60-06 82-06
PDF BibTeX XML Cite
Full Text: DOI

Foundations of logic and functional programming. Workshop, Trento, Italy, December 15-19, 1986. Proceedings. (English) Zbl 0638.00037

Lecture Notes in Computer Science, 306. Berlin etc.: Springer-Verlag. iv, 218 p. DM 36.00 (1988).
MSC:  00B25 68-06
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference