skip to main content
Ngôn ngữ:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Kết quả 1 - 20 của 104.440  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Tạp chí
Thêm vào Góc nghiên cứu

Software Industry Report

ISSN1042-7252

Truy cập trực tuyến

2
Principles and Practice of Constraint Programming
Material Type:
Sách
Thêm vào Góc nghiên cứu

Principles and Practice of Constraint Programming

Stuckey, Peter J.

978-3-540-85957-4; http://repository.vnu.edu.vn/handle/VNU_123/25836

Truy cập trực tuyến

3
Rationale-Based Software Engineering
Material Type:
Sách
Thêm vào Góc nghiên cứu

Rationale-Based Software Engineering

Burge, Janet E.; Carroll, John M.; McCall, Raymond; Mistrík, Ivan

978-3-540-77582-9; http://repository.vnu.edu.vn/handle/VNU_123/26719

Truy cập trực tuyến

4
Automata, Languages and Programming
Material Type:
Sách
Thêm vào Góc nghiên cứu

Automata, Languages and Programming

Aceto, L.; Damgaard, I.; Goldberg, L.A.; Halldórsson, M.M.; Ingolfsdottir, A.; Walukiewicz, I.

978-3-540-70582-6; http://repository.vnu.edu.vn/handle/VNU_123/26150

Truy cập trực tuyến

5
Learning and Intelligent Optimization
Material Type:
Sách
Thêm vào Góc nghiên cứu

Learning and Intelligent Optimization

Maniezzo, Vittorio; Battiti, Roberto; Watson, Jean-Paul

http://repository.vnu.edu.vn/handle/VNU_123/25600

Truy cập trực tuyến

6
Formal Methods for Components and Objects
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Methods for Components and Objects

Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul

978-3-540-92187-5; http://repository.vnu.edu.vn/handle/VNU_123/26363

Truy cập trực tuyến

7
Formal Methods for Computational Systems Biology
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Methods for Computational Systems Biology

Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi

978-3-540-68892-1; http://repository.vnu.edu.vn/handle/VNU_123/26370

Truy cập trực tuyến

8
Formal Methods and Software Engineering
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Methods and Software Engineering

Liu, Shaoying; Maibaum, Tom; Araki, Keijiro

978-3-540-88193-3; http://repository.vnu.edu.vn/handle/VNU_123/26352

Truy cập trực tuyến

9
Formal Methods and Testing
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Methods and Testing

Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark

978-3-540-78916-1; http://repository.vnu.edu.vn/handle/VNU_123/26353

Truy cập trực tuyến

10
Automatic Program Development
Material Type:
Sách
Thêm vào Góc nghiên cứu

Automatic Program Development

Danvy, O.; Henglein, F.; Mairson, H.; Pettorossi, A.

978-1-4020-6584-2; http://repository.vnu.edu.vn/handle/VNU_123/26199

Truy cập trực tuyến

11
Temporal Logic and State Systems
Material Type:
Sách
Thêm vào Góc nghiên cứu

Temporal Logic and State Systems

Kröger, Fred; Merz,Stephan

978-3-540-67401-6; http://repository.vnu.edu.vn/handle/VNU_123/26634

Truy cập trực tuyến

12
Mathematical Foundations of Computer Science 2008
Material Type:
Sách
Thêm vào Góc nghiên cứu

Mathematical Foundations of Computer Science 2008

Ochmanski, Edward; Tyszkiewicz, Jerzy

978-3-540-85237-7; http://repository.vnu.edu.vn/handle/VNU_123/26140

Truy cập trực tuyến

13
Approximation and Online Algorithms
Material Type:
Sách
Thêm vào Góc nghiên cứu

Approximation and Online Algorithms

Kaklamanis, Christos; Skutella, Martin

978-3-540-77917-9; http://repository.vnu.edu.vn/handle/VNU_123/26066

Truy cập trực tuyến

14
Mathematics of Program Construction
Material Type:
Sách
Thêm vào Góc nghiên cứu

Mathematics of Program Construction

Audebaud, Philippe; Paulin-Mohring, Christine

978-3-540-70593-2; http://repository.vnu.edu.vn/handle/VNU_123/26149

Truy cập trực tuyến

15
Ajax in Oracle JDeveloper
Material Type:
Sách
Thêm vào Góc nghiên cứu

Ajax in Oracle JDeveloper

Vohra, Deepak

978-3-540-77595-9; http://repository.vnu.edu.vn/handle/VNU_123/26083

Truy cập trực tuyến

16
High Performance Computing - HiPC 2008
Material Type:
Sách
Thêm vào Góc nghiên cứu

High Performance Computing - HiPC 2008

Sadayappan, P.; Parashar, M.; Badrinath, R.; Prasanna, V.K.

978-3-540-89893-1; http://repository.vnu.edu.vn/handle/VNU_123/26644

Truy cập trực tuyến

17
Hybrid Learning and Education
Material Type:
Sách
Thêm vào Góc nghiên cứu

Hybrid Learning and Education

Fong, Joseph; Kwan, Reggie; LeeWang, Fu

978-3-540-85169-1; http://repository.vnu.edu.vn/handle/VNU_123/26667

Truy cập trực tuyến

18
Fundamental Approaches to Software Engineering
Material Type:
Sách
Thêm vào Góc nghiên cứu

Fundamental Approaches to Software Engineering

Fiadeiro, José Luiz; Inverardi, Paola

978-3-540-78742-6; http://repository.vnu.edu.vn/handle/VNU_123/26488

Truy cập trực tuyến

19
Frontiers in Algorithmics
Material Type:
Sách
Thêm vào Góc nghiên cứu

Frontiers in Algorithmics

Preparat, Franco P.; Wu, Xiaodong; Yin, Jianping

978-3-540-69310-9; http://repository.vnu.edu.vn/handle/VNU_123/26481

Truy cập trực tuyến

20
Generative and Transformational Techniques in Software Engineering II
Material Type:
Sách
Thêm vào Góc nghiên cứu

Generative and Transformational Techniques in Software Engineering II

Lämmel, Ralf; Visser, Joost; Saraiva, João

978-3-540-88642-6; http://repository.vnu.edu.vn/handle/VNU_123/26487

Truy cập trực tuyến

Kết quả 1 - 20 của 104.440  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1976  (23)
  2. 1976đến1985  (485)
  3. 1986đến1995  (4.998)
  4. 1996đến2006  (27.653)
  5. Sau 2006  (70.723)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (91.593)
  2. German  (2.293)
  3. Portuguese  (890)
  4. Spanish  (251)
  5. French  (54)
  6. Chinese  (38)
  7. Japanese  (30)
  8. Czech  (7)
  9. Norwegian  (5)
  10. Russian  (4)
  11. Italian  (2)
  12. Romanian  (2)
  13. Slovak  (1)
  14. Arabic  (1)
  15. Polish  (1)
  16. Korean  (1)
  17. Turkish  (1)
  18. Dutch  (1)
  19. Lựa chọn khác open sub menu

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. Rumpe, Bernhard
  2. Abrahamsson, Pekka
  3. Monperrus, Martin
  4. Wagner, Stefan
  5. Münch, Jürgen

Đang tìm Cơ sở dữ liệu bên ngoài...