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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

62 篇 会议
8 册 图书
2 篇 期刊文献

馆藏范围

71 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

45 篇 工学
- 39 篇 计算机科学与技术...
- 21 篇 软件工程
- 6 篇 信息与通信工程
- 5 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 交通运输工程
22 篇 理学
- 12 篇 数学
- 5 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 大气科学
- 1 篇 生物学
11 篇 管理学
- 9 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 公共管理
3 篇 法学
- 3 篇 社会学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 公共卫生与预防医...
- 1 篇 护理学（可授医学、...
1 篇 经济学
- 1 篇 应用经济学
1 篇 文学
- 1 篇 新闻传播学

主题

4 篇 computer communi...
4 篇 discrete mathema...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 software enginee...
3 篇 database managem...
3 篇 computers
3 篇 artificial intel...
3 篇 algorithm analys...
2 篇 data storage rep...
2 篇 graph theory
2 篇 automata theory
2 篇 quantum theory
2 篇 information stor...
1 篇 surveys
1 篇 information syst...
1 篇 learning systems
1 篇 theory-building
1 篇 digital innovati...
1 篇 计算理论

机构

2 篇 department of co...
2 篇 department of in...
1 篇 department of so...
1 篇 institute of inf...
1 篇 faculty of infor...
1 篇 school of applie...
1 篇 certicon shareho...
1 篇 institute of inf...
1 篇 us ctr dis contr...
1 篇 department of in...
1 篇 university of el...
1 篇 institute of che...
1 篇 robotics and cyb...
1 篇 dept. of compute...
1 篇 univ minnesota m...
1 篇 university of th...
1 篇 bundesamt fur ei...
1 篇 department of cy...
1 篇 dept. of informa...
1 篇 shanghai jiao to...

作者

3 篇 šimko marián
2 篇 kutrib martin
2 篇 leszek pacholski
2 篇 löwe jan-thomas
1 篇 petr kadera
1 篇 ronquillo charle...
1 篇 laryea samuel
1 篇 afsarmanesh hami...
1 篇 beňňušková ľubic...
1 篇 breton vincent
1 篇 chukwunonso fran...
1 篇 nørager1 sofie
1 篇 wielemaker jan
1 篇 geusebroek jan-m...
1 篇 frans c. a. groe...
1 篇 peter ružička (e...
1 篇 pennec xavier
1 篇 de vaujany franç...
1 篇 petr novák
1 篇 herveg jean a.m.

语言

69 篇 英文
3 篇 中文

检索条件"任意字段=29th Conference on Current Trends in Theory and Practice of Informatics"

共 72 条记录，以下是21-30 订阅

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

详细简洁

排序：

Software testing & diagnostics:: theory & practice 27th

引用

27th International conference on current trends in theory and practice of informatics (SOFSEM 2000)

作者： Marík, V Král, L Marík, R Czech Tech Univ Dept Cybernet Prague 6 Czech Republic CertiCon Shareholders Comp Prague 12000 2 Czech Republic ProTys Ltd Rockwell Automat Res Ctr Prague 12000 2 Czech Republic

ISBN: (纸本)3540413480

the introduction into the field of software testing, automated software testing and diagnostics will be given together with explanation of fundamental terminology. the viewpoint of quality theory will be stressed. Presented state of the art basic concepts of software testing, design of tests, their execution and methods of test evaluation will be selected according to their practical usage. the methodology will be demonstrated on case studies developed during practical software testing and diagnostics projects for large international companies in the field of industrial automation and medical instrumentation. the paper will be concluded with a summary of practical experience.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

the increasing development of publication on sustainable procurement and issues in practice 29

The increasing development of publication on sustainable pro...

引用

29th Annual Association of Researchers in Construction Management conference, ARCOM 2013

作者： Laryea, Samuel Alkizim, Ahmad Ndlovu, thembelihle School of Construction Economics and Management University of the Witwatersrand PO Box 20 Wits Johannesburg2050 South Africa

ISBN: (纸本)9780955239076

this paper provides an overview of the developments in relation to sustainable procurement through a review of 63 publications indexed in Scopus and found published between 1996 and 2013. the increasing development of standards, guidance notes and research papers on sustainable procurement offers a means to examine ongoing developments and trends. the research aim was to review studies that contribute to our understanding of sustainable procurement;and critically examine some of the current sustainable procurement trends. the developments since 1996 have culminated in the publication of Procuring the Future (2006) which was a UK government Sustainable Procurement National Action Plan;BS8903: 2010 which is a generic standard on sustainable procurement;CIRIA 695: 2011 which is a guide on sustainable procurement in construction;training courses on sustainable procurement offered by the Chartered Institute of Purchasing and Supply (CIPS) for example;and development of policies on sustainable procurement by businesses. ISO 10845: 2010 defines procurement as the process through which contracts are created, managed and fulfilled. However, sustainable procurement requires the use of procurement to achieve wider objectives based on a mix of social, environmental and economic considerations. A content analysis shows the 63 papers from 16 countries are published in 58 different journals which reflect a multidisciplinary subject of growing international interest. More interdisciplinary research is needed to develop a consistent body of knowledge. In practice, the dominance of traditional competitive procurement approaches that focuses heavily on price and lead to wasted resources, exploitation of the "sustainability" label by businesses, and questions relating to the development of a comprehensive method for measuring sustainable procurement reveals significant gaps between theory and practice that should be addressed.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Quantum finite one-counter automata 26th

Quantum finite one-counter automata

引用

26th conference on current trends in theory and practice of informatics

作者： Kravtsev, M Latvian State Univ Dept Comp Sci Riga Latvia

ISBN: (纸本)354066694X

In this paper the notion of quantum finite one-counter automata (QF1CA) is introduced. Introduction of the notion is similar to that of the 2-way quantum finite state automata in [1]. the well-formedness conditions for the automata are specified ensuring unitarity of evolution. A special kind of QF1CA, called simple, that satisfies the well-formedness conditions is introduced. that allows specify rules for constructing such automata more naturally and simpler than in general case. Possible models of language recognition by QF1CA are considered. the recognition of some languages by QF1CA is shown and compared with recognition by probabilistic counterparts.

关键词： Quantum theory

来源：评论

学校读者我要写书评

暂无评论

SOFSEM 2001: theory and practice of informatics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Leszek Pacholski Peter Ružička

ISBN: (数字)9783540456278

ISBN: (纸本)9783540429128

SOFSEM 2001, the International conference on current trends in theory and practice of informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. this was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. the scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. the topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – trends in informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications the above directions were covered through 12 invited talks presented by pro- nent researchers. there were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. the conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).

