Results
|
|
26351.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type:  Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26352.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26353.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26354.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26355.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26356.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26357.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26358.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26359.
|
|
Image from Amazon.com
|
Formal Methods for Nonmonotonic and Related Logics by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26360.
|
|
Image from Amazon.com
|
Formal Methods for Nonmonotonic and Related Logics by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26361.
|
|
Image from Amazon.com
|
Formal Methods for Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26362.
|
|
Image from Amazon.com
|
|
|
|
26363.
|
|
Image from Amazon.com
|
Formal Methods in Architecture by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26364.
|
|
Image from Amazon.com
|
Formal Methods in Outer Space by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26365.
|
|
Image from Amazon.com
|
Formal Methods Teaching by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26366.
|
|
Image from Amazon.com
|
Formal Methods Teaching by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26367.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26368.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26369.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26370.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26371.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26372.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26373.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26374.
|
|
Image from Amazon.com
|
Formal Methods. FM 2019 International Workshops by - Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26375.
|
|
Image from Amazon.com
|
Formal Methods. FM 2019 International Workshops by - Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26376.
|
|
Image from Amazon.com
|
Formal Modeling and Analysis of Timed Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26377.
|
|
Image from Amazon.com
|
Formal Modeling and Analysis of Timed Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26378.
|
|
Image from Amazon.com
|
Formal Modeling and Analysis of Timed Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26379.
|
|
Image from Amazon.com
|
Formal Modeling and Analysis of Timed Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26380.
|
|
Image from Amazon.com
|
Formal Modeling and Analysis of Timed Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26381.
|
|
Image from Amazon.com
|
Formal Modeling and Analysis of Timed Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26382.
|
|
Image from Amazon.com
|
Formal Modeling and Analysis of Timed Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26383.
|
|
Image from Amazon.com
|
Formal modelling in elctronic commerce Kimbrough Steven O; WU D J by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: USA USA, Springer 2005
Availability: Items available for loan: Faculty of Management Library (1)Collection, call number: D658(2:55)ObX P5.
star rating
Average : 0.0 out of 5 stars
|
|
|
26384.
|
|
Image from Amazon.com
|
Formal Models in the Study of Language by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26385.
|
|
|
Formal moduli of algebraic structures by Series: Lecture notes in mathematics; 754
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Berlin Springer Verlag 1979
Availability: Items available for loan: Central Science Library (1)Collection, call number: B316 L92.
star rating
Average : 0.0 out of 5 stars
|
|
|
26386.
|
|
|
|
|
|
26387.
|
|
Image from Amazon.com
|
Formal SQL Tuning for Oracle Databases by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26388.
|
|
|
Formal techniques for database design by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M6.
star rating
Average : 0.0 out of 5 stars
|
|
|
26389.
|
|
Image from Amazon.com
|
|
|
|
26390.
|
|
Image from Amazon.com
|
|
|
|
26391.
|
|
Image from Amazon.com
|
|
|
|
26392.
|
|
Image from Amazon.com
|
|
|
|
26393.
|
|
Image from Amazon.com
|
|
|
|
26394.
|
|
Image from Amazon.com
|
|
|
|
26395.
|
|
Image from Amazon.com
|
|
|
|
26396.
|
|
Image from Amazon.com
|
Formal Techniques for Safety-Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26397.
|
|
Image from Amazon.com
|
Formal Techniques for Safety-Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26398.
|
|
Image from Amazon.com
|
Formal Techniques for Safety-Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26399.
|
|
Image from Amazon.com
|
Formal Techniques for Safety-Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26400.
|
|
Image from Amazon.com
|
|
