Đang hiển thị
1 - 6
kết quả của
6
cho tìm kiếm '
'
Chuyển đến nội dung
UPFind
0
cuốn sách
(Đầy đủ)
Ngôn ngữ
English
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
हिंदी
Tất cả các trường
Tiêu đề
Tác giả
Chủ đề
Số hiệu
số ISBN/ISSN
Tìm kiếm
Nâng cao
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
Và
Logic design
LANGUAGE:
English
AUTHOR:
SpringerLink (Online service)
Hiển thị bộ lọc (5)
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
Và
Logic design
LANGUAGE:
English
AUTHOR:
SpringerLink (Online service)
Kết quả tìm kiếm
Đang hiển thị
1 - 6
kết quả của
6
cho tìm kiếm '
'
, thời gian truy vấn: 0.02s
Tinh chỉnh kết quả
Sắp xếp
Mức độ liên quan
Newest to Oldest
Oldest to Newest
Tác giả
Tiêu đề
Chọn trang | với đã chọn:
Email
Xuất
In
Thêm vào cặp sách
Chọn kết quả số 1
1
Quantum-dot cellular automata based digital logic circuits a design perspective
Bằng
Sasamal, Trailokya Nath
,
Singh, Ashutosh Kumar
,
Mohan, Anand
Được phát hành 2020
Số hiệu:
Đang tải...
Nằm:
Đang tải...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource
Thêm vào cặp sách
Xóa khỏi Túi Sách
Chọn kết quả số 2
2
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Xuất bản năm
Springer eBooks.
(2011)
Số hiệu:
Đang tải...
Nằm:
Đang tải...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Thêm vào cặp sách
Xóa khỏi Túi Sách
Chọn kết quả số 3
3
Emotional Cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
Bằng
Perlovsky, Leonid
,
Deming, Ross
,
Ilin, Roman
Được phát hành 2011
Số hiệu:
Đang tải...
Nằm:
Đang tải...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Thêm vào cặp sách
Xóa khỏi Túi Sách
Chọn kết quả số 4
4
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Xuất bản năm
Springer eBooks.
(2011)
Số hiệu:
Đang tải...
Nằm:
Đang tải...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Thêm vào cặp sách
Xóa khỏi Túi Sách
Chọn kết quả số 5
5
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Xuất bản năm
Springer eBooks.
(2011)
Số hiệu:
Đang tải...
Nằm:
Đang tải...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Thêm vào cặp sách
Xóa khỏi Túi Sách
Chọn kết quả số 6
6
Theory and applications of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
Được phát hành 2011
Số hiệu:
Đang tải...
Nằm:
Đang tải...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Thêm vào cặp sách
Xóa khỏi Túi Sách
Chọn trang | với đã chọn:
Email
Xuất
In
Thêm vào cặp sách
Công cụ tìm kiếm:
Nhận nguồn cấp dữ liệu RSS
—
Tìm kiếm email này
Trở lại
Tìm kiếm hẹp
CAMPUS
Diliman
6
DATABASE
Union Catalog (Buklod)
6
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
5
College of Engineering Library II
1
YEAR OF PUBLICATION
Từ ngày:
Tới ngày:
SUBJECT
Artificial intelligence
Electronic books
6
Logic design
Computer science
4
Software engineering
2
Algebra
1
Artificial Intelligence (incl. Robotics)
1
Automatic theorem proving -- Congresses
1
Complexity
1
Computational Intelligence
1
Computational complexity
1
Computer Communication Networks
1
Computer graphics
1
Computer logic
1
Computer science -- Mathematics -- Congresses
1
Computer software
1
Data processing
1
Discrete groups
1
Enineering
1
Geometry -- Data processing -- Congresses
1
Logic Design
1
Logic in AI
1
Logics and Meanings of Programs
1
Nanotechnology
1
Nanotechnology and Microengineering
1
Physics
1
Statistical Physics, Dynamical Systems and Complexity
1
Xem tất cả ...
AUTHOR
SpringerLink (Online service)
Deming, Ross
1
Gleizes, Marie-Pierre
1
Gomez-Sanz, Jorge J.
1
Ilin, Roman
1
Jouannaud, Jean-Pierre
1
Mohan, Anand
1
Perlovsky, Leonid
1
Sakallah, Karem A.
1
Sasamal, Trailokya Nath
1
Shao, Zhong
1
Simon, Laurent
1
Singh, Ashutosh Kumar
1
Sturm, Thomas
1
Zengler, Christoph
1
Xem tất cả ...
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Đang tải...