skip to main content
Show Results with:

10 results  for Everything in this catalogue

Refined by: material type: Books remove creation date: After 2002 remove genre: Congresses remove subject: Computer science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings / Ahmed Bouajjani, David Monniaux (eds.).
Material Type:
Book
Add to My workspace

Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings / Ahmed Bouajjani, David Monniaux (eds.).

VMCAI (Conference) (18th : 2017 : Paris, France)

Cham, Switzerland : Springer, 2017.

Online access

2 related resources
2
Networked systems : third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised selected papers / Ahmed Bouajjani, Hugues Fauconnier (eds.).
Material Type:
Book
Add to My workspace

Networked systems : third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised selected papers / Ahmed Bouajjani, Hugues Fauconnier (eds.).

NETYS (Conference) (3rd : 2015 : Agadir, Morocco)

Cham : Springer, 2015.

Online access

2 related resources
3
Intelligent, secure, and dependable systems in distributed and cloud environments : first International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, proceedings / Issa Traore, Isaac Woungang, Ahmed Awad (eds.).
Material Type:
Book
Add to My workspace

Intelligent, secure, and dependable systems in distributed and cloud environments : first International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, proceedings / Issa Traore, Isaac Woungang, Ahmed Awad (eds.).

ISDDC (Conference) (1st : 2017 : Vancouver, B.C.)

Cham, Switzerland : Springer, 2017.

Online access

2 related resources
4
Internet of Things (IoT) technologies for healthcare : 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings / Mobyen Uddin Ahmed, Shahina Begum, Jean-Baptiste Bastel (eds.).
Material Type:
Book
Add to My workspace

Internet of Things (IoT) technologies for healthcare : 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings / Mobyen Uddin Ahmed, Shahina Begum, Jean-Baptiste Bastel (eds.).

HealthyIoT (Conference) (4th : 2017 : Angers, France)

Cham, Switzerland : Springer, 2018.

Online access

5
Internet of things technologies for healthcare : third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, revised selected papers / Mobyen Uddin Ahmed, Shahina Begum, Wasim Raad (eds.).
Material Type:
Book
Add to My workspace

Internet of things technologies for healthcare : third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, revised selected papers / Mobyen Uddin Ahmed, Shahina Begum, Wasim Raad (eds.).

HealthyIoT (Conference) (3rd : 2016 : Västerås, Sweden)

Cham, Switzerland : Springer, 2016.

Online access

6
Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / Ahmed Bouajjani, Alexandra Silva (eds.).
Material Type:
Book
Add to My workspace
7
Smart technologies and innovation for a sustainable future : proceedings of the 1st American University in the Emirates International Research Conference -- Dubai, UAE 2017 / Ahmed Al-Masri, Kevin Curran, editors.
Material Type:
Book
Add to My workspace

Smart technologies and innovation for a sustainable future : proceedings of the 1st American University in the Emirates International Research Conference -- Dubai, UAE 2017 / Ahmed Al-Masri, Kevin Curran, editors.

American University in the Emirates International Research Conference (1st : 2017 : Dubai)

Cham, Switzerland : Springer, [2019].

Online access

8
MultiMedia modeling. Part II : 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings / Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O'Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal (eds.).
Material Type:
Book
Add to My workspace

MultiMedia modeling. Part II : 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings / Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O'Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal (eds.).

International Multimedia Modelling Conference (24th : 2018 : Bangkok, Thailand)

Cham, Switzerland : Springer, [2018].

Online access

9
MultiMedia modeling. Part I : 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings / Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O'Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal (eds.).
Material Type:
Book
Add to My workspace

MultiMedia modeling. Part I : 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings / Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O'Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal (eds.).

International Multimedia Modelling Conference (24th : 2018 : Bangkok, Thailand)

Cham, Switzerland : Springer Verlag, [2018].

Online access

10
Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part IV / João M.F. Rodrigues, Pedro J.S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot (eds.).
Material Type:
Book
Add to My workspace

Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part IV / João M.F. Rodrigues, Pedro J.S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot (eds.).

ICCS (International Conference on Computer Science) (19th : 2019 : Faro, Portugal)

Basel : Springer, [2019].

Online access

10 results  for Everything in this catalogue

Refine Search Results

Refine my results

Access Options 

  1. Request to Reading Room  (5)
  2. Online  (1)
  3. Refine further open sub menu

Creation date 

From To

Searching Remote Databases, Please Wait