Showing
1 - 2
results of
2
for search '
Araki, Keijiro
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Araki, Keijiro
Showing
1 - 2
results of
2
for search '
Araki, Keijiro
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
by
Araki
,
Keijiro
Published in
Springer e-books
(2005)
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
2
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
by
Hutchison, David
Published in
Springer eBooks
(2008)
Other Authors:
“
...
Araki
,
Keijiro
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
Search Tools:
Get RSS Feed
Related Subjects
Computer Science
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer Communication Networks
Computer science
Computer software
Logic design
Logics and Meanings of Programs
Models and Principles
Programming Techniques
Loading...