咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 15 册 图书
  • 5 篇 期刊文献

馆藏范围

  • 186 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 software enginee...
  • 9 篇 artificial intel...
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 7 篇 programming lang...
  • 6 篇 computer science
  • 6 篇 software enginee...
  • 6 篇 mathematical log...
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 6 篇 logics and meani...

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 tallinn universi...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 department of co...
  • 1 篇 the pennsylvania...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 183 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
186 条 记 录,以下是151-160 订阅
排序:
Small and medium enterprises supporting system based on integration of CMS and CRM solutions using .NET framework
Small and medium enterprises supporting system based on inte...
收藏 引用
international Conference on CAD Systems in Microelectronics (CADSM)
作者: Lukasz Kujawiak Bartosz Sakowicz Jakub Chlapinski Piotr Mazur Department of Microelectronics and Computer Science Technical University of Lodz Poland
the article is an overview of a web system that was designed to support small and medium enterprises that wish to improve their online image and client interaction with a set of web tools. the system is based on the t... 详细信息
来源: 评论
Dancing with the Unexpected and Beyond: the Use of AI Assistance in Design Fiction Creation  10
Dancing with the Unexpected and Beyond: The Use of AI Assist...
收藏 引用
10th international symposium of Chinese CHI, Chinese CHI 2022
作者: Wu, Yiying Yu, Yunye An, Pengcheng School of Design The Hong Kong Polytechnic University Hong Kong Hong Kong School of Foreign Languages Southeast University Nanjing China Southern University of Science and Technology Shenzhen China
the creation process of design fiction is going participatory and inclusive with non-experts. Recognizing the potential of artificial intelligence in creativity support, we explore the use of AI assistance in creating... 详细信息
来源: 评论
A virtual laboratory for tubular photobioreactors for outdoor microalgae culture
A virtual laboratory for tubular photobioreactors for outdoo...
收藏 引用
10th IFAC symposium on Advances in Control Education, ACE 2013
作者: Sánchez, J. Dormido, R. Duro, N. Fernández, I. Dormido, S. Department of Computer Sciences and Automatic Control UNED 28040 Madrid Spain Department of Languages and Computation University of Almería 04120 Almería Spain
this paper describes an interactive virtual laboratory for experimenting on an outdoor tubular photobioreactor. the virtual lab lets users simulate and study in a practical way the evolution of an outdoor culture of t... 详细信息
来源: 评论
X3D-UML: Enabling advanced UML visualisation through X3D  05
X3D-UML: Enabling advanced UML visualisation through X3D
收藏 引用
10th international Conference on 3D Web Technology
作者: McIntosh, Paul Hamilton, Margaret Van Schyndel, Ron School of Computer Science and Information Technology RMIT University GPO Box 2476V Melbourne Vic. 3000 Australia
the Unified Modelling Language (UML) has become a commercially accepted standard for visualising software systems. Much of this success can be attributed to the computer aided software engineering (CASE) tools, which ... 详细信息
来源: 评论
Meta-programming and Multi-stage programming for GPGPUs
Meta-programming and Multi-stage Programming for GPGPUs
收藏 引用
IEEE international symposium on Embedded Multicore Socs (MCSoC)
作者: Ian Masliah Marc Baboulin Joel Falcou University Paris Sud Orsay France
GPGPUs and other accelerators are becoming a mainstream asset for high-performance computing. Raising the programmability of such hardware is essential to enable users to discover, master and subsequently use accelera... 详细信息
来源: 评论
A Unit-Test Framework for database Applications
A Unit-Test Framework for Database Applications
收藏 引用
international symposium on database Engineering and Applications (IDEAS)
作者: Claus A. Christensen Steen Gundersborg Kristian de Linde Kristian Torp KMD A/S Denmark KMD A/S Spar Nord Bank A/S Denmark Aalborg University Denmark
the outcome of a test of an application that stores data in a database naturally depends on the state of the database. It is therefore important that test developers are able to set up and tear down database states in... 详细信息
来源: 评论
On completeness of multi-dimensional first-order temporal logics
On completeness of multi-dimensional first-order temporal lo...
收藏 引用
international Workshop on Temporal Representation and Reasoning (TIME)
作者: D. Toman Department of Computer Science University of Waterloo Waterloo ONT Canada
In this paper, we show that first-order temporal logics form a proper expressiveness hierarchy with respect to dimensionality and quantifier depth of temporal connectives. this result resolves (negatively) the open qu... 详细信息
来源: 评论
Towards Integrated Query Processing for Object-Relational and XML Data Sources
Towards Integrated Query Processing for Object-Relational an...
收藏 引用
international symposium on database Engineering and Applications (IDEAS)
作者: Iryna Kozlova Norbert Ritter Olga Reimer University of Hamburg Germany Hamburg University of Technology Germany
the recently increased amount of information stored in XML format has lead to the development and wide deployment of so-called native XML database management systems (XML DBMS). In parallel, (object-)relational DBMS r... 详细信息
来源: 评论
A comprehensive-based database language and its distributed execution
A comprehensive-based database language and its distributed ...
收藏 引用
international Conference on Distributed Computing Systems
作者: K. Kato T. Masuda Y. Kiyoki Department of Information Science Faculty of Science University of Tokyo Bunkyo Tokyo Japan Institute of Information Sciences and Electronics University of Tsukuba Tsukuba Ibaraki Japan
the authors describe a way of noticeably reducing the description cost of database operations executed in distributed computing environments through the design of a declarative language to describe database operations... 详细信息
来源: 评论
Computer adaptive tests: A comparative study
Computer adaptive tests: A comparative study
收藏 引用
international symposium on Intelligent Systems and Informatics (SISY)
作者: Sanja Maravić Čisar Dragica Radosav Robert Pinter Petar Čisar Department of Informatics Subotica Technology Subotica Serbia Department of Informatics Technical Faculty Mihajlo Pupin Zrenjanin Serbia Academy of Criminalistic and Police Studies Belgrade Serbia
Computer based tests are becoming increasingly important and are thus implemented in all fields of education. the clear advantage of computer adaptive testing is witnessed by the maximal balance of accuracy and effici... 详细信息
来源: 评论