Showing
1 - 3
results of
3
for search '
Chatterjee, Krishnendu
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Chatterjee, Krishnendu
Showing
1 - 3
results of
3
for search '
Chatterjee, Krishnendu
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
by
Chatterjee
,
Krishnendu
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /
Published 2013
Other Authors:
“…
Chatterjee
,
Krishnendu
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Published 2010
Other Authors:
“…
Chatterjee
,
Krishnendu
…”
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
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical logic
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Software engineering
Algorithms
Computer logic
Computer programming
Computer software
Data Structures
Data structures (Computer science)
Discrete Mathematics in Computer Science
Logic design
Math Applications in Computer Science
Mathematics
Numeric Computing
Numerical analysis
Programming languages (Electronic computers)
System theory
Systems Theory, Control
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών