Theoretical Aspects of Computing

Theoretical Aspects of Computing - ICTAC 2008

EISBN：9783540857624

PISBN：9783540857617

出版社：Springer Berlin Heidelberg

出版类型：Proceedings

出版时间：2008

作者：John S. Fitzgerald,Anne E. Haxthausen,Husnu Yenigun

主题词：Computation by Abstract Devices,Theory of Computation,Algorithm Analysis and Problem Complexity,Software Engineering,Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Theoretical Aspects of Computing – ICTAC 2017

作者：Dang Van Hung,Deepak Kapur
EISBN：9783319677293
出版社：Springer International Publishing
出版时间：2017

Theoretical Aspects of Computing - ICTAC 2004

作者：Zhiming Liu,Keijiro Araki
EISBN：9783540318620
出版社：Springer Berlin Heidelberg
出版时间：2005

Theoretical Aspects of Computing – ICTAC 2007

作者：Cliff B. Jones,Zhiming Liu,Jim Woodcock
EISBN：9783540752929
出版社：Springer Berlin Heidelberg
出版时间：2007

Theoretical Aspects of Computing - ICTAC 2009

作者：Martin Leucker,Carroll Morgan
EISBN：9783642034664
出版社：Springer Berlin Heidelberg
出版时间：2009

Theoretical Aspects of Computing – ICTAC 2018

作者：Bernd Fischer,Tarmo Uustalu
EISBN：9783030025083
出版社：Springer International Publishing
出版时间：2018

Theoretical Aspects of Computing – ICTAC 2016

作者：Augusto Sampaio,Farn Wang
EISBN：9783319467504
出版社：Springer International Publishing
出版时间：2016