Showing
1 - 4
results of
4
for search '
Dong, Jin Song
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Dong, Jin Song
Showing
1 - 4
results of
4
for search '
Dong, Jin Song
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
by
Dong
,
Jin
Song
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
Published 2003
Other Authors:
“…
Dong
,
Jin
Song
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
Published 2010
Other Authors:
“…
Dong
,
Jin
Song
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers /
Published 2016
Other Authors:
“…
Dong
,
Jin
Song
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer Science
Computer science
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Algorithm Analysis and Problem Complexity
Computer Communication Networks
Mathematical logic
Programming Techniques
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Algorithms
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer communication systems
Computer logic
Computer programming
Computer software
Data Mining and Knowledge Discovery
Data mining
Database Management
Database management
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Information storage and retrieval
Logics and Meanings of Programs
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών