Search Results for Software engineering - Narrowed by: Discrete mathematics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering$0026qf$003dSUBJECT$002509Subject$002509Discrete$002bmathematics.$002509Discrete$002bmathematics.$0026ps$003d300?dt=list
2026-03-20T16:31:17Z
Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607288
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Dąbrowski, Andrzej. editor. (orcid)0000-0002-1524-4871 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. (orcid)0000-0002-6480-5751 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82380-0">https://doi.org/10.1007/978-3-031-82380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608907
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94706-3">https://doi.org/10.1007/978-3-031-94706-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606760
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7752-5">https://doi.org/10.1007/978-981-97-7752-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:609123
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-8312-3">https://doi.org/10.1007/978-981-96-8312-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604171
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64285-2">https://doi.org/10.1007/978-3-031-64285-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604553
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65941-6">https://doi.org/10.1007/978-3-031-65941-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617240
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611989
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65000-5">https://doi.org/10.1007/978-3-319-65000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612054
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71150-8">https://doi.org/10.1007/978-3-319-71150-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615989
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56620-7">https://doi.org/10.1007/978-3-319-56620-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616005
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56614-6">https://doi.org/10.1007/978-3-319-56614-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616137
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66799-7">https://doi.org/10.1007/978-3-319-66799-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616143
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616289
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:612719
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56617-7">https://doi.org/10.1007/978-3-319-56617-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612860
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71147-8">https://doi.org/10.1007/978-3-319-71147-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613760
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Description Logics in Multimedia Reasoning
ent://SD_ILS/0/SD_ILS:614574
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Sikos, Leslie F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54066-5">https://doi.org/10.1007/978-3-319-54066-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
ent://SD_ILS/0/SD_ILS:610688
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611744
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615944
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Kordy, Barbara. editor. Ekstedt, Mathias. editor. Kim, Dong Seong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46263-9">https://doi.org/10.1007/978-3-319-46263-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616153
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXVII
ent://SD_ILS/0/SD_ILS:616160
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616284
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49192-8">https://doi.org/10.1007/978-3-662-49192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612022
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612612
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
Author Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-03-20T16:31:17Z
2026-03-20T16:31:17Z
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-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>