咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
Fundamental Constructs in programming languages  10th
Fundamental Constructs in Programming Languages
收藏 引用
10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021
作者: Mosses, Peter D. Delft University of Technology Delft Netherlands Swansea University Swansea United Kingdom
When a new programming language appears, the syntax and intended behaviour of its programs need to be specified. the behaviour of each language construct can be concisely specified by translating it to fundamental con... 详细信息
来源: 评论
Refinable Record Structures in Formal Methods  10th
Refinable Record Structures in Formal Methods
收藏 引用
10th international Conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th international Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2021, symposium on Intelligent and Autonomous Systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st international Health Data Workshop, HEDA 2021
作者: Fathabadi, Asieh Salehi Snook, Colin Hoang, thai Son Dghaym, Dana Butler, Michael ECS University of Southampton Southampton United Kingdom
State-based formal specifications benefit from data structuring mechanisms, which collate associated properties and efficiently declare complex types. For example, ‘record’ data structures, similar to those used in ... 详细信息
来源: 评论
Data-Driven Publication of Relational databases
Data-Driven Publication of Relational Databases
收藏 引用
international symposium on database Engineering and Applications (IDEAS)
作者: Sonia Guehis Philippe Rigaux Emmanuel Waller LAMSADE UMR CNRS 7024 Université Paris-Dauphine France LRI UMR CNRS 8623 Université Paris-Sud Orsay France
the paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. the publication process relies on a mapping of the relational... 详细信息
来源: 评论
Advances in Model and Data Engineering in the Digitalization Era  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Ladjel Bellatreche George Chernishev Antonio Corral Samir Ouchani Jüri Vain
this book constitutes the thoroughly refereed papers of the workshops held at the 10th international Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop ... 详细信息
来源: 评论
ATLAS OF ATMOSPHERIC AND TRACE GAS-ABSORPTION FOR GAS-ANALYSES AND RADIATIVE-TRANSFER  10
ATLAS OF ATMOSPHERIC AND TRACE GAS-ABSORPTION FOR GAS-ANALYS...
收藏 引用
10th ALL-UNION SYMP AND SCHOOL ON HIGH-RESOLUTION MOLECULAR SPECTROSCOPY
作者: FIRSOV, KM KATAEV, MY MITSEL, AA Institute of Atmospheric Optics (Russia)
this paper describes developed computer code AIRA used to calculate the atmospheric transmittance with a low and medium spectral resolution in the visible and IR. three basic factors affecting the radiation attenuatio... 详细信息
来源: 评论
the Power of Tarski's Relation Algebra on Trees  10th
The Power of Tarski's Relation Algebra on Trees
收藏 引用
10th international symposium on Foundations of Information and Knowledge Systems (FoIKS)
作者: Hellings, Jelle Wu, Yuqing Gyssens, Marc Van Gucht, Dirk Hasselt Univ Martelarenlaan 42 B-3500 Hasselt Belgium Pomona Coll 185 E 6th St Claremont CA 91711 USA Indiana Univ 150 S Woodlawn Ave Bloomington IN 47405 USA
Fragments of Tarski's relation algebra form the basis of many versatile graph and tree query languages including the regular path queries, XPath, and SPARQL. Surprisingly, however, a systematic study of the relati... 详细信息
来源: 评论
Hardware-Near programming in the Common Language Infrastructure
Hardware-Near Programming in the Common Language Infrastruct...
收藏 引用
international symposium on Object-Oriented Real-Time Distributed Computing
作者: Stefan Richter Andreas Rasche Andreas Polze Hasso-Plattner-Institute University of Potsdam Potsdam Germany
Virtual machine-based programming languages, such as Java and C # have made the programming of desktop computer systems simpler, less error-prone and more efficient. Embedded systems development rarely benefits from... 详细信息
来源: 评论
Optimization rules for programming with collective operations
Optimization rules for programming with collective operation...
收藏 引用
international symposium on Parallel Processing
作者: S. Gorlatch C. Wedler C. Lengauer Fakultät für Mathematik und Informatik Universität Passau Passau Germany
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a formal framework for reasoning about col... 详细信息
来源: 评论
Undecidability Results for Finite Interactive Systems
Undecidability Results for Finite Interactive Systems
收藏 引用
international symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
作者: Alexandru Sofronia Alexandru Popa Gheorghe Stefanescu Department of Computer Science University of Bucharest Bucharest Romania Department of Computer Science University of Bristol Bristol UK Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA
this paper is on the foundations of a recent approach to the design of massively parallel and interactive programming languages using rv-systems (interactive systems with registers and voices) and Agapia programming. ... 详细信息
来源: 评论
Automatic generation and assessment of student assignments for parallel programming learning  10th
Automatic generation and assessment of student assignments f...
收藏 引用
10th international symposium on Parallel Architectures, Algorithms and programming, PAAP 2019
作者: Luo, Zhenxiao Wang, Zelong Wu, Di Hei, Xiaojun Du, Yunfei School of Data and Computer Science Sun Yat-sen University Guangzhou China Guangdong Key Laboratory of Big Data Analysis and Processing Guangzhou510006 China School of Electronic Information and Communications Huazhong University of Science and Technology Wuhan China National Supercomputer Center in Guangzhou Guangzhou China
the course of parallel programming is becoming more and more important for the education of students majoring in computer science. However, it is not easy to learn parallel programming well due to its high theory and ... 详细信息
来源: 评论