語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Declarative programming languages - Congresses.

概要

作品:	10 作品在 8 項出版品 8 種語言

書目資訊

Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings / by: (書目-語言資料,印刷品)

Practical aspects of declarative languages = 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings / by: (書目-電子資源)

主題

Software Engineering.

Declarative programming

Mathematical Logic and Formal Languages.

Theory of Computation.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Information Systems and Communication Service.

Programming Language.

Computer and Information Systems Applications.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Professional Computing.

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Computer Appl. in Administrative Data Processing.

Special Purpose and Application-Based Systems.

Models and Principles.

Computer Engineering and Networks.

Artificial Intelligence.

Formal Languages and Automata Theory.

Computer Science.

Computer Communication Networks.

Computer System Implementation.

Knowledge Based Systems.

Multiagent systems

Compilers and Interpreters.

變更密碼

登入