Limit Search Results
Author
SpringerLink (Online service)
(252)
Apduhan, Bernady O. editor.
(6)
Falcão, Maria Irene. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Language
Publication Date
-
Subject
Computer software.
(143)
Computer science.
(140)
Computational complexity.
(103)
Software engineering.
(66)
Application software.
(59)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
254 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
Author 
Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31140-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings
Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings
Author 
Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31304-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Author 
England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26831-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II
Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II
Author 
Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29563-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Author 
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I
Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I
Author 
Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings
Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings
Author 
Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21392-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I
Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26369-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Author 
Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30281-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action