×

Found 133 Documents (Results 1–100)

A toolbox for the analysis of discrete event dynamic systems. (English) Zbl 1046.93509

Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 483-486 (1999).
MSC:  93C65 68Q60 68Q85
PDFBibTeX XMLCite

Optimization of the distribution logistics of a Swiss food manufacturer. (Optimierung der Distributionsstruktur eines Schweizer Nahrungsmittelherstellers.) (German) Zbl 1025.90522

Kall, Peter (ed.) et al., Operations research proceedings 1998. Selected papers of the 4th annual international conference, OR98 held in Zürich, Switzerland, August 31-September 3, 1998. Berlin: Springer. 522-531 (1999).
PDFBibTeX XMLCite

\(L_2\)-stable semigroups, Muckenhoupt weights, and unconditional bases of values of quasi-exponentials. (English. Russian original) Zbl 0956.47018

Sb. Math. 190, No. 12, 1715-1747 (1999); translation from Mat. Sb. 190, No. 12, 3-36 (1999).
PDFBibTeX XMLCite
Full Text: DOI

On a discrete model of mutualism. (English) Zbl 0939.39005

Cheng, S. S. (ed.) et al., New developments in difference equations and applications. Proceedings of the 3rd international conference on difference equations, Taipei, Republic of China, September 1-5, 1997. Langhorne, PA: Gordon and Breach Science Publishers. 207-216 (1999).
MSC:  39A11 92D25 39A12
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field