关键词： Software Engineering/Programming and Operating Systems theory of Computation Computer Communication Networks Artificial Intelligence Mathematics of Computing Information Systems and Communication Service

来源：评论

学校读者我要写书评

暂无评论

SOFSEM'97: theory and practice of informatics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540696452

ISBN: (纸本)9783540637745

this book constitutes the refereed proceedings of the 24th Seminar on current trends in theory and practice of informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. the volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. the invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.

关键词： theory of Computation Software Engineering/Programming and Operating Systems Database Management Discrete Mathematics in Computer Science Numeric Computing

来源：评论

学校读者我要写书评

暂无评论

Dynamic data assigning clustering for school grouping 3

Dynamic data assigning clustering for school grouping

引用

3rd International conference on Big Data Analytics, Data Mining and Computational Intelligence 2018, the 7th International conference on theory and practice in Modern Computing 2018 and of the 4th International conference on Connected Smart Cities 2018, part of the 2018 Multi conference on Computer Science and Information Systems, MCCSIS 2018

作者： Georgieva, Olga Sofia University "St. Kl. Ohridski" Faculty of Mathematics and Informatics Sofia Bulgaria

ISBN: (纸本)9789898533807

Following the current trends in data driven solutions, this paper aims to explore a value-creation mechanism for open data of education sector. Dynamic data assigning algorithm for cluster identification is investigated for the ability to group schools based on the students' scores. the primary purpose of the solution is to drive decisions about the education system and policies for reducing the risk of premature leaving the system accounting for the current state of the presented learning deficits. © 2018 CURRAN-conference. All rights reserved.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

SOFSEM 2000: theory and practice of informatics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Václav Hlaváč Keith G. Jeffery Jiří Wiedermann

ISBN: (数字)9783540444114

