咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 19 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 716 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是731-740 订阅
排序:
Text, Speech and Dialogue  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Petr Sojka Ivan Kopeček Karel Pala
The workshop series on Text, Speech and Dialogue originated in 1998 with the ?rst TSD1998 held in Brno, Czech Republic. This year’s TSD2000, already the third in the series, returns to Brno and to its organizers from... 详细信息
来源: 评论
COMPUTERS - A BLESSING OR A CURSE
收藏 引用
NAVAL ENGINEERS JOURNAL 1970年 第3期82卷 48-&页
作者: CHRISTOP.CA THE AUTHOR is Vice President of Technology and Manufacturing for Sperry Rand Corporation's Univac Federal Systems Division St. Paul Minnesota. He holds a B. S. degree in Management Engineering from Rensselaer Polytechnic Institute. Mr. Christopher joined Univac in St. Paul in 1956 later moving to Division headquarters in suburban Philadelphia as Director of Operational Services and Planning. He became Director of Procurement and Administrative Services. Before returning to the Federal Systems Division in his present capacity he was general manager of the Univac Division operations in Utica-Ilion New York. In his present position Mr. Christopher is responsible for engineering and programming factory operations (manufacturing) procurement advanced development program management and the Federal Systems Division's Salt Lake City Utah operations. In 1969 he was cited as Greater Utica's “Industrial Man of the Year.” Mr. Christopher is a member of the Society for the Advancement of Management and the Electronics Industries Association.
The benefits of data system computers to the Navy to date are developed to highlight the blessings. Both achievements and future requirements are discussed. The problems attendant on achievement of potential advantage...
来源: 评论
CHARACTER LOSS IN CERTAIN CLASSES OF COMPUTERS
收藏 引用
IEEE TRANSACTIONS ON COMMUNICATION TECHNOLOGY 1965年 第4期CO13卷 425-+页
作者: WEINGARTEN, A Real Time Systems Programming Division ITT Paramus NJ USA
Character loss in a conceptual computer at its input terminals is analyzed. This is first done within the classical framework in which a system must be designed to allow no loss whatsoever. The problem is then treated... 详细信息
来源: 评论
Foundations of Intelligent systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful... 详细信息
来源: 评论
Recent Developments in Fuzzy Logic and Fuzzy Sets  1
收藏 引用
丛书名: Studies in Fuzziness and Soft Computing
1000年
作者: Shahnaz N. Shahbazova Michio Sugeno Janusz Kacprzyk
来源: 评论
Pattern Recognition - Applications and Methods  1
收藏 引用
丛书名: Advances in Intelligent systems and Computing
1000年
作者: Pedro Latorre Carmona J. Salvador Sánchez Ana L.N. Fred
来源: 评论
Constraint Solving and Language Processing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Henning Christiansen Peter Rossen Skadhauge Jørgen Villadsen
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denma... 详细信息
来源: 评论
A Language for the Aid of Financial Fact Finders
收藏 引用
Financial Analysts Journal 1967年 第1期23卷 121-129页
作者: Richard S. Bower Christopher E. Nugent J. Peter Williamson Barbara C. Myers Associate Professor of Business Economics Amos Tuck School of Business Administration Dartmouth College. Assistant Professor Business Administration Amos Tuck School of Business Administration Dartmouth College. Professor of Business Administration Amos Tuck School of Business Administration Dartmouth College. Senior Consultant Amos Flick School on Systems Programming and Computer Applications
The Time-Sharing Computer System at Dartmouth College enables users to retrieve and manipulate financial information by means of the LAFFF1 language. The first language actually in operation, it permits security analy... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification, and Validation  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O... 详细信息
来源: 评论
Automated Analog programming In Hybrid systems: A Method of Making the Analog Computer Accessible to All Engineers
收藏 引用
Naval Engineers Journal 1966年 第5期78卷 895-899页
作者: HANNA, ENSIGN JOHN H. MILLAN, ENSIGN HAROLD E. The Authors are 1966 graduates of the United States Coast Guard Academy. For the past year they have been engaged in the Academy Scholars Program which allows selected First Class Cadets at the Academy to devote the greater percentage of their academic hours to advanced study. Their investigation was entitled “Project AMTRAP” Automated Methods for Translating and Patching in Hybrid Systems. It concerned itself with the development of automatic methods for programming analog computers and the design and construction of a simple hybrid system for test purposes. Their work in the project forms the basis for this paper. They are currently assigned as student engineers on Coast Guard Cutters Ensign Hanna on the CASTLE ROCK in Boston Massachusetts and Ensign Millan on the MENDOTA based in Wilmington North Carolina. Both are members of the Institute of Electrical and Electronics Engineers.
来源: 评论