skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

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

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Lọc theo: Chủ đề: Mathematics xóa Dạng tài nguyên: Tài nguyên văn bản xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Systèmes de preuve: Notes de révision pour l'agrégation

Schmitz, Sylvain

Toàn văn sẵn có

2
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Une introduction aux (semi-)groupes d'automate

Klimann, Ines

Toàn văn sẵn có

3
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Promels: formalize spontaneous emergence of arbitrary relations among objects

Bonnici, Iago ; Gouaich, Abdelkader

Toàn văn sẵn có

4
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Verbundprojekt ELPA - Hochskalierbare Eigenwert-Löser für Petaflop-Anwendungen : Schlussbericht zu ELPA ; Laufzeit des Vorhabens: 01.12.2008 - 30.11.2011; Highly scalable eigenvalue solver for petaflop applications, project ELPA, subproject BUW-AI

Galgon, Martin ; Krämer, Lukas ; Lang, Bruno; TIB - Technische Informationsbibliothek Universitätsbibliothek Hannover; Technische Informationsbibliothek (TIB)

DOI: 10.2314/GBV:73042068X

Toàn văn sẵn có

5
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Getting HPC into Regional University Curricula with Few Resources

Frinkle, Karl ; Morris, Mike

Toàn văn sẵn có

6
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

A Three-Semester, Interdisciplinary Approach to Parallel Programming in a Liberal Arts University Setting

Frinkle, Karl ; Morris, Mike

Toàn văn sẵn có

7
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Methods for Computing Genus Distribution Using Double-Rooted Graphs

Khan, Imran Farid

DOI: 10.7916/D8GX4JJ0

Toàn văn sẵn có

8
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Shortest Path Discovery Problem, Revisited (Query Ratio, Upper and Lower Bounds)

Brun, Olivier ; Doncel, Josu ; Thraves-Caro, Christopher

Toàn văn sẵn có

9
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Numerical methods for fully nonlinear free surface water waves

Dutykh, Denys ; Viotti, Claudio

Toàn văn sẵn có

10
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Inria@SiliconValley Activity Report 2011-2014

Issarny, Valérie ; Castro, Tania ; Kirchner, Helene ; Morin, Christine

Toàn văn sẵn có

11
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Elements of mathematics and logic for computer program analysis

Blanqui, Frédéric

Toàn văn sẵn có

12
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Large Scale Machine Learning in Biology

Raj, Anil

DOI: 10.7916/D82N5863

Toàn văn sẵn có

13
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Logique propositionnelle: Notes de révision pour l'agrégation

Schmitz, Sylvain

Toàn văn sẵn có

14
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Capacity Region and Degrees of Freedom of Bidirectional Networks

Ashraphijuo, Mehdi

DOI: 10.7916/D88W3DTB

Toàn văn sẵn có

15
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Computational Methods for Nonlinear Optimization Problems: Theory and Applications

Madani, Ramtin

DOI: 10.7916/D88S4PDM

Toàn văn sẵn có

16
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study

Martin, Alan J; Université d'Ottawa / University of Ottawa; Université d'Ottawa / University of Ottawa

DOI: 10.20381/ruor-20083

Toàn văn sẵn có

17
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Preconditioned GMRES solver on multiple GPU architecture

Chen, Zhangxing (John) ; Yang, B. ; Liu, Hui; University of Calgary; University of Calgary

DOI: 10.11575/PRISM/30183

Toàn văn sẵn có

18
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Variational Approaches for Motion and Structure from Monocular Video

Neufeld, Andreas

DOI: 10.11588/heidok.00023722

Toàn văn sẵn có

19
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Excluding Induced Paths: Graph Structure and Coloring

Maceli, Peter Lawson

DOI: 10.7916/D8WW7GK4

Toàn văn sẵn có

20
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Building Ecosystem-Aware Tools Using the Ecosystem Monitoring Framework

Spasojevic, Boris; Osman, Haidar; Bagge, Anya Helene; Lungu, Mircea

DOI: 10.7892/boris.94652

Toàn văn sẵn có

Kết quả 1 - 20 của 2.446  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.   

Chỉ hiển thị

  1. Tạp chí có phản biện (4)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1982  (19)
  2. 1982đến1991  (57)
  3. 1992đến2000  (124)
  4. 2001đến2010  (338)
  5. Sau 2010  (779)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (2.229)
  2. French  (87)
  3. German  (50)
  4. Portuguese  (1)
  5. 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. Braun, Torsten
  2. Roegel, Denis
  3. Ducasse, Stéphane
  4. Bonnans, J. Frederic
  5. Nierstrasz, Oscar

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