Limit Search Results
Author
SpringerLink (Online service)
(35)
Aguilar, Jose. editor. (orcid)0000-0003-4194-6882
(2)
Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029
(2)
Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X
(2)
Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382
(2)
Language
Publication Date
-
Subject
Mathematical statistics.
(19)
Probability and Statistics in Computer Science.
(18)
Computer science -- Mathematics.
(15)
Computer science.
(15)
Artificial intelligence.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Using R for Statistics
Using R for Statistics
Author 
Baldock, Sarah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0139-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Learn coding with Python and JavaScript A practical introduction for beginners
Learn coding with Python and JavaScript A practical introduction for beginners
Author 
Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-42912-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II
Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II
Author 
Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75236-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers
Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers
Author 
Tabares, Marta. editor. Vallejo, Paola. editor. Suarez, Biviana. editor. Suarez, Marco. editor. Ruiz, Oscar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47372-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.
Infrared Small Target Detection Theory, Methods, and Algorithms.
Author 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers
Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers
Author 
Buckley, Christopher L. editor. Cialfi, Daniela. editor. (orcid)0000-0001-8953-062X Lanillos, Pablo. editor. (orcid)0000-0001-9154-0798 Ramstead, Maxwell. editor. Sajid, Noor. editor. (orcid)0000-0003-1904-2887
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47958-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I
Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I
Author 
Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75233-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A pragmatic programmer for machine learning : engineering analytics and data science solutions
A pragmatic programmer for machine learning : engineering analytics and data science solutions
Author 
Scutari, Marco, author. Malvestio, Mauro, author.
Preferred Shelf Number 
Q325.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429292835
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Author 
Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31175-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers
Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers
Author 
Holzinger, Andreas. editor. Goebel, Randy. editor. (orcid)0000-0002-0739-2946 Ferri, Massimo. editor. Palade, Vasile. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69775-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Author 
Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66278-7
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
Author 
Rothe, Jörg. editor. (orcid)0000-0002-0589-3616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67504-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings
Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings
Author 
Shikata, Junji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
Author 
Beecks, Christian. editor. Borutta, Felix. editor. Kröger, Peer. editor. Seidl, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68474-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Author 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Author 
Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46433-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Author 
van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
Author 
Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Grochla, Krzysztof. editor. Lent, Ricardo. editor. (orcid)0000-0003-4884-3456 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47217-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Author 
Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Author 
Baldan, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings
Author 
Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08219-6
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
Author 
Mendes, Emilia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54157-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for R Recipes A Problem-Solution Approach
R Recipes A Problem-Solution Approach
Author 
Pace, Larry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0130-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Author 
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Author 
Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334913.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40229-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Author 
Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334797.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39408-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Early Software Reliability Prediction A Fuzzy Logic Approach
Early Software Reliability Prediction A Fuzzy Logic Approach
Author 
Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-1176-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Author 
Gregor, Miloš. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32244-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334686.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38865-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Author 
D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334905.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40184-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Data-Warehouse-Systeme kompakt Aufbau, Architektur, Grundfunktionen
Data-Warehouse-Systeme kompakt Aufbau, Architektur, Grundfunktionen
Author 
Farkisch, Kiumars. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21533-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for System Software Reliability
System Software Reliability
Author 
Pham, Hoang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-295-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
Author 
Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11679363
Format: 
Availability 
Online Library~1
Available:
Copies: