Buy books written by Thomas Wies Available at Bookswagon
Logo1
close menu
Bookswagon
search
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Thomas Wies

Thomas Wies

11 results found
Filter0Switch to Grid View
List viewGrid view
Sort By:
1.
On the Pursuit of Insight and Elegance
On the Pursuit of Insight and Elegance
By: Andrey Rybalchenko, Thomas Wies, Daniel Dietsch, Martin Schäf
Publisher: Springer Nature Switzerland AG
No Review Yet
AED245
Binding:
Paperback
Release:
08 Jan 2026
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Programming Languages and Systems
Programming Languages and Systems
By: Wies Thomas Wies
Publisher: Springer Nature B.V.
No Review Yet
AED241
Binding:
Paperback
Release:
18 Apr 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
3.
Programming Languages and Systems
Programming Languages and Systems
By: Thomas Wies
Publisher: Springer International Publishing AG
No Review Yet
AED180
Binding:
Paperback
Release:
18 Apr 2023
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Networked Systems
Networked Systems
By: Thomas Wies, David Mohaisen
Publisher: Springer International Publishing AG
No Review Yet
AED247
Binding:
Paperback
Release:
07 Jul 2023
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
By: Bernd Finkbeiner, Thomas Wies
Publisher: Springer Nature Switzerland AG
No Review Yet
AED404
Binding:
Paperback
Release:
14 Jan 2022
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
By: Nisarg Patel, Dennis Shasha, Thomas Wies, Siddharth Krishna
Publisher: Springer International Publishing AG
No Review Yet
AED189
Binding:
Paperback
Release:
01 Jun 2021
Language:
English
Available
Ships within 14-16 Days Explain..
7.
In der Blütenwelt flanieren
In der Blütenwelt flanieren
By: Helga Thomas, Michael Wies, Petra Dobrovolny-Mühlenbach
Publisher: Books on Demand
No Review Yet
AED92
Binding:
Paperback
Release:
25 Feb 2019
Language:
German
International Edition
Ships within 10-12 Days Explain..
8.
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
By: Andrei Paskevich, Thomas Wies
Publisher: Springer International Publishing AG
No Review Yet
AED225
Binding:
Paperback
Release:
15 Dec 2017
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
By: Finkbeiner Bernd Finkbeiner, Wies Thomas Wies
Publisher: Springer Nature B.V.
No Review Yet
AED223
Binding:
Paperback
Release:
26 Jan 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found