维普期刊资源整合服务平台（V6.5）

252篇 您的检索式：期刊名="Acta Informatica"

选中清除导出查看参考文献查看引证文献引用追踪共13页首页上一页第1页下一页末页 /13 跳转

	题名	作者	年代	出处	被引量
1	Single machine scheduling with deadlines and increasing rates of processing times显示文摘	Cheng T C E Ding Q	2000	Acta Informatica2000，36，910：	2
2	Refinement of actions for real-time concurrent systems with causal ambiguity 显示文摘	Majster-Cederbaum M Wu J Yue H	2006	Acta Informatica2006，42，67：	1
3	Organization and maintenance of large ordered indexes显示文摘	Bayer R McCreight E	1972	Acta Informatica1972，1，3：	1
4	A fast algorithm for Steiner trees显示文摘	L. Kou G. Markowsky L. Berman	1981	Acta Informatica1981，，2：	1
5	The temporal logic of branching time显示文摘	M Ben-Ari Z Manna A Pnueli	1983	Acta Informatica1983，20，：	1
6	The temporal logic of branching time显示文摘	Mordechai Ben-Ari Amir Pnueli Zohar Manna	1983	Acta Informatica1983，，3：	1
7	Minimum feedback vertex sets in cocomparability graphs and convex bipartite graphs显示文摘	Liang Y Chang M	1997	Acta Informatica1997，34，：	1
8	Worst-Case Analysis for Region and Partial Region Searches in Multidimensional Binary Search Trees and Balanced Quad Trees显示文摘	LEE D T WONG C K	1977	Acta Informatica1977，9，1：	1
9	Quad trees:A data structure for retrieval of composite keys显示文摘	Finkel R A Bentley J L	1974	Acta Informatica1974，4，1：	1
10	Organization and Maintenance of large ordered indexes显示文摘		1972	Acta Informatica1972，1，3：	1
11	Applications of the theory of records in the study of random trees显示文摘	Luc Devroye	1988	Acta Informatica (-)1988，，1：	1
12	A fast algorithm for Steiner trees in graphs 显示文摘	KOU L MARKOWSKY G BERMAN L	1981	Acta Informatica1981，15，2：	1
13	Performance Evaluation of Fork and Join Synchronization Primitives显示文摘	Duda A Czachorski T	1987	Acta Informatica1987，24，5：	1
14	DNA computing, sticker systems and universality 显示文摘	KARI L PAUN G ROZENBERG G	1998	Acta Informatica1998，，35：	1
15	Axiomatic approach to total correctness of programs显示文摘	Zohar Manna Amir Pnueli	1974	Acta Informatica1974，，3：	1
16	DNA Computing, Sticker Systems and Universality显示文摘	Kari L Paun G Rozenberg G	1998	Acta Informatica1998，35，5：	1
17	Contraction mappings in b-metric spaces显示文摘	Czerwik S	1993	Acta Mathemat- ica et Informatica Universitatis Ostraviensis1993，1，：	1
18	The temoral logic of branching time 显示文摘	Ben Ari M Pnueli A Manna M	1981	Acta Informatica1981，20，3：	1
19	Reasoning about probabilistic sequential programs in a probabilistic logic显示文摘	YING M S	2003	Acta Informatica2003，39，：	1
20	A distributed QoS-Aware multicast routing protocol显示文摘	Li Layuan Li Chunlin	2003	Acta Informatica2003，，3：	1

返回顶部每页显示：

共13页首页上一页第1页下一页末页 /13 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示