ISBN: (纸本)9783540413486

the international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November–2 December 2000 in the c- ference facilities of the Dev?et Skal (Nine Rocks) Hotel, Milovy, Czech-Moravian Highlands, the Czech Republic. It was already the 27th annual meeting in the series of SOFSEM conferences organized in either the Czech or the Slovak Rep- lic. Since its establishment in 1974, SOFSEM has gone through a long dev- opment in parallel with the entire ?eld of informatics. currently SOFSEM is a wide-scope, multidisciplinary conference, with stress on the interplay between the theory and practice of informatics. the SOFSEM scienti?c program consists mainly of invited talks which determine the topics of the conference. Invited talks are complemented by short refereed talks contributed by SOFSEM parti- pants. the topics of invited talks are chosen so as to cover the span from theory to practice and to bring interesting research areas to the attention of conf- ence participants. For the year 2000, the following three streams were chosen for presentation by the SOFSEM Steering Committee: – trends in Algorithmics – Information Technologies in practice – Computational Perception the above streams were covered through 16 invited talks given by prominent researchers. there were 18 contributed talks also presented, chosen by the int- national Program Committee from among 36 submitted papers. the program also included a panel on lessons learned from the Y2K problem.

关键词： theory of Computation Software Engineering/Programming and Operating Systems Artificial Intelligence Information Storage and Retrieval Computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Reachability in timed automata with diagonal constraints 29

Reachability in timed automata with diagonal constraints

引用

29th International conference on Concurrency theory, CONCUR 2018

作者： Gastin, Paul Mukherjee, Sayan Srivathsan, B. LSV CNRS ENS Paris-Saclay Université Paris–Saclay France Chennai Mathematical Institute India

ISBN: (纸本)9783959770873

We consider the reachability problem for timed automata having diagonal constraints (like x − y dLU for timed automata with diagonal constraints. On the negative side, we show that deciding ZdLU Z is NP-complete. On the positive side, we identify a witness for ZdLU Z and propose an algorithm to decide the existence of such a witness using an SMT solver. the shape of the witness reveals that the simulation test is likely to be e cient in practice. © Paul Gastin, Sayan Mukherjee, and B. Srivathsan.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

On the Difference Between Finite-State and Pushdown Depth 46th

On the Difference Between Finite-State and Pushdown Depth

引用

46th International conference on current trends in theory and practice of informatics (SOFSEM)

作者： Jordon, Liam Moser, Philippe Natl Univ Ireland Maynooth Comp Sci Dept Maynooth Kildare Ireland

ISBN: (纸本)9783030389192;9783030389185

this paper expands upon existing and introduces new formulations of Bennett's logical depth. A new notion based on pushdown compressors is developed. A pushdown deep sequence is constructed. the separation of (previously published) finite-state based and pushdown based depth is shown. the previously published finite state depth notion is extended to an almost everywhere (a.e.) version. An a.e. finite-state deep sequence is shown to exist along with a sequence that is infinitely often (i.o.) but not a.e. finite-state deep. For both finite-state and pushdown, easy and random sequences with respect to each notion are shown to be non-deep, and that a slow growth law holds for pushdown depth.

关键词： Algorithmic information theory Kolmogorov complexity Bennett's logical depth

来源：评论

学校读者我要写书评

暂无评论

theories of ICT design: Where social studies of technology meet the distributed cognitive perspective

Theories of ICT design: Where social studies of technology m...

引用

29th International conference on Information Systems, ICIS 2008

作者： Fomin, Vladislav V. De Vaujany, François-Xavier Dept. of Informatics Vytautas Magnus University LT-44404 Kaunas Lithuania 150 rue de la Chimie 38040 Grenoble France

In this paper we examine the possibility to bridge theory of Distributed Cognition with popular theories of Social Studies of Technology (in particular, Actor-Network theory and Social Construction of Technology). Responding to a recent call for revisiting the design metaphor, in this paper we aim to obtain more precise terminology for describing the phenomena of ICT design in theoretical terms. We argue that establishing correlations between the two bodies of literature adds new knowledge to a community of scholars caters for betterment of managerial practice in complex design tasks.

关键词： Social sciences computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共8页 << < 1 2 3 4 5 6 7 8 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：