Search

Subject Computer organization

1. Digital Transformation and Global Society : First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers /: First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers. ([2016])

Editors:
Chugunov, A. V (Andreĭ Vladimirovich); Bolgov, Radomir; Kabanov, Yury; Kampis, György, 1958-; Wimmer, Maria A
Other Names:
DTGS (Conference), 1st
Record Type:
Book
Extent:
1 online resource (xviii, 620 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

4. Computer Security : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings.: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings. Part II (2018)

Editors:
López, Javier; Zhou, Jianying; Soriano, Miguel
Other Names:
European Symposium on Research in Computer Security, 23nd
Record Type:
Book
Extent:
1 online resource (XIX, 571 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

5. Computer security : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings.: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings. Part I (2018)

Editors:
López, Javier; Zhou, Jianying; Soriano, Miguel
Other Names:
European Symposium on Research in Computer Security, 23nd
Record Type:
Book
Extent:
1 online resource (XIX, 621 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

6. Accelerator programming using directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings /: 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings. ([2018])

Editors:
Chandrasekaran, Sunita; Juckeland, Guido
Other Names:
WACCPD (Workshop), 4th; International Conference for High-Performance Computing, Networking, Storage and Analysis
Record Type:
Book
Extent:
1 online resource (IX, 183 pages), 59 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

8. 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) ↗

10. 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) ↗