Showing
1 - 2
results of
2
for search '
Baier, Christel
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Baier, Christel
Christel Baier
Showing
1 - 2
results of
2
for search '
Baier, Christel
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
by
Baier
,
Christel
Published in
Springer e-books
(2006)
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
2
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...
Published in
Springer eBooks
(2015)
Other Authors:
“
...
Baier
,
Christel
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
Search Tools:
Get RSS Feed
Related Subjects
Computation by Abstract Devices
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Algorithms
Computer Communication Networks
Computer logic
Computer science
Logic design
Mathematical Logic and Formal Languages
Mathematical logic
Programming Techniques
Programming languages (Electronic computers)
Software Engineering
Software engineering
computers
Loading...