Search Results for - Narrowed by: 2009 - Information theory. - Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?2024-08-29T16:11:42ZProgramming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897412024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897842024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systemsent://SD_ILS/0/SD_ILS:1898272024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1898392024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00955-6">http://dx.doi.org/10.1007/978-3-642-00955-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903172024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1903252024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1903262024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906362024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03466-4">http://dx.doi.org/10.1007/978-3-642-03466-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lecturesent://SD_ILS/0/SD_ILS:1910162024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency IIIent://SD_ILS/0/SD_ILS:1910802024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04856-2">http://dx.doi.org/10.1007/978-3-642-04856-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part Ient://SD_ILS/0/SD_ILS:1901772024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part IIent://SD_ILS/0/SD_ILS:1901782024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hagenberg Researchent://SD_ILS/0/SD_ILS:1902252024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02127-5">http://dx.doi.org/10.1007/978-3-642-02127-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:1759732024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-434-8">http://dx.doi.org/10.1007/978-1-84882-434-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909252024-08-29T16:11:42Z2024-08-29T16:11:42ZAuthor Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>