查詢 text:Formal languages Congresses. ，共 13 筆
查詢再細分
-
- 語言
- 英語(13)
-
- 主題
- COMPUTERS(9)
- Software Development & EngineeringGeneral.(4)
- Computer programming(3)
- Computer programming.(3)
- Computer software(3)
- ProgrammingOpen Source.(3)
- Software Development & EngineeringTools.(3)
- Softwareentwicklung(3)
- Computer hardware description languages(2)
- Computer hardware description languages.(2)
- More
-
- 館別
- 總圖(1)
-
8 0 0 0 0Automata, languages and programming :31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
- 作者: Díaz, J.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
12 0 0 0 0
Formal approaches to software testing :Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
- 作者: Petrenko, Alexandre.
- 出版: Berlin ;New York : Springer-Verlag ©2004.
- 資料類型: 電子書
-
11 0 0 0 0
Languages for system specification :selected contributions on UML, SystemC, System Verilog, mixed-signal systems, and property specification from FDL'03
- 作者: Grimm, Christoph.
- 出版: Boston : Kluwer Academic Publishers 2004.
- 資料類型: 電子書
-
7 0 0 0 0
System specification & design languages :best of FDL'02
- 作者: Villar, Eugenio.
- 出版: Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
7 0 0 0 0
Programming languages and systems :13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- 作者: Schmidt, David A.,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
6 0 0 0 0
Performance Assessments for Adult Education :Exploring the Measurement Issues : Report of a Workshop
- 作者: Mislevy, Robert J.
- 出版: Washington, DC : National Academy Press ©2002.
- 資料類型: 電子書
-
12 0 0 0 0
Declarative agent languages and technologies :first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers
- 作者: Leite, João Alexandre.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
8 0 0 0 0
Scientific engineering of distributed Java applications :third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
- 作者: Guelfi, Nicolas,
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書
-
8 0 0 0 0
Mathematics of program construction :7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
- 作者: Kozen, Dexter,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
41 0 0 0 0
Hybrid systems :computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書