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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

221 篇 会议
19 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

155 篇 工学
- 144 篇 计算机科学与技术...
- 62 篇 软件工程
- 19 篇 信息与通信工程
- 15 篇 电气工程
- 10 篇 控制科学与工程
- 4 篇 化学工程与技术
- 3 篇 建筑学
- 3 篇 土木工程
- 3 篇 交通运输工程
- 3 篇 生物工程
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 测绘科学与技术
- 2 篇 轻工技术与工程
- 2 篇 生物医学工程（可授...
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
68 篇 理学
- 53 篇 数学
- 9 篇 物理学
- 8 篇 统计学（可授理学、...
- 5 篇 生物学
- 5 篇 系统科学
- 4 篇 化学
20 篇 管理学
- 14 篇 图书情报与档案管...
- 11 篇 管理科学与工程(可...
- 4 篇 工商管理
6 篇 教育学
- 6 篇 教育学
3 篇 法学
- 3 篇 社会学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 3 篇 临床医学
1 篇 文学

主题

13 篇 graph theory
11 篇 artificial intel...
9 篇 discrete mathema...
8 篇 automata theory
7 篇 theory of comput...
7 篇 software enginee...
6 篇 complexity theor...
5 篇 computer communi...
5 篇 algorithm analys...
5 篇 information stor...
4 篇 software enginee...
4 篇 database managem...
4 篇 computers
4 篇 game theory
4 篇 data structures
4 篇 information retr...
3 篇 computer science
3 篇 turing machines
3 篇 information syst...
3 篇 switches

机构

3 篇 charles universi...
3 篇 university of be...
3 篇 department of in...
2 篇 department of co...
2 篇 school of electr...
2 篇 dept. of compute...
2 篇 warsaw universit...
2 篇 univ utrecht utr...
2 篇 department of ep...
2 篇 department of me...
2 篇 software enginee...
2 篇 school of mathem...
2 篇 school of automa...
2 篇 university of li...
2 篇 institute of com...
2 篇 the institute of...
2 篇 school of eecs o...
2 篇 department of co...
2 篇 department of co...
2 篇 school of comput...

作者

3 篇 mária bieliková
3 篇 van leeuwen jan
3 篇 inenaga shunsuke
3 篇 šíma jiří
3 篇 saurabh saket
2 篇 peleg david
2 篇 bieliková mária
2 篇 žák stanislav
2 篇 ono hirotaka
2 篇 leszek pacholski
2 篇 freivalds rūsiņš
2 篇 paulusma daniel
2 篇 albers susanne
2 篇 kiya hironori
2 篇 rossmanith peter
2 篇 pokorný jaroslav
2 篇 iliopoulos costa...
2 篇 hanaka tesshu
2 篇 jeffery keith g.
2 篇 otto friedrich

语言

240 篇 英文
4 篇 中文
3 篇 其他

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

共 247 条记录，以下是1-10 订阅

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

详细简洁

排序：

50th International conference on current trends in theory and practice of computer science, SOFSEM 2025

50th International Conference on Current Trends in Theory an...

引用

50th International conference on current trends in theory and practice of computer science, SOFSEM 2025

ISBN: (纸本)9783031826696

the proceedings contain 50 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Parameterized Complexity of Feedback Vertex Set with Connectivity Constraints;online b-Matching with Stochastic Rewards;shortest Longest-Path Graph Orientations for Trees;parameterized Complexity of Generalizations of Edge Dominating Set;beyond Image-Text Matching: Verb Understanding in Multimodal Transformers Using Guided Masking;on the Complexity of Minimum Membership Dominating Set;on the Structural Parameterized Complexity of Defective Coloring;Dynamic Range Minimum Queries on the Ultra-wide Word RAM;fast Practical Compression of Deterministic Finite Automata;orienteering (with Time Windows) on Restricted Graph Classes;massively Parallel Maximum Coverage Revisited;distance Vector Domination;sufficient Conditions for Polynomial-Time Detection of Induced Minors;pathways to Tractability for Geometric thickness;minimum Monotone Spanning Trees;representing Hypergraphs by Point-Line Incidences;reachability in Temporal Graphs Under Perturbation;on Computational Completeness of Semi-Conditional Matrix Grammars;Outer-(ap)RAC Graphs;forest Covers and Bounded Forest Covers;multi-agent Search-Type Problems on Polygons: (Extended Abstract);generation of Cycle Permutation Graphs and Permutation Snarks;expected Density of Random Minimizers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

50th International conference on current trends in theory and practice of computer science, SOFSEM 2025

50th International Conference on Current Trends in Theory an...

引用

50th International conference on current trends in theory and practice of computer science, SOFSEM 2025

ISBN: (纸本)9783031826962

关键词：

来源：评论

学校读者我要写书评

暂无评论

49th International conference on current trends in theory and practice of computer science, SOFSEM 2024

49th International Conference on Current Trends in Theory an...

引用

49th International conference on current trends in theory and practice of computer science, SOFSEM 2024

ISBN: (纸本)9783031521126

the proceedings contain 34 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Algorithms and Turing Kernels for Detecting and Counting Small Patterns in Unit Disk Graphs;query Learning of Minimal Deterministic Symbolic Finite Automata Separating Regular Languages;row-Column Combination of Dyck Words;group Testing in Arbitrary Hypergraphs and Related Combinatorial Structures;on the Parameterized Complexity of the Perfect Phylogeny Problem;data Reduction for Directed Feedback Vertex Set on Graphs Without Long Induced Cycles;visualization of Bipartite Graphs in Limited Window Size;outerplanar and Forest Storyplans;word-Representable Graphs from a Word’s Perspective;the Information Extraction Framework of Document Spanners - A Very Informal Survey;automata Classes Accepting Languages Whose Commutative Closure is Regular;complexity of Spherical Equations in Finite Groups;the Weighted HOM-Problem Over Fields;combinatorics of Block-Parallel Automata Networks;on the Computational Complexity of Generalized Common Shape Puzzles;new Support Size Bounds and Proximity Bounds for Integer Linear Programming;the Complexity of Cluster Vertex Splitting and Company;morphing Graph Drawings in the Presence of Point Obstacles;the Complexity of Online Graph Games;removable Online Knapsack with Bounded Size Items;shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching;generalized Distance Polymatrix Games;distance Labeling for Families of Cycles;relaxed Agreement Forests;apportionment with thresholds: Strategic Campaigns are Easy in the Top-Choice but Hard in the Second-Chance Mode;positive Characteristic Sets for Relational Pattern Languages;on the Parameterized Complexity of Minus Domination;preface;local Certification of Majority Dynamics;parameterized Algorithms for Covering by Arithmetic Progressions;faster Winner Determination Algo

关键词：

来源：评论

学校读者我要写书评

暂无评论

48th International conference on current trends in theory and practice of computer science, SOFSEM 2023

48th International Conference on Current Trends in Theory an...

引用

48th International conference on current trends in theory and practice of computer science, SOFSEM 2023

ISBN: (纸本)9783031231001

the proceedings contain 26 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Learning through Imitation by Using Formal Verification;quantum Complexity for Vector Domination Problem;A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints;lower Bounds for Monotone q-Multilinear Boolean Circuits;a Spectral Algorithm for Finding Maximum Cliques in Dense Random Intersection Graphs;multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs;payment Scheduling in the Interval Debt Model;introduction to Routing Problems with Mandatory Transitions;on the Preservation of Properties When Changing Communication Models;sequentially Swapping Tokens: Further on Graph Classes;on the 2-Layer Window Width Minimization Problem;on the Complexity of Scheduling Problems with a Fixed Number of Parallel Identical Machines;balanced Substructures in Bicolored Graphs;on the Parameterized Complexity of s-club Cluster Deletion Problems;heuristics for Opinion Diffusion via Local Elections;the Complexity of Finding Tangles;preface;parameterized Approaches to Orthogonal Compaction;hardness of Bounding Influence via Graph Modification;visualizing Multispecies Coalescent Trees: Drawing Gene Trees Inside Species Trees;morphing Planar Graph Drawings through 3D;Dominance Drawings for DAGs with Bounded Modular Width;more Effort Towards Multiagent Knapsack;solving Cut-Problems in Quadratic Time for Graphs with Bounded Treewidth.

关键词：

来源：评论

学校读者我要写书评

暂无评论

47th International conference on current trends in theory and practice of computer science, SOFSEM 2021

47th International Conference on Current Trends in Theory an...

引用

47th International conference on current trends in theory and practice of computer science, SOFSEM 2021

ISBN: (纸本)9783030677305

the proceedings contain 44 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Concatenation Operations and Restricted Variants of Two-Dimensional Automata;distance Hedonic Games;distributed Independent Sets in Interval and Segment Intersection Graphs;hierarchical b-Matching;improved Algorithms for Online Load Balancing;iterated Uniform Finite-State Transducers on Unary Languages;new Bounds on the Half-Duplex Communication Complexity;novel Results on the Number of Runs of the Burrows-Wheeler-Transform;on the Redundancy of D-Ary Fano Codes;towards Knowledge Exchange: State-of-the-Art and Open Problems;on the Terminal Connection Problem;parameterized Complexity of d-Hitting Set with Quotas;parameterizing Role Coloring on Forests;the Balanced Satisfactory Partition Problem;the Multiple Traveling Salesman Problem on Spiders;tightness of Sensitivity and Proximity Bounds for Integer Linear Programs;using the Metro-Map Metaphor for Drawing Hypergraphs;weighted Microscopic Image Reconstruction;A Normal Sequence Compressed by PPM ∗ But Not by Lempel-Ziv 78;clusters of Repetition Roots: Single Chains;invited Talk: Resilient Distributed Algorithms;drawing Two Posets;fair Division Is Hard Even for Amicable Agents;the Complexity of Flow Expansion and Electrical Flow Expansion;an Infrastructure for Platform-Independent Experimentation of Software Changes;using Process Models to Understand Security Standards;web Test Automation: Insights from the Grey Literature;a Pipeline for Measuring Brand Loyalty through Social Media Mining;predicting Tennis Match Outcomes with Network Analysis and Machine Learning;role-Based Access Control on Graph Databases;Semi-automatic Column Type Inference for CSV Table Understanding;towards Minimally Conscious Cyber-Physical Systems: A Manifesto.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SOFSEM-SRF 2020 - Proceedings of the SOFSEM 2020 Doctoral Student Research Forum, co-located with the 46th International conference on current trends in theory and practice of computer science, SOFSEM 2020

SOFSEM-SRF 2020 - Proceedings of the SOFSEM 2020 Doctoral St...

引用

46th International conference on current trends in theory and practice of computer science Doctoral Student Research Forum, SOFSEM-SRF 2020

the proceedings contain 11 papers. the topics discussed include: exploration of MSC trees using genetic algorithms;bit-layers text encoding for efficient text processing;fast-insertion-sort: a new family of efficient variants of the insertion-sort algorithm;grammars and a random generator for deterministic chain regular expressions;early prediction of test case verdict with word embeddings vs. bag-of-words;an extension of linear-size suffix tries for parameterized strings;data-driven powertrain component aging prediction using in-vehicle signals;and a graph-based tool to embed the π-calculus into a computational DPO framework.

关键词：

来源：评论

学校读者我要写书评

暂无评论

46th International conference on current trends in theory and practice of computer science, SOFSEM 2020

46th International Conference on Current Trends in Theory an...

引用

46th International conference on current trends in theory and practice of computer science, SOFSEM 2020

ISBN: (纸本)9783030389185

the proceedings contain 60 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Faster STR-EC-LCS Computation;kernels of Sub-classes of Context-Free Languages;minimal Unique Substrings and Minimal Absent Words in a Sliding Window;on Synthesis of Specifications with Arithmetic;on the Average State Complexity of Partial Derivative Transducers;on the Difference Between Finite-State and Pushdown Depth;online Scheduling with Machine Cost and a Quadratic Objective Function;parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching;parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems;the Lost Recipes from the Four Schools of Amathus: Invited Talk Extended Abstract;parameterized Dynamic Variants of Red-Blue Dominating Set;refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs;simple Distributed Spanners in Dense Congest Networks;the Order Type of Scattered Context-Free Orderings of Rank One Is Computable;up-to Techniques for Branching Bisimilarity;crowd Detection for Drone Safe Landing through Fully-Convolutional Neural Networks;explaining Single Predictions: A Faster Method;inferring Deterministic Regular Expression with Unorder;POI Recommendation Based on Locality-Specific Seasonality and Long-Term trends;selection of a Green Logical Data Warehouse Schema by Anti-monotonicity Constraint;sharing Energy for Optimal Edge Performance;the HyperBagGraph DataEdron: An Enriched Browsing Experience of Datasets: Track: Foundation of Data science and Engineering;towards the Named Entity Recognition Methods in Biomedical Field;vietnamese Punctuation Prediction Using Deep Neural Networks;a Light-Weight Tool for the Self-assessment of Security Compliance in Software Development – An Industry Case;Do People Use Naming Conventions in SQL Programming?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

45th International conference on current trends in theory and practice of computer science, SOFSEM 2018

45th International Conference on Current Trends in Theory an...

引用

45th International conference on current trends in theory and practice of computer science, SOFSEM 2018

ISBN: (纸本)9783030108007

the proceedings contain 40 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Phase transition in matched formulas and a heuristic for biclique satisfiability;on infinite prefix normal words;priority scheduling in the Bamboo garden trimming problem;patrolling on dynamic ring networks;gathering of robots in a grid with mobile faults;probabilistic parameterized polynomial time;on matrix ins-del systems of small sum-norm;separation logic with linearly compositional inductive predicates and set data constraints;on the complexity of optimal matching reconfiguration;forbidden directed minors, directed path-width and directed tree-width of tree-like digraphs;distance-based community search (invited talk extended abstract);existence versus exploitation: the opacity of backdoors and backbones under a weak assumption;on point set embeddings for k-planar graphs with few bends per edge;enumerating connected induced subgraphs: Improved delay and experimental comparison;multi-stranded string assembling systems;towards automatic comparison of cloud service security certifications;On the expressive power of GF(2)-grammars;an efficient algorithm for combining verification and validation methods;robustness radius for chamberlin-courant on restricted domains;on the complexity of color-avoiding site and bond percolation;lackadaisical quantum walks with multiple marked vertices;minicomplexity: Some motivation, some history, and some structure (invited talk extended abstract);a 116/13-approximation algorithm for l(2, 1)-labeling of unit disk graphs;minimizing the cost of team exploration;two-head finite-state acceptors with translucent letters;do null-type mutation operators help prevent null-type faults?;towards combining multitask and multilingual learning;on the size of logical automata.

关键词：

来源：评论

学校读者我要写书评

暂无评论

44th International conference on current trends in theory and practice of computer science, SOFSEM 2018

44th International Conference on Current Trends in Theory an...

引用

44th International conference on current trends in theory and practice of computer science, SOFSEM 2018

ISBN: (纸本)9783319731162

the proceedings contain 48 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Combining versioning and metamodel evolution in the chronosphere model repository;automated change propagation from source code to sequence diagrams;multi-paradigm architecture constraint specification and configuration based on graphs and feature models;lower bounds and hierarchies for quantum memoryless communication protocols and quantum ordered binary decision diagrams with repeated test;computational complexity of atomic chemical reaction networks;conjugacy of one-dimensional one-sided cellular automata is undecidable;formal verification and safety assessment of a hemodialysis machine;automatic decomposition of Java open source pull requests: A replication study;Transformation of OWL2 property axioms to groovy;on architecture specification;simple paths and cycles avoiding forbidden paths;external memory algorithms for finding disjoint paths in undirected graphs;on range and edge capacity in the congested clique;Global vs. local semantics of BPMN 2.0 OR-join;AODVv2: Performance vs. loop freedom;multivendor deployment integration for future mobile networks;patrolling a path connecting a set of points with unbalanced frequencies of visits;exploring graphs with time constraints by unreliable collections of mobile robots;the k-server problem with advice in d dimensions and on the sphere;Deciding universality of ptNFAs is PSpace-complete;the state of the art in dynamic graph algorithms;theoretical aspects of symbolic automata;Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODE’S;influence of body postures on touch-based biometric user authentication;runtime distributions and criteria for restarts.

关键词：

来源：评论

学校读者我要写书评

暂无评论

34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint conferences on theory and practice of Software, ETAPS 2025

34th European Symposium on Programming, ESOP 2025, which was...

引用

34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint conferences on theory and practice of Software, ETAPS 2025

ISBN: (纸本)9783031911170

the proceedings contain 32 papers. the special focus in this conference is on Programming. the topics include: Formulas as Processes, Deadlock-Freedom as Choreographies;Sufficient Conditions for Robustness of RDMA Programs;Constructive characterisations of the MUST-preorder for asynchrony;abstraction of memory block manipulations by symbolic loop folding;cognacy Queries over Dependence Graphs for Transparent Visualisations;an abstract, certified account of operational game semantics;artifact Report: an Abstract, Certified Account of Operational Game Semantics;neural Network Verification is a Programming Language Challenge;stratified Type theory;coverage Semantics for Dependent Pattern Matching;variable Elimination as Rewriting in a Linear Lambda Calculus;a Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model;iso-Recursive Multiparty Sessions and their Automated Verification;verifying Algorithmic Versions of the Lovász Local Lemma;Elucidating Type Conversions in SQL Engines.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：