Logic design - Congresses. - Computer programs

Trends in Functional Programming12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / by: (書目-電子資源)

Trends in functional programming14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers / by: (書目-電子資源)

Trends in functional programming15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers / by: (書目-電子資源)

Trends in functional programming16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / by: (書目-電子資源)

Trends in functional programming18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Trends in functional programming17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers / by: (書目-電子資源)

Trends in functional programming19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (書目-電子資源)

Trends in functional programming21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020 : revised selected papers / by: (書目-電子資源)

Trends in functional programming20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019 : revised selected papers / by: (書目-電子資源)

Trends in functional programming22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers / by: (書目-電子資源)

Data structures (Computer science)

Software Engineering.

Mathematical Logic and Formal Languages.

Theory of Computation.

Logics and Meanings of Programs.

Programming Techniques.

Data Structures.

Artificial Intellgence (incl. Robotics)

Artificial Intelligence (incl. Robotics)

Operating Systems.

Control Structures and Microprogramming.

Information Systems Applications (incl. Internet)

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Logic Design.

Processor Architectures.

Computer Engineering and Networks.

Logic design

Functional programming (Computer science)

Artificial Intelligence.

Computer Science.

Computer System Implementation.

Computer Systems Organization and Communication Networks.

Compilers and Interpreters.