Đang hiển thị
1 - 20
kết quả của
409
cho tìm kiếm '
Tools and Algorithms for the Construction and Analysis of Systems
'
Chuyển đến nội dung
VuFind
Tài khoản của bạn
Đăng xuất
Đăng nhập
Ngôn ngữ
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tất cả các trường
Tác giả
Tiêu đề
Tiêu đề tạp chí
Chủ đề
số ISBN/ISSN
Nhãn
Tìm kiếm
Nâng cao
Kết quả tìm kiếm - Tools and Algorithms for the Construction and Analysis of Systems
Đang hiển thị
1 - 20
kết quả của
409
cho tìm kiếm '
Tools and Algorithms for the Construction and Analysis of Systems
'
, thời gian truy vấn: 0.12s
Tinh chỉnh kết quả
Kết quả mỗi trang
10
20
40
60
80
100
Sắp xếp
Mức độ liên quan
Ngày giảm dần
Ngày tăng dần
Tác giả
Tiêu đề
Danh sách
Lưới
Đang tải...
Tools
and
algorithms
for the
construction
and
analysis
of
systems
17th International Conference...
lấy văn bản
Đang tải...
Business Information
Systems
12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009, proceedings /
lấy văn bản
Đang tải...
Analysis
, architectures and modelling of embedded
systems
Third IFIP TC 10 International Embedded...
lấy văn bản
Đang tải...
New results in dependability and computer
systems
proceedings of the 8th international conference...
lấy văn bản
Đang tải...
Web information
systems
and technologies 5th International Conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009, revised selected papers /
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
Đang tải...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
lấy văn bản
1
2
3
4
5
6
7
8
9
10
11
Tiếp theo
[21]
Công cụ tìm kiếm:
Nhận nguồn cấp dữ liệu RSS
—
Tìm kiếm email này
—
Lưu tìm kiếm
Trở lại
Tìm kiếm hẹp
Tổ chức giáo dục
US NLM
240
Loại trừ kết quả phù hợp
UFRJ
74
Loại trừ kết quả phù hợp
DOAJ
62
Loại trừ kết quả phù hợp
DOAB
31
Loại trừ kết quả phù hợp
Redalyc
2
Loại trừ kết quả phù hợp
Bộ sưu tập
PubMed Central
240
Loại trừ kết quả phù hợp
Minerva
72
Loại trừ kết quả phù hợp
Directory of Open Access Journals
62
Loại trừ kết quả phù hợp
Directory of Open Access Books
31
Loại trừ kết quả phù hợp
Portal de Periódicos
2
Loại trừ kết quả phù hợp
Sistema de Información Científica Redalyc
2
Loại trừ kết quả phù hợp
Định dạng
Artigo
304
Loại trừ kết quả phù hợp
Livro
103
Loại trừ kết quả phù hợp
Online
2
Loại trừ kết quả phù hợp
Tác giả
Beyer, Dirk
7
Loại trừ kết quả phù hợp
Katoen, Joost-Pieter
6
Loại trừ kết quả phù hợp
Vojnar, Tomáš
5
Loại trừ kết quả phù hợp
Barrett, Clark
4
Loại trừ kết quả phù hợp
Biere, Armin
4
Loại trừ kết quả phù hợp
Huisman, Marieke
4
Loại trừ kết quả phù hợp
hơn ...
Budde, Carlos E.
3
Loại trừ kết quả phù hợp
Burge, Mark J.
3
Loại trừ kết quả phù hợp
Burger, Wilhelm
3
Loại trừ kết quả phù hợp
Finkbeiner, Bernd
3
Loại trừ kết quả phù hợp
Fisman, Dana
3
Loại trừ kết quả phù hợp
Groote, Jan Friso
3
Loại trừ kết quả phù hợp
Gurfinkel, Arie
3
Loại trừ kết quả phù hợp
Hermanns, Holger
3
Loại trừ kết quả phù hợp
Heule, Marijn
3
Loại trừ kết quả phù hợp
Heule, Marijn J. H.
3
Loại trừ kết quả phù hợp
Junges, Sebastian
3
Loại trừ kết quả phù hợp
Kovács, Laura
3
Loại trừ kết quả phù hợp
Steffen, Bernhard
3
Loại trừ kết quả phù hợp
TACAS (Conferência)
3
Loại trừ kết quả phù hợp
Universidade Federal do Rio de Janeiro
3
Loại trừ kết quả phù hợp
Zhang, Lijun
3
Loại trừ kết quả phù hợp
Šoková, Veronika
3
Loại trừ kết quả phù hợp
Abate, Alessandro
2
Loại trừ kết quả phù hợp
Ahmed, Daniele
2
Loại trừ kết quả phù hợp
Arditi, David
2
Loại trừ kết quả phù hợp
Bendík, Jaroslav
2
Loại trừ kết quả phù hợp
Cankorur-Cetinkaya, Ayca
2
Loại trừ kết quả phù hợp
Chakraborty, Supratik
2
Loại trừ kết quả phù hợp
Chalupa, Marek
2
Loại trừ kết quả phù hợp
Xem tất cả ...
ít hơn ...
Chủ đề
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
9
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UY Computer science
9
Loại trừ kết quả phù hợp
testing
7
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
7
Loại trừ kết quả phù hợp
Computer science
6
Loại trừ kết quả phù hợp
model checking
6
Loại trừ kết quả phù hợp
hơn ...
software engineering
6
Loại trừ kết quả phù hợp
TACAS
5
Loại trừ kết quả phù hợp
embedded systems
5
Loại trừ kết quả phù hợp
formal logic
5
Loại trừ kết quả phù hợp
formal verification
5
Loại trừ kết quả phù hợp
hardware systems
5
Loại trừ kết quả phù hợp
machine learning
5
Loại trừ kết quả phù hợp
probabilistic programming
5
Loại trừ kết quả phù hợp
program synthesis
5
Loại trừ kết quả phù hợp
simulations
5
Loại trừ kết quả phù hợp
software and hardware verification
5
Loại trừ kết quả phù hợp
software systems
5
Loại trừ kết quả phù hợp
specification and verification techniques
5
Loại trừ kết quả phù hợp
static analysis
5
Loại trừ kết quả phù hợp
static and dynamic program analysis
5
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
5
Loại trừ kết quả phù hợp
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
5
Loại trừ kết quả phù hợp
verification of machine
5
Loại trừ kết quả phù hợp
Algorithms & data structures
4
Loại trừ kết quả phù hợp
Control Structures and Microprogramming
4
Loại trừ kết quả phù hợp
Mathematical theory of computation
4
Loại trừ kết quả phù hợp
SAT and SMT solving
4
Loại trừ kết quả phù hợp
automata theory
4
Loại trừ kết quả phù hợp
finite element analysis
4
Loại trừ kết quả phù hợp
Xem tất cả ...
ít hơn ...
Ngôn ngữ
Inglês
392
Loại trừ kết quả phù hợp
Russo
10
Loại trừ kết quả phù hợp
Português
3
Loại trừ kết quả phù hợp
eng
2
Loại trừ kết quả phù hợp
Espanhol
1
Loại trừ kết quả phù hợp
Polonês
1
Loại trừ kết quả phù hợp
Năm của ấn phẩm
Từ ngày:
Tới ngày:
Năm của ấn phẩm
Dọn dẹp
×
Đang tải...