Search Results for State. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dState.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-12T19:47:13Z
Temporal Logic and State Systems
ent://SD_ILS/0/SD_ILS:185537
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
State Space Grids Depicting Dynamics Across Development
ent://SD_ILS/0/SD_ILS:331646
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Hollenstein, Tom. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331646.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal System Verification State-of the-Art and Future Trends
ent://SD_ILS/0/SD_ILS:402258
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Actors State-of-the-Art and Research Perspectives
ent://SD_ILS/0/SD_ILS:399671
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335081.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335082.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing: State of the Art Theory and Novel Applications
ent://SD_ILS/0/SD_ILS:333905
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Yager, Ronald R. editor. Abbasov, Ali M. editor. Reformat, Marek Z. editor. Shahbazova, Shahnaz N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333905.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Brain-Computer Interface Research A State-of-the-Art Summary
ent://SD_ILS/0/SD_ILS:334118
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Guger, Christoph. editor. Allison, Brendan Z. editor. Edlinger, Günter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334118.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Scherl, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: State of the Art and New Directions
ent://SD_ILS/0/SD_ILS:176054
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Interactive Visualization State-of-the-Art Survey
ent://SD_ILS/0/SD_ILS:175789
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Liere, Robert. editor. Adriaansen, Tony. editor. Zudilova-Seinstra, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Steinfield, Charles. editor. Pentland, Brian T. editor. Ackerman, Mark. editor. Contractor, Noshir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Pereira, Manuel Seabra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author State, Radu. editor. Meer, Sven. editor. O’Sullivan, Declan. editor. Pfeifer, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11907466">http://dx.doi.org/10.1007/11907466</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Pietro, Roberto. editor. Herranz, Javier. editor. Damiani, Ernesto. editor. State, Radu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334078.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Schulzrinne, Henning. editor. State, Radu. editor. Niccolini, Saverio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Principle of Petri Nets
ent://SD_ILS/0/SD_ILS:606870
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Theory of Computation An Algorithmic Approach
ent://SD_ILS/0/SD_ILS:607954
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Machine Learning in Sports Science
ent://SD_ILS/0/SD_ILS:609421
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
ent://SD_ILS/0/SD_ILS:605792
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Restarting Automata Extensions and Generalizations
ent://SD_ILS/0/SD_ILS:607660
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
ent://SD_ILS/0/SD_ILS:602280
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
FPGA EDA Design Principles and Implementation
ent://SD_ILS/0/SD_ILS:602481
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Spiking Neural P Systems Theory, Applications and Implementations
ent://SD_ILS/0/SD_ILS:606517
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease
ent://SD_ILS/0/SD_ILS:601934
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Admissible Consensus and Consensualization for Singular Multi-agent Systems
ent://SD_ILS/0/SD_ILS:528356
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics and machine learning : from Martingales to metaheuristics
ent://SD_ILS/0/SD_ILS:597087
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Winters-Hilt, Stephen, author.<br/>Preferred Shelf Number Q325.5 .W558 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Aware Computing Systems
ent://SD_ILS/0/SD_ILS:611535
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Reversible Computing
ent://SD_ILS/0/SD_ILS:613309
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Morita, Kenichi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rendezvous in Distributed Systems Theory, Algorithms and Applications
ent://SD_ILS/0/SD_ILS:616988
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Hussain, Amir. editor. Luo, Bin. editor. Tan, Kay Chen. editor. Zeng, Yi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
ent://SD_ILS/0/SD_ILS:614579
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Directed Algebraic Topology and Concurrency
ent://SD_ILS/0/SD_ILS:615495
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12T19:47:13Z
2026-04-12T19:47:13Z
Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Diagrams for Optimization
ent://SD_ILS/0/SD_ILS:617845
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Self-aware Computing Systems An Engineering Approach
ent://SD_ILS/0/SD_ILS:617881
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computing handbook
ent://SD_ILS/0/SD_ILS:539146
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.<br/>Preferred Shelf Number QA76 .C5732 2014 EB<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Operational risk management a practical approach to intelligent data analysis
ent://SD_ILS/0/SD_ILS:318959
2026-04-12T19:47:13Z
2026-04-12T19:47:13Z
Author Kenett, Ron. Raanan, Yossi.<br/>Preferred Shelf Number ONLINE(318959.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>