Search

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

371. Intelligent computer mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. (2018)

Editors:
Rabe, Florian; Farmer, William M; Passmore, Grant O; Youssef, Abdou
Other Names:
CICM (Conference), 11th
Record Type:
Book
Extent:
1 online resource (XII, 287 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms)

372. Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings. (2016)

Editors:
Kohlhase, Michael, 1964-; Johansson, Moa; Miller, Bruce; Moura, Leonardo de; Tompa, Frank
Other Names:
CICM (Conference), 9th
Record Type:
Book
Extent:
1 online resource (xv, 384 pages), illustrations (black and white)
View Content:
Available online (eLD content is only available in our Reading Rooms)

378. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018)

Editors:
Avigad, Jeremy; Mahboubi, Assia
Other Names:
ITP (Conference), 9th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xvii, 642 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 »