咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

  • 3,198 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是211-220 订阅
排序:
AI vs. Dinosaurs – Automated Re-implementation of Legacy Mainframe Applications in Java by Combining Program Synthesis and GPT  1
收藏 引用
9th international conference on Mobile, Secure, and Programmable Networking, MSPN 2023
作者: Fischer-Heselhaus, Simon Brune, Philipp SQ Solutions GmbH Platz der Einheit 2 Frankfurt am Main60327 Germany Neu-Ulm University of Applied Sciences Wileystraße 1 Neu-Ulm89231 Germany
Large-scale mainframe applications written in outdated languages such as COBOL still form the core of the enterprise IT in many organizations, even though their flexibility and maintainability declines continuously. T... 详细信息
来源: 评论
Agile and Autonomous Production Control for Remanufacturing  9
Agile and Autonomous Production Control for Remanufacturing
收藏 引用
9th international conference on Control, Mechatronics and Automation (ICCMA)
作者: Gros, Sebastian Gerke, Wolfgang Plapper, Peter Vette-Steinkamp, Matthias Trier Univ Appl Sci Sustainable Prod Proc & Ind Robot Environm Campus Birkenfeld Birkenfeld Germany Univ Luxembourg Dept Engn Luxembourg Luxembourg
Motivated by high ecological and economical potentials, remanufacturing is receiving increasing attention as a process that puts used products into an "as-good-as-new-or-better" condition. Here, many challen... 详细信息
来源: 评论
Comprehensive Investigation of Code Assessment Tools in programming Courses
Comprehensive Investigation of Code Assessment Tools in Prog...
收藏 引用
international conference for Convergence of Technology (I2CT)
作者: Sanjay Rajesh Vineeth V Rao MG thushara Department of Computer Science and Applications Amrita School of Computing Amrita Vishwa Vidyapeetham Amritapuri India
programming assignments are crucial in programming courses designed to improve students’ practical programming skills. Assessment of these assignments are vital for instructors to evaluate student progress and provid... 详细信息
来源: 评论
Analyzing the Financial Performance of Transportation Companies with Goal programming Model  1
收藏 引用
9th international conference on Computational Science and Technology, ICCST 2022
作者: Lam, Weng Hoe Lee, Pei Fun Lam, Weng Siew Bakar, Mohd Abidin bin Department of Physical and Mathematical Science Faculty of Science Universiti Tunku Abdul Rahman Kampar Campus Jalan Universiti Bandar Barat Perak Kampar31900 Malaysia
Asset and liability management (ALM) is an important aspect of financial management in all industries. With integrated highways and roadways, land-based transportation has become one of the main modes of moving cargoe... 详细信息
来源: 评论
Design and Implementation of CNC programming Technology Based on Process Fusion
Design and Implementation of CNC Programming Technology Base...
收藏 引用
international conference on Computer and Communications (ICCC)
作者: Pin Wang Sen Wang Zhao Liu Ruoyu Zhang Jingru Wang Hao Li Shenyang Institute of Computing Technology Chinese Academy of Sciences University of Chinese Academy of Sciences Shenyang China Chinese Academy of Sciences Shenyang Institute of Computing Technology Shenyang China School of Computer Science and Technology Ocean University of China QingDao China
Aiming at the problems of machining redundancy and rough process intersection caused by the existing single-process machining CNC programming method, a CNC programming technology based on process fusion is proposed af...
来源: 评论
ADF- BDD: An ADF Solver Based on Binary Decision Diagrams  9
ADF- BDD: An ADF Solver Based on Binary Decision Diagrams
收藏 引用
9th international conference on Computational Models of Argument (COMMA)
作者: Ellmauthaler, Stefan Gaggl, Sarah A. Rusovac, Dominik Wallner, Johannes P. Tech Univ Dresden Cfaed Knowledge Based Syst Grp Dresden Germany Tech Univ Dresden Log Programming & Argumentat Grp Dresden Germany Graz Univ Technol Inst Software Technol Graz Austria
来源: 评论
Enhance Engineering Pedagogy in programming Course via Knowledge Graph-Based Recommender System
Enhance Engineering Pedagogy in Programming Course via Knowl...
收藏 引用
international conference on Computer and Communications (ICCC)
作者: Yan Li Zuyang Ma The Library University of Nottingham Ningbo China Ningbo China Faculty of Science and Engineering Zhejiang University Hangzhou China
Purpose: there is a lack of suitable recommendation systems to assist engineering teaching. the existing traditional engineering pedagogies lack learning interests for postgraduate students. the knowledge graph-based ...
来源: 评论
Evaluation of the Nutritional Quality of Some Fruits Grown in Romania  20th
Evaluation of the Nutritional Quality of Some Fruits Grown i...
收藏 引用
20th international conference on Global Research and Education, INTER-ACADEMIA 2023
作者: Scutarașu, Elena Cristina Luchian, Camelia Elena Cioroiu, Bogdan Ionel Niculaua, Marius Vlase, Ana Maria Cotea, Valeriu Vlase, Laurian Ion Ionescu de la Brad Iasi University of Life Sciences 3rd M. Sadoveanu Alley Iași700490 Romania Research Center of Oenology Romanian Academy Iași Branch 9th M. Sadoveanu Alley Iași700505 Romania Faculty of Pharmacy Iuliu Hațieganu University of Medicine and Pharmacy 8th Victor Babes Street Cluj-Napoca400012 Romania
Many species of fruit are grown in Romania but their production is limited to a certain period of the year. However, there is still no habit of the population to consume fresh fruit, but a growing tendency of consumer... 详细信息
来源: 评论
Application Research of Audio Signal in Underwater Target Feature Extraction
Application Research of Audio Signal in Underwater Target Fe...
收藏 引用
6th international conference on Intelligent Computing and Signal Processing (ICSP)
作者: Ting Xue Jinwang Luo Zhi Li Leilei Deng Kunming Shipbuilding Equipment Research and Test Center Kunming China
In response to the application requirements of feature extraction for underwater targets, this article conducts research on acoustic feature extraction methods for WAV audio signals, in order to analyze and process th... 详细信息
来源: 评论
Software Model for Robot programming and Example of Implementation for Navigation System
Software Model for Robot Programming and Example of Implemen...
收藏 引用
international conference on Autonomous Robots and Agents, ICARA
作者: Samira Chaychi Denis Zampunieris Sandro Reis Department of Computer Science University of Luxembourg Esch-sur-Alzette Luxembourg
In this paper, we are going to consider a current challenge in a robotic software system. We consider a problem, which is the lack of separation of concerns in robotic systems, and propose a software model to address ... 详细信息
来源: 评论