Refine your search

Your search returned 136 results.

Not what you expected? Check for suggestions
Sort
Results
The little book of object-oriented programming / Henry Ledgard. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Englewood Cliffs, N.J. : Prentice Hall, c1996
Availability: Items available for loan: Phòng DVTT Ngoại ngữ (1)Call number: 005.13.

Automatic parallelization for a class of regular computations / by G.M. Megson, Xian Chen. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Singapore ; River edge, New Jersey : World Scientific, 1997
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 005.2/75 MEG 1997.

Mathematical logic for computer science / Lu Zhongwan. by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Preschool;
Language: English
Publication details: Singapore ; Teaneck, N.J. : World Scientific, c1989
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 004/.01/51 LUC 1989.

Modeling in Event-B : system and software engineering / Jean-Raymond Abrial. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge ; New York : Cambridge University Press, 2010
Online resources:
Availability: Items available for loan: Phòng DVTT Tổng hợp (1)Call number: 004.01/51 ABR 2010.

Data structures, algorithms, and object-oriented programming / Gregory L. Heileman. by Series: McGraw-Hill series in computer science. Fundamentals of computing and programming
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: New York : McGraw-Hill, c1996
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 005.117 HEI 1996.

Concurrent prolog : collected papers / edited by Ehud Shapiro ; with a foreword by Kazuhiro Fuchi. by Series: MIT Press series in logic programming
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1987
Availability: Items available for loan: Phòng DVTT Ngoại ngữ (1)Call number: 005.13/3.

High performance parallelism pearls : multicore and many-core programming approaches / James Reinders, Jim Jeffers by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : Morgan Kaufmann , 2015
Availability: Items available for loan: Phòng DVTT HT2 (1)Call number: 005.275 REI 2015. Trung tâm Thư viện và Tri thức số (1)Call number: 005.275 REI 2015.

Discrete algorithmic mathematics / Stephen B. Maurer, Anthony Ralston. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Reading, Mass. : Addison-Wesley Pub. Co., c1991
Availability: Items available for loan: Phòng DVTT Tổng hợp (1)Call number: 510 MAU 1991.

Physics for computer science students : with emphasis on atomic and semiconductor physics / Narciso Garcia and Arthur C. Damask by
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction ; Audience: Preschool;
Language: English
Publication details: N.Y.,... : Springer , 1998
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 530 GAR 1998.

Database systems '98 : proceedings of the 9th Australasian Database Conference, ADC'98, Perth, 2-3 February 1998 / Chris McDonald, ed. by Series:
Material type: Text Text
Language: English
Publication details: Singapore ; New York : Springer, 1998
Other title:
  • Database systems ninety-eight
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 005.74 DAT 1998.

Discrete mathematics and its applications / Kenneth H. Rosen. by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston : WCB/McGraw-Hill, 1999
Availability: Items available for loan: Phòng DVTT HT2 (1)Call number: 511 ROS 1999. Phòng DVTT KHTN & XHNV (2)Call number: 511 ROS 1999, ...

Intelligent control : aspects of fuzzy logic and neural nets / C.J. Harris, C.G. Moore & M. Brown. by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: Singapore : World Scientific , 1993
Availability: Items available for loan: Phòng DVTT HT2 (1)Call number: 629.8/9 HAR 1993.

The object constraint language : precise modeling with UML / Jos B. Warmer, Anneke G. Kleppe. by Series: Addison-Wesley object technology series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Reading, Mass : Addison Wesley Longman, c1999
Availability: Items available for loan: Phòng DVTT Tổng hợp (1)Call number: 005.1/17 WAR 1999.

Logical foundations of functional programming / edited by Gérard Huet. by Series: The UT year of programming series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Reading, Mass. : Addison-Wesley, c1990
Availability: Items available for loan: Phòng DVTT Tổng hợp (1)Call number: 005.1/1 LOG 1990.

Computer mathematics : Proceedings of the Sixth Asian Symposium (ASCM 2003), Beijing, China, 17-19 April 2003 / Editors: Ziming Li, William Sit by Series: Lecture Notes Series on Computing Vol.10
Material type: Text Text; Format: print
Language: English
Publication details: New York: World scientific, 2003
Availability: Items available for loan: Trung tâm Thư viện và Tri thức số (1).

Principles of constraint programming / Krzysztof R. Apt. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge ; New York : Cambridge University Press, 2003
Availability: Items available for loan: Phòng DVTT Tổng hợp (1)Call number: 005.11 APT 2003.

Concurrent programming / Alan Burns, Geoff Davies. by Series: International computer science series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., c1993
Availability: Items available for loan: Phòng DVTT Tổng hợp (1)Call number: 005.2/752 BUR 1993.

Building expert systems : a tutorial / James Martin, S. Oxman by
Material type: Text Text
Language: English
Publication details: New Jersey : Prentice Hall, 1988
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 006.33 MAR 1988.

Artificial neural networks/ Robert J. Schalkoff by Series: McGraw-Hill series in computer science. Artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Preschool;
Language: English
Publication details: N.Y. : McGraw-Hill Companies, Inc, 1997
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (2)Call number: 006.3 SCH 1997, ... Phòng DVTT Tổng hợp (2)Call number: 006.3 SCH 1997, ...

Discrete mathematics : a unified approach / Stephen A. Wiitala by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : McGraw Hill, c1987
Availability: Items available for loan: Phòng DVTT KHTN & XHNV (1)Call number: 510 WII 1987.

Pages