检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,466 篇 会议
135 篇 期刊文献
11 册 图书
1 篇 学位论文

馆藏范围

1,613 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,207 篇 工学
- 1,062 篇 软件工程
- 1,055 篇 计算机科学与技术...
- 177 篇 控制科学与工程
- 38 篇 电气工程
- 37 篇 信息与通信工程
- 16 篇 建筑学
- 13 篇 土木工程
- 13 篇 生物工程
- 12 篇 机械工程
- 12 篇 光学工程
- 8 篇 电子科学与技术（可...
- 7 篇 材料科学与工程（可...
- 6 篇 化学工程与技术
- 5 篇 冶金工程
- 5 篇 航空宇航科学与技...
- 4 篇 交通运输工程
- 4 篇 环境科学与工程（可...
- 3 篇 安全科学与工程
164 篇 理学
- 121 篇 数学
- 20 篇 系统科学
- 16 篇 生物学
- 7 篇 化学
- 7 篇 统计学（可授理学、...
- 6 篇 物理学
150 篇 管理学
- 89 篇 图书情报与档案管...
- 73 篇 管理科学与工程(可...
- 28 篇 工商管理
18 篇 教育学
- 17 篇 教育学
11 篇 法学
- 10 篇 社会学
4 篇 经济学
- 4 篇 应用经济学
2 篇 医学
1 篇 农学
1 篇 军事学

主题

619 篇 object oriented ...
95 篇 object oriented ...
91 篇 computer languag...
82 篇 java
77 篇 application soft...
39 篇 software enginee...
37 篇 languages
35 篇 computer science
28 篇 performance
27 篇 software systems
27 篇 programming prof...
27 篇 programming
26 篇 computer archite...
22 篇 object-oriented ...
21 篇 design
20 篇 object oriented ...
20 篇 database systems
19 篇 computer program...
16 篇 object-oriented ...
16 篇 logic programmin...

机构

7 篇 carnegie mellon ...
7 篇 swiss fed inst t...
6 篇 univ texas austi...
5 篇 ibm
5 篇 ibm t.j. watson ...
5 篇 university of il...
5 篇 purdue universit...
4 篇 university of te...
4 篇 ecole polytech f...
4 篇 univ of washingt...
4 篇 software composi...
4 篇 univ waterloo wa...
4 篇 victoria univers...
4 篇 ibm corp thomas ...
4 篇 at and t united ...
3 篇 ibm united state...
3 篇 school of comput...
3 篇 cwi
3 篇 university of il...
3 篇 oregon graduate ...

作者

10 篇 aldrich jonathan
9 篇 de champeaux den...
9 篇 biddle robert
9 篇 noble james
9 篇 johnson ralph
8 篇 yonezawa akinori
8 篇 cook william r.
8 篇 coad peter
7 篇 abi-antoun marwa...
6 篇 baniassad elisa
6 篇 helm richard
6 篇 jacobson ivar
6 篇 ungar david
6 篇 cook william
6 篇 beck kent
5 篇 mckinley kathryn...
5 篇 wirfs-brock rebe...
5 篇 sweeney peter f.
5 篇 palsberg jens
5 篇 grothoff christi...

语言

1,541 篇 英文
71 篇 其他
1 篇 中文

检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1986"

共 1613 条记录，以下是1601-1610 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

CommonLoops: merging Lisp and object-oriented programming 86

CommonLoops: merging Lisp and object-oriented programming

引用

conference proceedings on object-oriented programming systems, languages and applications

作者： Daniel G. Bobrow Kenneth Kahn Gregor Kiczales Larry Masinter Mark Stefik Frank Zdybel Xerox PARC

ISBN: (纸本)9780897912044

CommonLoops blends object-oriented programming smoothly and tightly with the procedure-oriented design of Lisp. Functions and methods are combined in a more general abstraction. Message passing is invoked via normal Lisp function call. Methods are viewed as partial descriptions of procedures. Lisp data types are integrated with object classes. With these integrations, it is easy to incrementally move a program between the procedure and object-oriented *** of the most important properties of CommonLoops is its extensive use of meta-objects. We discuss three kinds of meta-objects: objects for classes, objects for methods, and objects for discriminators. We argue that these meta-objects make practical both efficient implementation and experimentation with new ideas for object-oriented ***' small kernel is powerful enough to implement the major object-oriented systems in use today.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Building a timeline editor from prefab parts: the architecture of an object-oriented application 86

Building a timeline editor from prefab parts: the architectu...

引用

conference proceedings on object-oriented programming systems, languages and applications

作者： L. Nancy Garrett Karen E. Smith Brown Univ.

ISBN: (纸本)9780897912044

This article describes InterVal, a software tool that allows authors to create dynamic timelines. It is one tool in Intermedia, a framework developed at Brown University's institute for Research in Information and Scholarship (IRIS) that allows professors and students to create linked multimedia documents and encourages exploration, connectivity, and visualization of ideas. The system was written using an object-oriented extension to C, MacApp, and a set of underlying building blocks, or functional groups of objects. This paper describes InterVal and discusses the architecture of the InterVal application, focusing on the design of the object-oriented architecture and on the use of appropriate building blocks. Concluding sections evaluate object-oriented programming and outline future work.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MONJU: CONSTRAINT-KEEPING object-oriented LANGUAGE.

MONJU: CONSTRAINT-KEEPING OBJECT-ORIENTED LANGUAGE.

引用

Proceedings - IEEE Computer Society's Eighth International Computer Software & applications conference, COMPSAC 84.

作者： Nakajima, Shin Ohmori, Kenji Horita, Hiroshi NEC C&C Systems Research Lab Kawasaki Jpn NEC C&C Systems Research Lab Kawasaki Jpn

ISBN: (纸本)0818605502

Monju is a new programming language based on the object-oriented paradigm. A class describes the implementation of objects that all represent the same kind of entities. Instances are the entities that described by a class. Their actions in regard to a message must take into account the environment of the receiver instance. The receiver instance and its surrounding instances must act in a coordinated manner. However, the attributes described by a class are not sufficient for use in such circumstances. Monju offers a new concept, 'constraint object. ' It is associated with an instance hierarchy, and controls the instances to act in coordination.

关键词： COMPUTER programming languages

来源：评论

学校读者我要写书评

暂无评论

ECOOP 2004 – object-oriented programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Martin Odersky

ISBN: (数字)9783540248514

ISBN: (纸本)9783540221593

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14–18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software development. object-oriented technology has come of age; it is now the commonly established method for most software projects. However, an - panding ?eld of applications and new technological challenges provide a strong demand for research in foundations, design and programming methods, as well as implementation techniques. There is also an increasing interest in the in- gration of object-orientation with other software development techniques. We anticipate therefore that object-oriented programming will be a fruitful subject of research for many years to come. Thisyear,theprogramcommitteereceived132submissions,ofwhich25were *** ***,signi?cance,clarity, originality, and correctness. The topics covered include: programming concepts, program analysis, software engineering, aspects and components, middleware, veri?cation, systems and implementation techniques. These were complemented by two invited talks, from Matthias Felleisen and Tom Henzinger. Their titles andabstracts are also included in these proceedings.

关键词： programming Techniques Software Engineering programming languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks Computers and Society

来源：评论

学校读者我要写书评

暂无评论

Formal Methods for Open object-Based Distributed systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540688631

ISBN: (纸本)9783540688624

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International conference on Formal Methods for Open object-Based Distributed systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

关键词： Computer Communication Networks Software Engineering/programming and Operating systems programming languages, Compilers, Interpreters programming Techniques Software Engineering Operating systems

来源：评论

学校读者我要写书评

暂无评论

Rules and Rule Markup languages for the Semantic Web 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Michael Schröder Gerd Wagner

ISBN: (数字)9783540397151

ISBN: (纸本)9783540203612

RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web conference (ISWC). The aim of the RuleML workshop series is to stimulate research on all issues related to web rule languages and to provide an annual forum for presenting and discussing new research results. The Semantic Web is a major world-wide endeavor to advance the Web by enriching its multimedia document content with propositional information that can be processed by inference-enabled Web applications. Rules and rule markup languages, such as RuleML, will play an important role in the success of the Semantic Web. Rules will act as a means to draw inferences, to express constraints,tospecifypoliciesforreactingtoevents,totransformdata,*** markup languages will allow us to enrich Web ontologies by adding de?nitions of derived concepts, to publish rules on the Web, to exchange rules between di?erent systems and tools, etc. RuleML 2003 built on the success of RuleML 2002, which was held in c- junction with ISWC 2002, Sardinia, Italy. The proceedings of RuleML 2002 can be found at http://***/Vol-60/. Special highlights of the RuleML 2003 workshop were the two invited pres- tationsgivenbyPeterChenon“Rules,XML,andtheERModel”andbyHarold Boley on “object-oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms”. This proceedings volume also contains an invited - per by Francois ¸ Bry and Sebastian Scha?ert on “An Entailment Relation for Reasoning on the Web”.

关键词： programming Techniques Information systems applications (incl. Internet) Computer Communication Networks Logics and Meanings of Programs Information Storage and Retrieval Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

objects and Databases 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Alan Dearle Roberto V. Zicari

ISBN: (数字)9783642160929

ISBN: (纸本)9783642160912

AccordingtoFrancoisBancillonandWonKim[SIGMODRECORD,Vol.19,No. 4, December 1990], object-oriented databases started in around 1983. Twen- seven years later this publication contains the proceedings of the Third Inter- tional conference on object-oriented Databases (ICOODB 2010). Two questions arise from this – why only the third, and what is of interest in the ?eld of object-oriented databases in 2010? The ?rst question is easy – in the 1980s and 1990s there were a number of conferences supporting the c- munity – the International Workshops on Persistent object systems started by Malcolm Atkinson and Ron Morrison, the EDBT series, and the International Workshop on Database programming languages. These database-oriented c- ferences complimented other OO conferences including oopsla and ECOOP, but towards the end of the last century they dwindled in popularity and ev- tually died out. In 2008 the First International conference on object Databases was held in Berlin. In 2009 the second ICOODB conference was held at the ETH in Zurich as a scienti?c peer-reviewed conference. What is particular about ICOODB is that the conference series was est- lished to address the needs of both industry and researcherswho had an interest in object databases, in innovative ways to bring objects and databases together and in alternatives/extensions to relational databases. The ?rst conference set the mould for those to follow – a combination of theory and practice with one day focusing on the theory of object databases and the second focusing on their practical use and implementation.

关键词： Database Management Software Engineering/programming and Operating systems Information systems applications (incl. Internet) Software Engineering Information Storage and Retrieval Data Mining and Knowledge Discovery

来源：评论

学校读者我要写书评

暂无评论

OOER '95: object-oriented and Entity-Relationship Modeling 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540485278

ISBN: (纸本)9783540606727

This volume constitutes the refereed proceedings of the 14th International conference on object-oriented and Entity-Relationship Modelling, OOER '95, held in Gold Coast, Australia in December 1995.;The 36 papers presented together with an invited presentation by Gio Wiederhold were selected from a total of 120 submissions. The papers are organized in sections on object design and modelling, models and languages, reverse engineering and schema transformation, behavioral modelling, non-traditional modelling, theoretical foundations, business re-engineering, integrated approaches, cooperative work modelling, temporal data modelling, federated systems design, and industrial stream papers

关键词： Data Structures and Information Theory programming Techniques Database Management Information systems applications (incl. Internet) Models and Principles Software Engineering

来源：评论

学校读者我要写书评

暂无评论

Security for object-oriented systems 1

引用

丛书名： Workshops in Computing

1000年

作者： B. Thuraisingham R. Sandhu T. C. Ting

ISBN: (数字)9781447138587

ISBN: (纸本)9783540198772

This volume contains papers from the oopsla-93 conference Workshop on Security for object-oriented systems, held in Washington DC, USA, on 26 September 1993. The workshop addressed the issue of how to introduce an acceptable level of security into object-oriented systems, as the use of such systems becomes increasingly widespread. The topic is approached from two different, but complementary, viewpoints: the incorporation of security into object-oriented systems, and the use of object-oriented design and modelling techniques for designing secure applications. The papers cover a variety of issues, relating to both mandatory and discretionary security, including security facilities of PCTE, information flow control, the design of multilevel secure data models, and secure database interoperation via role translation. The resulting volume provides a comprehensive overview of current work in this important area of research.

关键词： programming Techniques

来源：评论

学校读者我要写书评

暂无评论

ECOOP ’96 — object-oriented programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540685708

ISBN: (纸本)9783540614395

This book constitutes the refereed proceedings of the 10th European conference on object-oriented programming, ECOOP '96, held in Linz, Austria, in July 1996.;The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.

关键词： programming Techniques Software Engineering/programming and Operating systems Software Engineering programming languages, Compilers, Interpreters Database Management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共162页 << < 153 154 155 156 157 158 159 160 161 162 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：