Search Results for Probability. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProbability.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-06T06:38:27Z
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:610538
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-05134-9">https://doi.org/10.1007/978-3-032-05134-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:601972
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47958-8">https://doi.org/10.1007/978-3-031-47958-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604871
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68416-6">https://doi.org/10.1007/978-3-031-68416-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611057
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Holzinger, Andreas. editor. Goebel, Randy. editor. (orcid)0000-0002-0739-2946 Ferri, Massimo. editor. Palade, Vasile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69775-8">https://doi.org/10.1007/978-3-319-69775-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612356
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613140
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Rothe, Jörg. editor. (orcid)0000-0002-0589-3616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67504-6">https://doi.org/10.1007/978-3-319-67504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613337
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Shikata, Junji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72089-0">https://doi.org/10.1007/978-3-319-72089-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617034
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611651
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66278-7">https://doi.org/10.1007/978-3-319-66278-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613741
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Beecks, Christian. editor. Borutta, Felix. editor. Kröger, Peer. editor. Seidl, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68474-1">https://doi.org/10.1007/978-3-319-68474-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616714
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:614126
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Grochla, Krzysztof. editor. Lent, Ricardo. editor. (orcid)0000-0003-4884-3456 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47217-1">https://doi.org/10.1007/978-3-319-47217-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:611797
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616250
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616231
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616994
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334651
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334686
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334686.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38865-1">http://dx.doi.org/10.1007/978-3-642-38865-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334797
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334797.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39408-9">http://dx.doi.org/10.1007/978-3-642-39408-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334905
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334905.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334913
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334913.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Uncertain Programming
ent://SD_ILS/0/SD_ILS:189276
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Liu, Baoding. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89484-1">http://dx.doi.org/10.1007/978-3-540-89484-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers, Software Engineering, and Digital Devices
ent://SD_ILS/0/SD_ILS:542493
2026-04-06T06:38:27Z
2026-04-06T06:38:27Z
Author Dorf, Richard C., author. Taylor and Francis.<br/>Preferred Shelf Number TK7885<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>