Kết quả tìm kiếm

801

Real analysis /

Bỡi Howie, John M.
Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

802

Simulation with Arena /

Bỡi Kelton, W. David.
Được phát hành 2002

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

803

Object-oriented and classical software engineering /

Bỡi Schach, Stephen R.
Được phát hành 2002

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

804

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

805

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

806

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

807

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

808

Localized to itinerant electronic transition in perovskite oxides /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

809

Molecular machines and motors /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

810

Modeling complex systems : Sixth Granada Lectures on Computational Physics, Granada, Spain, 4-10 September 2000 /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

811

Finite dimensional convexity and optimization /

Bỡi Florenzano, Monique.
Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

812

Multivariate calculus and geometry / Sean Dineen.

Bỡi Dineen, Sean, 1944-
Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

813

Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

814

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 2000 : revised papers /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

815

Algorithm engineering and experimentation : third international workshop, ALENEX 2001, WAshington, DC, USA, January 5-6, 2001 : revised papers /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

816

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

817

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

818

Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

819

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

820

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 2001, proceedings /

Được phát hành 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Tìm kiếm hẹp