Showing
1 - 13
results of
13
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
我的帐户
退出
机构登录
语言
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
हिंदी
Library Catalog
Keyword
Title/Journal Title
作者
主题
索引号
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
检索
高级检索
|
Browse
|
检索技巧
|
Repeat Search in WorldCat
主题建议:
4 filters
Software Engineering
和
Programming Techniques
和
Computer Science Logic and Foundations of Programming
和
Computer science—Mathematics
作者:
*-*
Show filters (5)
主题建议:
4 filters
Software Engineering
和
Programming Techniques
和
Computer Science Logic and Foundations of Programming
和
Computer science—Mathematics
作者:
*-*
检索结果
在您的搜寻 主题建议
在您的搜寻 主题建议
Computer Science Logic and Foundations of Programming
Computer programming
13
Computer science
13
Computer science—Mathematics
Programming Techniques
Software Engineering
Software engineering
13
更多 ...
Formal Languages and Automata Theory
12
Machine theory
12
Artificial Intelligence
9
Artificial intelligence
9
Discrete Mathematics in Computer Science
9
Discrete mathematics
9
Mathematics of Computing
2
Symbolic and Algebraic Manipulation
2
Algorithms
1
Compilers (Computer programs)
1
Compilers and Interpreters
1
Theory of Computation
1
少 ...
Showing
1 - 13
results of
13
for search '
'
, 查询时间: 0.07s
Refine Results
结果/页
20
40
60
80
100
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
1
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
出版 2014
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2014 English/International.
电子
电子书
加到收藏夹
Saved in:
2
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
出版 2015
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2015 English/International.
电子
电子书
加到收藏夹
Saved in:
3
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
出版 2015
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2015 English/International.
电子
电子书
加到收藏夹
Saved in:
4
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
出版 2011
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2011 English/International.
电子
电子书
加到收藏夹
Saved in:
5
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
出版 2017
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2017 English/International.
电子
电子书
加到收藏夹
Saved in:
6
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
出版 2012
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2012 English/International.
电子
电子书
加到收藏夹
Saved in:
7
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
出版 2013
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2013 English/International.
电子
电子书
加到收藏夹
Saved in:
8
Categories for Software Engineering
由
Fiadeiro, Jose Luiz.
,
Fiadeiro, Jose Luiz.
出版 2005
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2005 English/International.
电子
电子书
加到收藏夹
Saved in:
9
Algebraic Informatics 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 /
出版 2009
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2009 English/International.
电子
电子书
加到收藏夹
Saved in:
10
Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /
出版 2010
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2010 English/International.
电子
电子书
加到收藏夹
Saved in:
11
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
出版 2006
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2006 English/International.
电子
电子书
加到收藏夹
Saved in:
12
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
出版 2013
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2013 English/International.
电子
电子书
加到收藏夹
Saved in:
13
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
出版 2013
索引号:
载入...
位于:
载入...
Available in Springer Computer Science eBooks 2013 English/International.
电子
电子书
加到收藏夹
Saved in:
检索工具:
得到RSS订阅
—
推荐此搜索
—
保存搜索
Back
缩小搜索
格式
电子
13
电子书
13
作者
SpringerLink (Online service)
13
Albert, Elvira
1
Balduccini, Marcello
1
Bozapalidis, Symeon
1
Cabalar, Pedro
1
Calimeri, Francesco
1
更多 ...
De Nivelle, Hans
1
Delgrande, James
1
Faber, Wolfgang
1
Fiadeiro, Jose Luiz
1
Galmiche, Didier
1
Gupta, Gopal
1
Ianni, Giovambattista
1
Janhunen, Tomi
1
Johnson, Michael
1
Larchey-Wendling, Dominique
1
Peña, Ricardo
1
Rahonis, George
1
Son, Tran Cao
1
Strichman, Ofer
1
Szeider, Stefan
1
Truszczynski, Miroslaw
1
Vene, Varmo
1
Vidal, Germán
1
查看所有 ...
少 ...
语言
English
13
出版年
来自:
到:
载入...