Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of Tomas Vojnar's books
Sign in with Facebook
Sign in
options
Join Goodreads
Tomas Vojnar’s Followers
None yet.
Tomas Vojnar
edit data
Combine Editions
Tomas Vojnar’s books
Tomas Vojnar
Average rating:
4.0
·
2
ratings ·
0
reviews ·
10 distinct works
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11428)
by
Tomas Vojnar
(Editor)
,
Lijun Zhang
(Editor)
really liked it
4.00 avg rating — 2 ratings
Want to Read
saving…
Want to Read
Currently Reading
Read
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11427)
by
Tomas Vojnar
(Editor)
,
Lijun Zhang
(Editor)
0.00 avg rating — 0 ratings
—
3 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Czech Republic, April 6-11, 2019, Proceed
0.00 avg rating — 0 ratings
—
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, ... Notes in Computer Science Book 9548)
by
Jan Kofron
(Editor)
,
Tomas Vojnar
(Editor)
0.00 avg rating — 0 ratings
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... (Lecture Notes in Computer Science, 7721)
by
Antonín Kučera
(Editor)
,
Thomas A. Henzinger
(Editor)
,
Jaroslav Nešetřil
(Editor)
0.00 avg rating — 0 ratings
— published 2013 —
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, ... Papers
by
Jan Kofron
(Editor)
,
Tomas Vojnar
(Editor)
0.00 avg rating — 0 ratings
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop (Lecture Notes in Computer Science: Programming and Software Engineering, Vol. 7119)
by
Zdeněk Kotásek
(Editor)
,
Jan Bouda
(Editor)
,
Ivana Černá
(Editor)
0.00 avg rating — 0 ratings
— published 2012
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, ... Notes in Computer Science Book 9548)
by
Jan Kofron
(editor)
,
Tomas Vojnar
(editor)
0.00 avg rating — 0 ratings
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, ... Notes in Computer Science Book 7119)
by
Zdeněk Kotásek
(Editor)
,
Jan Bouda
(Editor)
,
Ivana Černá
(Editor)
0.00 avg rating — 0 ratings
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, ... Notes in Computer Science Book 7721)
by
Antonín Kučera
(Editor)
,
Thomas A. Henzinger
(Editor)
,
Jaroslav Nešetřil
(Editor)
0.00 avg rating — 0 ratings
—
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
More books by Tomas Vojnar…
Is this you?
Let us know.
If not, help out and
invite Tomas to Goodreads.
Welcome back. Just a moment while we sign you in to your Goodreads account.