Search

New Search Subject Computer programming / software development
Title Journal Article Date
10 20 50 100
161 - 170 of 871

161. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018)

Editors:
Chockler, Hana; Weissenbacher, Georg
Other Names:
CAV (Conference), 30th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xix, 703 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

162. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018)

Editors:
Chockler, Hana; Weissenbacher, Georg
Other Names:
CAV (Conference), 30th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xx, 545 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

163. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017)

Editors:
Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946-
Other Names:
CASC (Workshop : 2001- ), 19th
Record Type:
Book
Extent:
1 online resource (XIII, 407 pages), 75 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

164. Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. (2018)

Editors:
Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946-
Other Names:
CASC (Workshop : 2001- ), 20th
Record Type:
Book
Extent:
1 online resource (xiii, 379 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

167. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015)

Editors:
Koornneef, Floor, 1950-; Gulijk, Coen van
Other Names:
SAFECOMP (Conference), 34th
Record Type:
Book
Extent:
1 online resource (xxii, 486 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

170. Computer safety, reliability, and security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. (2018)

Editors:
Gallina, Barbara; Skavhaug, Amund, 1965-; Bitsch, Friedemann
Other Names:
SAFECOMP (Conference), 37th
Record Type:
Book
Extent:
1 online resource (xxi, 312 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

Limit your search

Enter a search term or select another filter before applying a date range.

more »

more »

more »

more »