Đang hiển thị
1 - 4
kết quả của
4
cho tìm kiếm '
(
'
Chuyển đến nội dung
Tài khoản của bạn
Đăng xuất
Đăng nhập tổ chức
Ngôn ngữ
English
Te Reo Māori
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Từ khóa
Khóa học
Tiêu đề
Tiêu đề tạp chí
Tác giả
Chủ đề
số ISBN/ISSN
Số hiệu
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Mã vạch
Loạt
Tìm theo thứ tự ABC: Bằng tiêu đề
Tìm theo thứ tự ABC: Bằng tác giả
Tìm theo thứ tự ABC: Bằng chủ đề
Tìm theo thứ tự ABC: By LC Call Number
Tìm theo thứ tự ABC: By Dewey Call Number
Tìm kiếm
Nâng cao
Page will reload when a filter is removed.
Applied Filters:
Tác giả:
Remove Filter
SpringerLink (Online service)
Và
Remove Filter
ETAPS 2005
Page will reload when a filter is removed.
Hiển thị bộ lọc (2)
Tác giả:
Remove Filter
SpringerLink (Online service)
Và
Remove Filter
ETAPS 2005
UC Library
Tìm kiếm danh mục thư viện
Kết quả tìm kiếm - (
Đang hiển thị
1 - 4
kết quả của
4
cho tìm kiếm '
(
'
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
Số cuộc gọi
Tác giả
Tiêu đề
Chọn trang
Email
Xuất
In
Lưu
Chọn kết quả số 1
1
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice o...
Được phát hành 2005
Nằm
Đang tải...
Số hiệu
Đang tải...
Connect to electronic resource
Điện tử
Hội nghị đang tiến hành
Sách
Lưu vào danh sách
Đã lưu trong:
Chọn kết quả số 2
2
Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinbu...
Được phát hành 2005
Nằm
Đang tải...
Số hiệu
Đang tải...
Connect to electronic resource
Điện tử
Hội nghị đang tiến hành
Sách
Lưu vào danh sách
Đã lưu trong:
Chọn kết quả số 3
3
Compiler construction 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-...
Được phát hành 2005
Nằm
Đang tải...
Số hiệu
Đang tải...
Connect to electronic resource
Điện tử
Hội nghị đang tiến hành
Sách
Lưu vào danh sách
Đã lưu trong:
Chọn kết quả số 4
4
Foundations of software science and computation structures 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Soft...
Được phát hành 2005
Nằm
Đang tải...
Số hiệu
Đang tải...
Connect to electronic resource
Điện tử
Hội nghị đang tiến hành
eBook
Lưu vào danh sách
Đã lưu trong:
Chọn trang
Email
Xuất
In
Lưu
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
Tinh chỉnh kết quả
Page will reload when a filter is selected or excluded.
Định dạng
Hội nghị đang tiến hành
4 kết quả
4
Điện tử
4 kết quả
4
Sách
3 kết quả
3
eBook
1 kết quả
1
Năm của ấn phẩm
Từ ngày:
Tới ngày:
Chủ đề được đề xuất
Computer software
2 kết quả
2
Compilers (Computer programs)
1 kết quả
1
Development
1 kết quả
1
Software engineering
1 kết quả
1
System analysis
1 kết quả
1
System design
1 kết quả
1
Thể loại
Congresses
4 kết quả
4
Ngôn ngữ
English
4 kết quả
4
Tác giả
ETAPS 2005
SpringerLink (Online service)
Bodik, Rastislav
1 kết quả
1
CC 2005 Edinburgh, Scotland
1 kết quả
1
Cerioli, Maura
1 kết quả
1
FASE 2005 Edinburgh, Scotland
1 kết quả
1
FOSSACS 2005 Edinburgh, UK
1 kết quả
1
Halbwachs, Nicolas
1 kết quả
1
Sassone, Vladimiro
1 kết quả
1
TACAS 2005 Edinburgh, Scotland
1 kết quả
1
Zuck, Lenore D., 1958-
1 kết quả
1
Xem tất cả…
Số hiệu
Q - Khoa học
3 kết quả
3
Đang tải...