Search

Date 2018 Subject Computer logic

1. Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers /: 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. (2018)

Editors:
Bassiliades, Nick; Ermolayev, Vadim; Fill, Hans-Georg; Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander
Other Names:
ICTERI (Conference), 13th
Record Type:
Book
Extent:
1 online resource (XIV, 255 pages), 102 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

3. Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /: 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings. (2018)

Editors:
Galmiche, Didier, 1958-; Schulz, Stephan; Sebastiani, R (Roberto)
Other Names:
IJCAR (Conference), 9th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xvi, 724 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

4. Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. (2018)

Editors:
Casimiro, Antonio; Ferreira, Pedro M
Other Names:
Ada-Europe International Conference on Reliable Software Technologies, 23rd
Record Type:
Book
Extent:
1 online resource (XIV, 175 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

6. Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers /: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers. (2018)

Editors:
(Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir
Other Names:
TAFA (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (x, 227 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

8. Membrane computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, revised selected papers /: 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, revised selected papers. (2018)

Editors:
Gheorghe, Marian; Rozenberg, Grzegorz; Salomaa, Arto; Zandron, Claudio
Other Names:
CMC (Conference : Membrane computing), 18th
Record Type:
Book
Extent:
1 online resource (XVI, 293 pages), 33 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

9. Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers /: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers. ([2018])

Editors:
Cerone, Antonio; Roveri, Marco
Other Names:
International Conference on Software Engineering and Formal Methods, 15th; DataMod (Symposium), 6th; FAACS (Workshop), 1st; MSE (Workshop), 1st; CoSim-CPS (Workshop), 1st; International Workshop on the Foundations of Coordination Languages and Software Architectures, 15th
Record Type:
Book
Extent:
1 online resource (x, 592 pages), 204 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

10. Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers. (2018)

Editors:
Petrenko, Alexander K; Voronkov, Andrei
Other Names:
International Andrei Ershov Memorial Conference, 11th
Record Type:
Book
Extent:
1 online resource (XI, 432 pages), 80 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search