Showing
1 - 20
results of
1,073
for search '
'
Skip to content
Toggle navigation
Home
Feedback
我的帳戶
Back
我的帳戶
最愛
被借出的項目
持有和召回
罰款
檔案
您保存的搜索
退出
登錄
語言
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
Search:
全文檢索
題名
作者
主題
索引號
ISBN/ISSN
標簽
檢索
高級檢索
Reset Filters
主題建議:
Programming Techniques
Reset Filters
Show filters (1)
主題建議:
Programming Techniques
檢索:
在您的搜尋 主題建議
在您的搜尋 主題建議
Programming Techniques
Computer programming
1,070
Software engineering
628
Software Engineering
528
Programming Languages, Compilers, Interpreters
480
Programming languages (Electronic computers)
480
Computer logic
354
更多 ...
Logics and Meanings of Programs
354
Artificial Intelligence
321
Artificial intelligence
321
Computer Communication Networks
311
Computer communication systems
311
Computers
296
Algorithms
289
Algorithm Analysis and Problem Complexity
283
Software Engineering/Programming and Operating Systems
283
Mathematical logic
243
Mathematical Logic and Formal Languages
242
Application software
188
Computation by Abstract Devices
146
Information Systems Applications (incl. Internet)
146
Theory of Computation
115
Computer science—Mathematics
108
Computer science
94
Management information systems
80
Management of Computing and Information Systems
80
Operating Systems
77
Operating systems (Computers)
77
Data structures (Computer science)
75
Discrete Mathematics in Computer Science
74
少 ...
Showing
1 - 20
results of
1,073
for search '
'
, 查詢時間: 0.11s
Refine Results
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
選擇頁 | 與選定的:
電子郵件
導出
打印
保存
Select result number 1
1
Algorithms and Programming Problems and Solutions /
由
Shen, Alexander.
,
Shen, Alexander.
出版 2010
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 2
2
Autonomics Development: A Domain-Specific Aspect Language Approach
由
Soule, Paul.
,
Soule, Paul.
出版 2010
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 3
3
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /
出版 2013
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 4
4
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
出版 2011
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 5
5
JRuby Rails Web Application Development
由
Vohra, Deepak.
,
Vohra, Deepak.
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 6
6
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 7
7
Multicore Programming Using the ParC Language
由
Ben-Asher, Yosi.
,
Ben-Asher, Yosi.
出版 2012
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 8
8
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 9
9
Object-Oriented Analysis, Design and Implementation An Integrated Approach /
由
Dathan, Brahma.
,
Dathan, Brahma.
,
Ramnath, Sarnath.
出版 2015
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 10
10
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 11
11
Models@run.time Foundations, Applications, and Roadmaps /
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 12
12
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 13
13
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Paper...
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 14
14
Data Structures and Algorithms with Python
由
Lee, Kent D.
,
Lee, Kent D.
,
Hubbard, Steve.
出版 2015
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 15
15
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings /
出版 2014
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 16
16
Software Engineering for Collective Autonomic Systems The ASCENS Approach /
出版 2015
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 17
17
Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings /
出版 2010
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 18
18
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
出版 2015
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 19
19
Object-Oriented Technology
由
Alagić, Suad.
,
Alagić, Suad.
出版 2015
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
Select result number 20
20
Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
出版 2015
索引號:
載入...
位於:
載入...
獲取全文
電子
電子書
加到收藏夾
Saved in:
選擇頁 | 與選定的:
電子郵件
導出
打印
保存
1
2
3
4
5
6
7
8
9
10
11
下一個 »
[54]
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Back
縮小搜索
Collection
SpringerNature Ebooks
1,070
UPM WebOPAC
3
格式
電子
1,070
電子書
1,070
圖書
3
索引號
Q - Science
961
T - Technology
105
B - Philosophy, Psychology, Religion
5
G - Geography, Anthropology, Recreation
1
P - Language and Literature
1
作者
SpringerLink (Online service)
1,070
Voronkov, Andrei
14
Dongarra, Jack
12
Riolo, Rick
10
Wasniewski, Jerzy
8
Barthe, Gilles
7
更多 ...
Dastani, Mehdi
7
Romanovsky, Alexander
7
Machado, Penousal
6
Meyer, Bertrand
6
Moore, Jason H.
6
Bramer, Max
5
Cagnoni, Stefano
5
Cotta, Carlos
5
Drechsler, Rolf
5
El Fallah Seghrouchni, Amal
5
Karczewski, Konrad
5
Reussner, Ralf H.
5
Sirjani, Marjan
5
Squillero, Giovanni
5
Wyrzykowski, Roman
5
Alexander, Michael
4
Ali, Moonis
4
Arbab, Farhad
4
Branke, Jürgen
4
Butler, Michael
4
Chiba, Shigeru
4
D'Ambra, Pasqua
4
Das, Swagatam
4
Dix, Jürgen
4
查看所有 ...
少 ...
語言
English
1,072
French
1
出版年
來自:
到:
×
載入...