Showing
1 - 4
results of
4
for search '
Qin, Shengchao
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Qin, Shengchao
Showing
1 - 4
results of
4
for search '
Qin, Shengchao
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
by
Qin
,
Shengchao
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
Published 2010
Other Authors:
“…
Qin
,
Shengchao
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
Published 2011
Other Authors:
“…
Qin
,
Shengchao
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /
Published 2019
Other Authors:
“…
Qin
,
Shengchao
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Software Engineering
Software engineering
Computer Science
Computer science
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer programming
Logics and Meanings of Programs
Mathematical logic
Programming languages (Electronic computers)
Algorithm Analysis and Problem Complexity
Algorithms
Artificial Intelligence
Computer Communication Networks
Computer Systems Organization and Communication Networks
Computer communication systems
Computer logic
Computer organization
Computer simulation
Computers
Logic design
Simulation and Modeling
Theory of Computation
Τεχνητή νοημοσύνη
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών