Showing
1 - 2
results of
2
for search '
"änzle, Martin"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "änzle, Martin"
Showing
1 - 2
results of
2
for search '
"änzle, Martin"
'
, query time: 0.82s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Dependable Software Engineering: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
by
änzle
,
Martin
,
Kapur, Deepak
,
Zhan, Naijun
Year of Publication
2016
Get full text
eBook
Save to List
Saved in:
2
Loading…
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
by
änzle
,
Martin
,
Markey, Nicolas
Year of Publication
2016
Get full text
eBook
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Book / eBook
2 results
2
Subject Area
computer science
2 results
2
applied sciences
1 results
1
mathematics
1 results
1
Topic
abstract automata
1 results
1
abstract machines
1 results
1
analyse de systèmes
1 results
1
application computer programs
1 results
1
application computer software
1 results
1
application software
1 results
1
See more
Language
English
2 results
2
Year of Publication
From:
To:
Database
SpringerLink Books
2 results
2
eBooks on EBSCOhost
2 results
2
Springer Books
2 results
2
