Arama Sonuçları State. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dState.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-02T03:30:18Z
Temporal Logic and State Systems
ent://SD_ILS/0/SD_ILS:185537
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
State Space Grids Depicting Dynamics Across Development
ent://SD_ILS/0/SD_ILS:331646
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Hollenstein, Tom. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331646.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5007-8">http://dx.doi.org/10.1007/978-1-4614-5007-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks
ent://SD_ILS/0/SD_ILS:400122
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99492-5">https://doi.org/10.1007/978-3-319-99492-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
ent://SD_ILS/0/SD_ILS:400133
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-98833-7">https://doi.org/10.1007/978-3-319-98833-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming with Actors State-of-the-Art and Research Perspectives
ent://SD_ILS/0/SD_ILS:399671
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399958
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal System Verification State-of the-Art and Future Trends
ent://SD_ILS/0/SD_ILS:402258
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611112
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Brain-Computer Interface Research A State-of-the-Art Summary
ent://SD_ILS/0/SD_ILS:334118
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Guger, Christoph. editor. Allison, Brendan Z. editor. Edlinger, Günter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334118.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36083-1">http://dx.doi.org/10.1007/978-3-642-36083-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Soft Computing: State of the Art Theory and Novel Applications
ent://SD_ILS/0/SD_ILS:333905
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Yager, Ronald R. editor. Abbasov, Ali M. editor. Reformat, Marek Z. editor. Shahbazova, Shahnaz N. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333905.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34922-5">http://dx.doi.org/10.1007/978-3-642-34922-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335081
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335081.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41263-9">http://dx.doi.org/10.1007/978-3-642-41263-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335082
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335082.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41266-0">http://dx.doi.org/10.1007/978-3-642-41266-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196982
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30885-7">http://dx.doi.org/10.1007/978-3-642-30885-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction
ent://SD_ILS/0/SD_ILS:199068
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Scherl, Holger. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-8259-2">http://dx.doi.org/10.1007/978-3-8348-8259-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192736
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14684-8">http://dx.doi.org/10.1007/978-3-642-14684-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191805
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11811-1">http://dx.doi.org/10.1007/978-3-642-11811-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods: State of the Art and New Directions
ent://SD_ILS/0/SD_ILS:176054
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190845
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04131-0">http://dx.doi.org/10.1007/978-3-642-04131-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trends in Interactive Visualization State-of-the-Art Survey
ent://SD_ILS/0/SD_ILS:175789
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Liere, Robert. editor. Adriaansen, Tony. editor. Zudilova-Seinstra, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-269-2">http://dx.doi.org/10.1007/978-1-84800-269-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188879
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
ent://SD_ILS/0/SD_ILS:169566
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Pereira, Manuel Seabra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5690-1">http://dx.doi.org/10.1007/978-1-4020-5690-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187493
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Communities and Technologies 2007 Proceedings of the Third Communities and Technologies Conference, Michigan State University 2007
ent://SD_ILS/0/SD_ILS:175622
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Steinfield, Charles. editor. Pentland, Brian T. editor. Ackerman, Mark. editor. Contractor, Noshir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-905-7">http://dx.doi.org/10.1007/978-1-84628-905-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183762
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:184261
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Large Scale Management of Distributed Systems 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185029
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar State, Radu. editor. Meer, Sven. editor. O’Sullivan, Declan. editor. Pfeifer, Tom. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11907466">http://dx.doi.org/10.1007/11907466</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334078
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Pietro, Roberto. editor. Herranz, Javier. editor. Damiani, Ernesto. editor. State, Radu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334078.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35890-6">http://dx.doi.org/10.1007/978-3-642-35890-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189188
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Schulzrinne, Henning. editor. State, Radu. editor. Niccolini, Saverio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89054-6">http://dx.doi.org/10.1007/978-3-540-89054-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
ent://SD_ILS/0/SD_ILS:605792
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Restarting Automata Extensions and Generalizations
ent://SD_ILS/0/SD_ILS:607660
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to Theory of Computation An Algorithmic Approach
ent://SD_ILS/0/SD_ILS:607954
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principle of Petri Nets
ent://SD_ILS/0/SD_ILS:606870
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Yuan, Chongyi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Machine Learning in Sports Science
ent://SD_ILS/0/SD_ILS:609421
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-70155-3">https://doi.org/10.1007/978-3-662-70155-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602216
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602217
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spiking Neural P Systems Theory, Applications and Implementations
ent://SD_ILS/0/SD_ILS:606517
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-9282-5">https://doi.org/10.1007/978-981-97-9282-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease
ent://SD_ILS/0/SD_ILS:601934
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45003-7">https://doi.org/10.1007/978-3-031-45003-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
ent://SD_ILS/0/SD_ILS:602280
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-6921-0">https://doi.org/10.1007/978-981-99-6921-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:602946
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
FPGA EDA Design Principles and Implementation
ent://SD_ILS/0/SD_ILS:602481
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603150
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603166
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Admissible Consensus and Consensualization for Singular Multi-agent Systems
ent://SD_ILS/0/SD_ILS:528356
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-6990-4">https://doi.org/10.1007/978-981-19-6990-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
ent://SD_ILS/0/SD_ILS:527804
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Informatics and machine learning : from Martingales to metaheuristics
ent://SD_ILS/0/SD_ILS:597087
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Winters-Hilt, Stephen, author.<br/>Yer Numarası Q325.5 .W558 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory of Reversible Computing
ent://SD_ILS/0/SD_ILS:613309
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Morita, Kenichi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616215
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Self-Aware Computing Systems
ent://SD_ILS/0/SD_ILS:611535
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611523
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
ent://SD_ILS/0/SD_ILS:615694
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56593-4">https://doi.org/10.1007/978-3-319-56593-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rendezvous in Distributed Systems Theory, Algorithms and Applications
ent://SD_ILS/0/SD_ILS:616988
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-3680-4">https://doi.org/10.1007/978-981-10-3680-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Directed Algebraic Topology and Concurrency
ent://SD_ILS/0/SD_ILS:615495
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616579
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610812
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30668-1">https://doi.org/10.1007/978-3-319-30668-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612581
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Self-aware Computing Systems An Engineering Approach
ent://SD_ILS/0/SD_ILS:617881
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39675-0">https://doi.org/10.1007/978-3-319-39675-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611702
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611917
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Brain Inspired Cognitive Systems 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612107
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Hussain, Amir. editor. Luo, Bin. editor. Tan, Kay Chen. editor. Zeng, Yi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49685-6">https://doi.org/10.1007/978-3-319-49685-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
ent://SD_ILS/0/SD_ILS:614579
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Decision Diagrams for Optimization
ent://SD_ILS/0/SD_ILS:617845
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42849-9">https://doi.org/10.1007/978-3-319-42849-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing handbook
ent://SD_ILS/0/SD_ILS:539146
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.<br/>Yer Numarası QA76 .C5732 2014 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429171529">https://www.taylorfrancis.com/books/9780429171529</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Operational risk management a practical approach to intelligent data analysis
ent://SD_ILS/0/SD_ILS:318959
2026-04-02T03:30:18Z
2026-04-02T03:30:18Z
Yazar Kenett, Ron. Raanan, Yossi.<br/>Yer Numarası ONLINE(318959.1)<br/>Elektronik Erişim <a href="http://onlinelibrary.wiley.com/book/10.1002/9780470972571">Access restricted to McGill users</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589233">http://public.eblib.com/choice/publicfullrecord.aspx?p=589233</a>
ebrary <a href="http://site.ebrary.com/id/10412605">http://site.ebrary.com/id/10412605</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470972571">http://dx.doi.org/10.1002/9780470972571</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>