|
共 86 件
東南亞史書籍特展
東南亞史書籍特展
- 展示上架起迄時間*: 2020-03-03 ~ 2020-04-30
- 暫停外借截止時間*: 2020-03-03 ~ 2020-03-03
共85件。
62
|
|
Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings /
- 作者:edited by Jan Vitek.
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Object-oriented methods (Computer science) ; Object-oriented programming (Computer science) ; Subroutines (Computer programs) ; Computer Science. ; Computer Communication Networks. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
- 作者:Vitek, Jan.
- 電子資源: ;
|
|
|
63
|
|
Practical aspects of declarative languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
- 作者:edited by Manuel Carro, Ricardo Pena.
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Declarative programming ; Declarative programming languages ; Computer Science. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
- 作者:Carro, Manuel. ; Pena, Ricardo.
- 電子資源:
|
|
|
65
|
|
Programs, proofs, processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /
- 作者:edited by Fernando Ferreira ... [et al.].
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Computable functions ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics) ; Computation by Abstract Devices. ; Discrete Mathematics in Computer Science. ; Mathematical Logic and Formal Languages. ; Simulation and Modeling.
- 作者:Ferreira, Fernando.
- 電子資源: ;
|
|
|
66
|
|
Reachability problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
- 作者:edited by Antonin Kucera, Igor Potapov.
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Computer systems|Verification ; Decidability (Mathematical logic) ; Graph theory|Data processing ; Computer Science. ; Logics and Meanings of Programs. ; Software Engineering. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Algorithm Analysis and Problem Complexity. ; Computation by Abstract Devices.
- 作者:Kucera, Antonin. ; Potapov, Igor.
- 電子資源:
|
|
|
67
|
|
Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
- 作者:edited by Jorge Real, Tullio Vardanega.
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Computer software|Reliability ; Software engineering ; Computer Science. ; Computer Communication Networks. ; Logics and Meanings of Programs. ; Mathematical Logic and Formal Languages. ; Programming Languages, Compilers, Interpreters. ; Programming Techniques. ; Software Engineering.
- 作者:Real, Jorge. ; Vardanega, Tullio.
- 電子資源: ;
|
|
|
70
|
|
Testing - practice and research techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
- 作者:edited by Leonardo Bottaci, Gordon Fraser.
- 出版社:Springer-Verlag Berlin Heidelberg
- 出版年:2010.
- 出版地:Berlin, Heidelberg :
- 主題:Computer software|Testing ; Academic-industrial collaboration ; Computer Science. ; Software Engineering. ; Logics and Meanings of Programs. ; Programming Languages, Compilers, Interpreters. ; Computer Communication Networks. ; Programming Techniques. ; Mathematical Logic and Formal Languages.
- 作者:Bottaci, Leonardo. ; Fraser, Gordon.
- 電子資源:
|
|
|
|
|