Search Results for State. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dState.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2024-11-02T07:22:40ZTemporal Logic and State Systemsent://SD_ILS/0/SD_ILS:1855372024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Developmentent://SD_ILS/0/SD_ILS:3316462024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Perspectivesent://SD_ILS/0/SD_ILS:4860692024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Trendsent://SD_ILS/0/SD_ILS:4022582024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Perspectivesent://SD_ILS/0/SD_ILS:3996712024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>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 Talksent://SD_ILS/0/SD_ILS:4001222024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Platformsent://SD_ILS/0/SD_ILS:4001332024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999582024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Brain-Computer Interface Research A State-of-the-Art Summaryent://SD_ILS/0/SD_ILS:3341182024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Soft Computing: State of the Art Theory and Novel Applicationsent://SD_ILS/0/SD_ILS:3339052024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>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 IIent://SD_ILS/0/SD_ILS:3350812024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Ient://SD_ILS/0/SD_ILS:3350822024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969822024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Reconstructionent://SD_ILS/0/SD_ILS:1990682024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1927362024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918052024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Formal Methods: State of the Art and New Directionsent://SD_ILS/0/SD_ILS:1760542024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908452024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Surveyent://SD_ILS/0/SD_ILS:1757892024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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. Proceedingsent://SD_ILS/0/SD_ILS:1888792024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 2007ent://SD_ILS/0/SD_ILS:1756222024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>A Portrait of State-of-the-Art Research at the Technical University of Lisbonent://SD_ILS/0/SD_ILS:1695662024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1874932024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1837622024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:1842612024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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. Proceedingsent://SD_ILS/0/SD_ILS:1850292024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:3340782024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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 Papersent://SD_ILS/0/SD_ILS:1891882024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592024-11-02T07:22:40Z2024-11-02T07:22:40ZAuthor 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/>