|
|
共 220 件
性別平等書展
- 展示上架起迄時間*: 2016-05-20 ~ 2023-12-31
- 暫停外借截止時間*: 開放外借
共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.
- 電子資源：
|
|
|
|
|
|
|
