咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
FARM 2017 Performances  5
FARM 2017 Performances
收藏 引用
5th ACM SIGPLAN internationalWorkshop on functional Art, Music, Modeling, and Design (FARM)
作者: McLean, Alex Deutsch Museum Res Inst Munich Germany
A concert of performances in the FARM workshop tradition, taking place 9th September 2017 in the Old Fire Station, Oxford. the performers will all use functional programming and related techniques, to create live musi... 详细信息
来源: 评论
ISC - the technology for behaviors planning of the intelligent agent  9
ISC - the technology for behaviors planning of the intellige...
收藏 引用
9th Annual international conference of the Biologically-Inspired-Cognitive-Architectures-Society (BICA) held as part of the Joint Multi-conference on Human-Level Artificial Intelligence (HLAI)
作者: Snezhin, Anatoly Prostokishin, Valeriy Vaskan, Igor Natl Res Nucl Univ MEPhl 31 Kashirskoe Sh Moscow 115409 Russia
the paper describes a new programming technology-ISC, developed on the basis of the principles and approaches of the planning languages for the behavior of intelligent agents. At the same time, functions were refined ... 详细信息
来源: 评论
Slotted programming for Sensor Networks
Slotted Programming for Sensor Networks
收藏 引用
9th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN)
作者: Flury, Roland Wattenhofer, Roger Swiss Fed Inst Technol Comp Engn & Networks Lab Zurich Switzerland
We advocate a novel programming approach we call slotted programming that not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding through a truly modular design. the approach... 详细信息
来源: 评论
Learning Concurrency Concepts while Playing Games  9
Learning Concurrency Concepts while Playing Games
收藏 引用
9th international conference on Computer Supported Education (CSEDU)
作者: Inggs, Cornelia P. Gadd, Taun Giffard, Justin Stellenbosch Univ Dept Math Sci Comp Sci Private Bag X1 ZA-7602 Matieland South Africa
We think that people will find it easier to learn concurrency concepts if they can play a game that challenges the player to solve puzzles using the same techniques required by a programmer to develop concurrent progr... 详细信息
来源: 评论
A Performance Study to Guide RDMA programming Decisions
A Performance Study to Guide RDMA Programming Decisions
收藏 引用
14th IEEE international conference on High Performance Computing and Communications (HPCC) / IEEE 9th international conference on Embedded Software and Systems (ICESS)
作者: MacArthur, Patrick Russell, Robert D. Univ New Hampshire Dept Comp Sci Durham NH 03824 USA
this paper describes a performance study of Remote Direct Memory Access (RDMA) programming techniques. Its goal is to use these results as a guide for making "best practice" RDMA programming decisions. Infin... 详细信息
来源: 评论
Empirical Evaluation of Test Coverage for functional Programs  9
Empirical Evaluation of Test Coverage for Functional Program...
收藏 引用
9th IEEE international conference on Software Testing, Verification and Validation (ICST)
作者: Cheng, Yufeng Wang, Meng Xiong, Yingfei Hao, Dan Zhang, Lu Peking Univ MoE Key Lab High Confidence Software Technol Beijing Peoples R China Peking Univ Sch EECS Inst Software Beijing Peoples R China Univ Kent Sch Comp Canterbury CT2 7NZ Kent England
the correlation between test coverage and test effectiveness is important to justify the use of coverage in practice. Existing results on imperative programs mostly show that test coverage predicates effectiveness. Ho... 详细信息
来源: 评论
Emergent behaviour real-time programming of a six-legged omni-directional mobile robot: Strategy of Viennese waltz behaviour
Emergent behaviour real-time programming of a six-legged omn...
收藏 引用
9th international conference on Control, Automation, Robotics and Vision
作者: Nickols, Frank Dhofar Univ Dept Engn Mech Salalah Oman
this paper is concerned with developing a computer programming strategy for Viennese waltz behaviour for the robot pictured in figure 1. Such behaviour means combined translation and rotation. A sun and planet wheel m... 详细信息
来源: 评论
Blending Android programming Learning Assistance System into Online Android programming Course  9
Blending Android Programming Learning Assistance System into...
收藏 引用
9th international conference on Information and Education Technology (ICIET)
作者: Syaifudin, Yan Watequlis Rohani, Siti Funabiki, Nobuo Saputra, Pramana Yoga State Polytech Malang Dept Informat Tech Malang Indonesia State Polytech Malang Dept Language Malang Indonesia Okayama Univ Dept Elec & Comm Engn Okayama Japan
Effective learning method is essential for the attainment of the learning objectives. In pandemic situation when courses are conducted online, creativity and innovation in designing learning methods become more impera... 详细信息
来源: 评论
JEqualityGen: Generating Equality and Hashing Methods  10
JEqualityGen: Generating Equality and Hashing Methods
收藏 引用
9th international conference on Generative programming and Component Engineering
作者: Grech, Neville Rathke, Julian Fischer, Bernd Univ Southampton ECS Southampton SO9 5NH Hants England
Manually implementing equals (for object comparisons) and hashCode (for object hashing) methods in large software projects is tedious and error-prone. this is due to many special cases, such as field shadowing, compar... 详细信息
来源: 评论
A Wire Antenna for Broadband WLAN and Wi-Fi Applications
A Wire Antenna for Broadband WLAN and Wi-Fi Applications
收藏 引用
9th international Wireless Communications and Mobile Computing conference (IWCMC)
作者: Fanti, Alessandro Maxia, Paolo Musu, Claudia Univ Cagliari Dipartimento Ingn Elettr & Elettron Cagliari Italy
this paper presents a wire antenna for multi-band WLAN application, designed using the Structure-Based Evolutionary programming, and having a very simple geometry. the antenna has been analysed with NEC-2 during the e... 详细信息
来源: 评论