咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 17 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 36 篇 工学
    • 31 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 6 篇 信息与通信工程
    • 3 篇 安全科学与工程
    • 2 篇 机械工程
    • 2 篇 电气工程
    • 2 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 轻工技术与工程
    • 1 篇 船舶与海洋工程
    • 1 篇 生物工程
  • 18 篇 理学
    • 11 篇 数学
    • 7 篇 系统科学
    • 2 篇 物理学
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 7 篇 管理学
    • 4 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 5 篇 software enginee...
  • 4 篇 computer science
  • 3 篇 artificial intel...
  • 3 篇 unified modeling...
  • 3 篇 formal specifica...
  • 2 篇 compilers
  • 2 篇 access control
  • 2 篇 object oriented ...
  • 2 篇 application soft...
  • 2 篇 java
  • 2 篇 computer languag...
  • 2 篇 constraint satis...
  • 2 篇 students
  • 2 篇 cryptographic pr...
  • 2 篇 applicative (log...
  • 1 篇 many valued logi...
  • 1 篇 adaptive systems
  • 1 篇 reliability
  • 1 篇 exceptions
  • 1 篇 planets

机构

  • 3 篇 institute of sof...
  • 3 篇 institute for so...
  • 2 篇 department of co...
  • 2 篇 programming lang...
  • 2 篇 department of co...
  • 2 篇 university of ok...
  • 2 篇 department of co...
  • 1 篇 institute of art...
  • 1 篇 university of he...
  • 1 篇 complex cyber in...
  • 1 篇 university of he...
  • 1 篇 school of comput...
  • 1 篇 heinz nixdorf in...
  • 1 篇 department of so...
  • 1 篇 department of co...
  • 1 篇 center for digit...
  • 1 篇 dept. of signal ...
  • 1 篇 institute of sof...
  • 1 篇 programming lang...
  • 1 篇 department of co...

作者

  • 4 篇 choe km
  • 4 篇 raschke alexande...
  • 3 篇 scholz sven-bodo
  • 3 篇 zsók viktória
  • 3 篇 chris mcdonald
  • 3 篇 grelck clemens
  • 3 篇 tichy matthias
  • 3 篇 felderer michael
  • 2 篇 mertin gunda
  • 2 篇 page rex
  • 2 篇 horváth zoltán
  • 2 篇 hofstedt petra
  • 2 篇 pekaric irdin
  • 2 篇 liu ke
  • 2 篇 reif wolfgang
  • 2 篇 kamran kazemi
  • 2 篇 nina moebius
  • 2 篇 läufer konstanti...
  • 2 篇 wolfgang reif
  • 2 篇 ghica dan

语言

  • 52 篇 英文
  • 3 篇 其他
检索条件"机构=Department of Computer Science and Programming Languages"
55 条 记 录,以下是51-60 订阅
排序:
Engineering self-coordinating software intensive systems
Engineering self-coordinating software intensive systems
收藏 引用
FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010
作者: Schäfer, Wilhelm Birattari, Mauro Blömer, Johannes Dorigo, Marco Engels, Gregor O'Grady, Rehan Platzner, Marco Rammig, Franz Reif, Wolfgang Trächtler, Ansgar Heinz Nixdorf Institute University of Paderborn Fürstenallee 11 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Pohlweg 98 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Paderborn Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Department of Control Engineering and Mechatronics University of Paderborn Pohlweg 98 Paderborn Germany IRIDIA CoDE Université Libre de Bruxelles Ave. F. Roosevelt 50 1050 Brussels Belgium Department of Software Engineering and Programming Languages University of Augsburg Universitätsstr. 6a Augsburg Germany
It my great pleasure and honor to welcome you to FoSER 2010: The FSE/SDP Workshop on the Future of Software Engineering Research. This workshop was organized in collaboration with and made possible by generous support... 详细信息
来源: 评论
Yet another efficient backward execution algorithm in the AND/OR process model
收藏 引用
Information Processing Letters 1992年 第3期43卷 165-165页
作者: Do-Hyung Kim Kwang-Moo Choe Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Gu Taejon 305-701 South Korea
来源: 评论
SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education Teacher Training November 1–5, Nijmegen, The Netherlands Revised lecture notes
arXiv
收藏 引用
arXiv 2022年
作者: Koopman, Pieter Lubbers, Mart Fernandes, João Paulo Korečko, Štefan Paquete, Luís Porkoláb, Zoltán Szalay, Richárd Mauša, Goran Oprescu, Ana Koedijk, Lukas van Oostveen, Sander Kok, Stephan Li, Jianhao Zsók, Viktória Grbac, Tihana Galinac Grbac, Neven Valkanov, Vladimir Petrov, Mihail Radboud University Nijmegen Netherlands University of Porto Portugal Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Slovakia CISUC Department of Informatics Engineering University of Coimbra Portugal Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Lorád University Budapest Hungary University of Rijeka Faculty of Engineering Vukovarska 58 Rijeka51000 Croatia Complex Cyber Infrastructure University of Amsterdam Netherlands KPMG Software Engineering Master University of Amsterdam Netherlands Informatics Institute University of Amsterdam Netherlands Juraj Dobrila Univeristy of Pula Zagrebačka 30 PulaHR-52100 Croatia University Of Plovdiv "Paisii Hilendarski" Faculty of Mathematics and Informatics 24 Bulgaria Blvd. Plovdiv4027 Bulgaria
These are the proceedings of the first teacher training of the Erasmus+ project No. 2020-1-PT01-KA203-078646 -- Sustrainable. The full title of this project is Promoting Sustainability as a Fundamental Driver in Softw... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2011年 6546 LNCS卷
作者: Page, Rex Horváth, Zoltán Zsók, Viktória University of Oklahoma School of Computer Science 110 West Boyd Street NormanOK73019 United States Eötvös Loránd University Faculty of Informatics Department of Programming Languages and Compilers Pázmány Péter sétány 1/C Budpest1117 Hungary
来源: 评论
CLEER - AN AI-SYSTEM DEVELOPED TO ASSIST EQUIPMENT ARRANGEMENTS ON WARSHIPS
收藏 引用
NAVAL ENGINEERS JOURNAL 1989年 第3期101卷 127-137页
作者: ZHOU, HH SILVERMAN, BG SIMKOL, J Dr. H. Harry Zhou:is a research professor at the Institute for Artificial Intelligence of The George Washington University. Dr. Zhou received his master's degree and Ph.D. in computer science from Vanderbilt University in 1984 and 1987 respectively. He did his dissertation in the fields of artificial intelligence analogical reasoning and machine learning. His research interests include: classifier systems genetic algorithms learning by analogy inductive learning adaptive expert systems automated knowledge acquisition and adaption. He is also interested in data base design programming languages mental modeling and software engineering. Dr. Barry G. Silverman:is director of the Institute for Artificial Intelligence and a professor at the Engineering Administration Department of The George Washington University. He is also president of IntelliTek Inc. an AI consulting firm. Dr. Silverman received the B.S.E. M.S.E. and Ph.D. degrees from the University of Pennsylvania. He has been a principal developer of four generic AI products as well as eight AI applications. Since 1979 he has written over 100 papers and reports on these AI efforts. Joel Simkol:is a research scientist currently engaged in designing expert system architectures to support electronic warfare vulnerability analyses threat assessments shipboard topside antenna arrangements and C3countermeasures employment. Mr. Simkol's work in applying expert systems technology to electromagnetic interference and to spectrum management has generated increased interest and participation from all branches of government agencies.
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use i... 详细信息
来源: 评论