Search Results for - Narrowed by: Computer science. - Information theory.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ps$003d300$0026isd$003dtrue?2024-06-21T04:39:55ZMehr Information fur die Informatik : Denkanstoss fur Informatiker und Nichtinformatikerent://SD_ILS/0/SD_ILS:22780012024-06-21T04:39:55Z2024-06-21T04:39:55Zby Brenner, Anton, author.<br/><a href="https://ebookcentral.proquest.com/lib/iyte/detail.action?docID=5883086">Click to View</a><br/>Format: Electronic Resources<br/>The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Scienceent://SD_ILS/0/SD_ILS:20841782024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ausiello, Giorgio. author.<br/><a href="https://doi.org/10.1007/978-3-319-62680-2">https://doi.org/10.1007/978-3-319-62680-2</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approachesent://SD_ILS/0/SD_ILS:20841562024-06-21T04:39:55Z2024-06-21T04:39:55Zby Steffen, Bernhard. author.<br/><a href="https://doi.org/10.1007/978-3-319-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format: Electronic Resources<br/>Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854682024-06-21T04:39:55Z2024-06-21T04:39:55Zby Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20851912024-06-21T04:39:55Z2024-06-21T04:39:55Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851922024-06-21T04:39:55Z2024-06-21T04:39:55Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854952024-06-21T04:39:55Z2024-06-21T04:39:55Zby Russo, Alessandra. editor. (orcid)0000-0002-3318-8711<br/><a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:20851932024-06-21T04:39:55Z2024-06-21T04:39:55Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852762024-06-21T04:39:55Z2024-06-21T04:39:55Zby Dutle, Aaron. editor.<br/><a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:20853232024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina L. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:20852752024-06-21T04:39:55Z2024-06-21T04:39:55Zby Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786<br/><a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855882024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bauer, Lujo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89722-6">https://doi.org/10.1007/978-3-319-89722-6</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855902024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ahmed, Amal. editor. (orcid)0000-0001-7424-572X<br/><a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:20852012024-06-21T04:39:55Z2024-06-21T04:39:55Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855072024-06-21T04:39:55Z2024-06-21T04:39:55Zby Howar, Falk. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851242024-06-21T04:39:55Z2024-06-21T04:39:55Zby Manea, Florin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94418-0">https://doi.org/10.1007/978-3-319-94418-0</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851252024-06-21T04:39:55Z2024-06-21T04:39:55Zby Johnsen, Einar Broch. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:20845932024-06-21T04:39:55Z2024-06-21T04:39:55Zby Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:20853712024-06-21T04:39:55Z2024-06-21T04:39:55Zby Jones, Cliff. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852722024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772<br/><a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859142024-06-21T04:39:55Z2024-06-21T04:39:55Zby Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Theoretische Informatik -- ganz praktischent://SD_ILS/0/SD_ILS:21205352024-06-21T04:39:55Z2024-06-21T04:39:55Zby König, Lukas, author.<br/><a href="https://ebookcentral.proquest.com/lib/iyte/detail.action?docID=4707926">Click to View</a><br/>Format: Electronic Resources<br/>High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860092024-06-21T04:39:55Z2024-06-21T04:39:55Zby Taufer, Michela. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46079-6">https://doi.org/10.1007/978-3-319-46079-6</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20860592024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cheon, Jung Hee. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53887-6">https://doi.org/10.1007/978-3-662-53887-6</a><br/>Format: Electronic Resources<br/>Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20843562024-06-21T04:39:55Z2024-06-21T04:39:55Zby Rossi, Federico. editor.<br/><a href="https://doi.org/10.1007/978-3-319-32695-5">https://doi.org/10.1007/978-3-319-32695-5</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857482024-06-21T04:39:55Z2024-06-21T04:39:55Zby Creignou, Nadia. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40970-2">https://doi.org/10.1007/978-3-319-40970-2</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20858002024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cheon, Jung Hee. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53890-6">https://doi.org/10.1007/978-3-662-53890-6</a><br/>Format: Electronic Resources<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:20845172024-06-21T04:39:55Z2024-06-21T04:39:55Zby Alexandru, Andrei. author.<br/><a href="https://doi.org/10.1007/978-3-319-42282-4">https://doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Electronic Resources<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:20849742024-06-21T04:39:55Z2024-06-21T04:39:55Zby Soare, Robert I. author.<br/><a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Electronic Resources<br/>Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20842852024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cazenave, Tristan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39402-2">https://doi.org/10.1007/978-3-319-39402-2</a><br/>Format: Electronic Resources<br/>Self-aware Computing Systems An Engineering Approachent://SD_ILS/0/SD_ILS:20847642024-06-21T04:39:55Z2024-06-21T04:39:55Zby Lewis, Peter R. editor.<br/><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/>History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20846842024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gadducci, Fabio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47286-7">https://doi.org/10.1007/978-3-319-47286-7</a><br/>Format: Electronic Resources<br/>Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20860632024-06-21T04:39:55Z2024-06-21T04:39:55Zby Manulis, Mark. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39555-5">https://doi.org/10.1007/978-3-319-39555-5</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5028152024-06-21T04:39:55Z2024-06-21T04:39:55Zby Aceto, Luca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5028162024-06-21T04:39:55Z2024-06-21T04:39:55Zby Aceto, Luca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Electronic Resources<br/>Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5038342024-06-21T04:39:55Z2024-06-21T04:39:55Zby Costa, Paulo Cesar G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89765-1">http://dx.doi.org/10.1007/978-3-540-89765-1</a><br/>Format: Electronic Resources<br/>Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034952024-06-21T04:39:55Z2024-06-21T04:39:55Zby Agrawal, Manindra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79228-4">http://dx.doi.org/10.1007/978-3-540-79228-4</a><br/>Format: Electronic Resources<br/>Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036262024-06-21T04:39:55Z2024-06-21T04:39:55Zby Luque, Emilio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85451-7">http://dx.doi.org/10.1007/978-3-540-85451-7</a><br/>Format: Electronic Resources<br/>Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036442024-06-21T04:39:55Z2024-06-21T04:39:55Zby Dolev, Shlomi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85673-3">http://dx.doi.org/10.1007/978-3-540-85673-3</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science IIent://SD_ILS/0/SD_ILS:5036992024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87563-5">http://dx.doi.org/10.1007/978-3-540-87563-5</a><br/>Format: Electronic Resources<br/>A Concise Introduction to Languages and Machinesent://SD_ILS/0/SD_ILS:5024942024-06-21T04:39:55Z2024-06-21T04:39:55Zby Parkes, Alan P. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-121-3">http://dx.doi.org/10.1007/978-1-84800-121-3</a><br/>Format: Electronic Resources<br/>Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027902024-06-21T04:39:55Z2024-06-21T04:39:55Zby Hodges, Wilfrid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:5038702024-06-21T04:39:55Z2024-06-21T04:39:55Zby Palma, José M. Laginha M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-92859-1">http://dx.doi.org/10.1007/978-3-540-92859-1</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036522024-06-21T04:39:55Z2024-06-21T04:39:55Zby Fitzgerald, John S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035492024-06-21T04:39:55Z2024-06-21T04:39:55Zby Hirsch, Edward A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79709-8">http://dx.doi.org/10.1007/978-3-540-79709-8</a><br/>Format: Electronic Resources<br/>Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5033742024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bougé, Luc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78474-6">http://dx.doi.org/10.1007/978-3-540-78474-6</a><br/>Format: Electronic Resources<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:5029902024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kroening, Daniel. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:5029912024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bjørner, Dines. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papersent://SD_ILS/0/SD_ILS:5037472024-06-21T04:39:55Z2024-06-21T04:39:55Zby Martín-Vide, Carlos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format: Electronic Resources<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:5024272024-06-21T04:39:55Z2024-06-21T04:39:55Zby Makinson, David. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-845-6">http://dx.doi.org/10.1007/978-1-84628-845-6</a><br/>Format: Electronic Resources<br/>Advances in Applied Self-organizing Systemsent://SD_ILS/0/SD_ILS:5024482024-06-21T04:39:55Z2024-06-21T04:39:55Zby Prokopenko, Mikhail. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-982-8">http://dx.doi.org/10.1007/978-1-84628-982-8</a><br/>Format: Electronic Resources<br/>Robust Intelligent Systemsent://SD_ILS/0/SD_ILS:5025342024-06-21T04:39:55Z2024-06-21T04:39:55Zby Schuster, Alfons. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-261-6">http://dx.doi.org/10.1007/978-1-84800-261-6</a><br/>Format: Electronic Resources<br/>Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027512024-06-21T04:39:55Z2024-06-21T04:39:55Zby Beckmann, Arnold. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69407-6">http://dx.doi.org/10.1007/978-3-540-69407-6</a><br/>Format: Electronic Resources<br/>Time-Dependent Schedulingent://SD_ILS/0/SD_ILS:5027522024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gawiejnowicz, Stanisław. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69446-5">http://dx.doi.org/10.1007/978-3-540-69446-5</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5027802024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69848-7">http://dx.doi.org/10.1007/978-3-540-69848-7</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science Ient://SD_ILS/0/SD_ILS:5035042024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79299-4">http://dx.doi.org/10.1007/978-3-540-79299-4</a><br/>Format: Electronic Resources<br/>CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036202024-06-21T04:39:55Z2024-06-21T04:39:55Zby Breugel, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Electronic Resources<br/>Do-All Computing in Distributed Systems Cooperation in the Presence of Adversityent://SD_ILS/0/SD_ILS:5016422024-06-21T04:39:55Z2024-06-21T04:39:55Zby Georgiou, Chryssis. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-69045-2">http://dx.doi.org/10.1007/978-0-387-69045-2</a><br/>Format: Electronic Resources<br/>Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italyent://SD_ILS/0/SD_ILS:5015442024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bramer, Max. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09695-7">http://dx.doi.org/10.1007/978-0-387-09695-7</a><br/>Format: Electronic Resources<br/>Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italyent://SD_ILS/0/SD_ILS:5015452024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cascini, Gaetano. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09697-1">http://dx.doi.org/10.1007/978-0-387-09697-1</a><br/>Format: Electronic Resources<br/>Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italyent://SD_ILS/0/SD_ILS:5015492024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kendall, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09729-9">http://dx.doi.org/10.1007/978-0-387-09729-9</a><br/>Format: Electronic Resources<br/>Encyclopedia of Algorithmsent://SD_ILS/0/SD_ILS:5015542024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kao, Ming-Yang. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-30162-4">http://dx.doi.org/10.1007/978-0-387-30162-4</a><br/>Format: Electronic Resources<br/>Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasingent://SD_ILS/0/SD_ILS:5029092024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bandyopadhyay, Subir. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72875-7">http://dx.doi.org/10.1007/978-3-540-72875-7</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5027792024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69839-5">http://dx.doi.org/10.1007/978-3-540-69839-5</a><br/>Format: Electronic Resources<br/>Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026722024-06-21T04:39:55Z2024-06-21T04:39:55Zby Hee, Kees M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68746-7">http://dx.doi.org/10.1007/978-3-540-68746-7</a><br/>Format: Electronic Resources<br/>Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papersent://SD_ILS/0/SD_ILS:5032382024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77419-8">http://dx.doi.org/10.1007/978-3-540-77419-8</a><br/>Format: Electronic Resources<br/>Unfoldings A Partial-Order Approach to Model Checkingent://SD_ILS/0/SD_ILS:5032392024-06-21T04:39:55Z2024-06-21T04:39:55Zby Esparza, Javier. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthdayent://SD_ILS/0/SD_ILS:5033262024-06-21T04:39:55Z2024-06-21T04:39:55Zby Avron, Arnon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78127-1">http://dx.doi.org/10.1007/978-3-540-78127-1</a><br/>Format: Electronic Resources<br/>SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032682024-06-21T04:39:55Z2024-06-21T04:39:55Zby Geffert, Viliam. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77566-9">http://dx.doi.org/10.1007/978-3-540-77566-9</a><br/>Format: Electronic Resources<br/>Principles of the Spin Model Checkerent://SD_ILS/0/SD_ILS:5024222024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ben-Ari, Mordechai. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5027432024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bubak, Marian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5027442024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bubak, Marian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69387-1">http://dx.doi.org/10.1007/978-3-540-69387-1</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5027452024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bubak, Marian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69389-5">http://dx.doi.org/10.1007/978-3-540-69389-5</a><br/>Format: Electronic Resources<br/>Advances in Metaheuristics for Hard Optimizationent://SD_ILS/0/SD_ILS:5029132024-06-21T04:39:55Z2024-06-21T04:39:55Zby Siarry, Patrick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72960-0">http://dx.doi.org/10.1007/978-3-540-72960-0</a><br/>Format: Electronic Resources<br/>Multiobjective Problem Solving from Nature From Concepts to Applicationsent://SD_ILS/0/SD_ILS:5029142024-06-21T04:39:55Z2024-06-21T04:39:55Zby Knowles, Joshua. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72964-8">http://dx.doi.org/10.1007/978-3-540-72964-8</a><br/>Format: Electronic Resources<br/>Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037772024-06-21T04:39:55Z2024-06-21T04:39:55Zby Baek, Joonsang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88733-1">http://dx.doi.org/10.1007/978-3-540-88733-1</a><br/>Format: Electronic Resources<br/>Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:5038032024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kawano, Yasuhito. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89304-2">http://dx.doi.org/10.1007/978-3-540-89304-2</a><br/>Format: Electronic Resources<br/>Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lecturesent://SD_ILS/0/SD_ILS:5037382024-06-21T04:39:55Z2024-06-21T04:39:55Zby Horváth, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88059-2">http://dx.doi.org/10.1007/978-3-540-88059-2</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036542024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cassez, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice Vent://SD_ILS/0/SD_ILS:5018632024-06-21T04:39:55Z2024-06-21T04:39:55Zby Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format: Electronic Resources<br/>Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008ent://SD_ILS/0/SD_ILS:5015412024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ausiello, Giorgio. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09680-3">http://dx.doi.org/10.1007/978-0-387-09680-3</a><br/>Format: Electronic Resources<br/>Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italyent://SD_ILS/0/SD_ILS:5015422024-06-21T04:39:55Z2024-06-21T04:39:55Zby Avison, David. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09682-7">http://dx.doi.org/10.1007/978-0-387-09682-7</a><br/>Format: Electronic Resources<br/>Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italyent://SD_ILS/0/SD_ILS:5015432024-06-21T04:39:55Z2024-06-21T04:39:55Zby Russo, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-09684-1">http://dx.doi.org/10.1007/978-0-387-09684-1</a><br/>Format: Electronic Resources<br/>An Introduction to Kolmogorov Complexity and Its Applicationsent://SD_ILS/0/SD_ILS:5015962024-06-21T04:39:55Z2024-06-21T04:39:55Zby Li, Ming. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-49820-1">http://dx.doi.org/10.1007/978-0-387-49820-1</a><br/>Format: Electronic Resources<br/>Hypercomputation Computing Beyond the Church-Turing Barrierent://SD_ILS/0/SD_ILS:5016002024-06-21T04:39:55Z2024-06-21T04:39:55Zby Syropoulos, Apostolos. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-49970-3">http://dx.doi.org/10.1007/978-0-387-49970-3</a><br/>Format: Electronic Resources<br/>Probing Experience From Assessment of User Emotions and Behaviour to Development of Productsent://SD_ILS/0/SD_ILS:5021042024-06-21T04:39:55Z2024-06-21T04:39:55Zby Westerink, Joyce H. D. M. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6593-4">http://dx.doi.org/10.1007/978-1-4020-6593-4</a><br/>Format: Electronic Resources<br/>The Art of Artificial Evolution A Handbook on Evolutionary Art and Musicent://SD_ILS/0/SD_ILS:5029102024-06-21T04:39:55Z2024-06-21T04:39:55Zby Romero, Juan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72877-1">http://dx.doi.org/10.1007/978-3-540-72877-1</a><br/>Format: Electronic Resources<br/>New Computational Paradigms Changing Conceptions of What is Computableent://SD_ILS/0/SD_ILS:5016122024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cooper, S. Barry. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-68546-5">http://dx.doi.org/10.1007/978-0-387-68546-5</a><br/>Format: Electronic Resources<br/>Linear Genetic Programmingent://SD_ILS/0/SD_ILS:5050382024-06-21T04:39:55Z2024-06-21T04:39:55Zby Brameier, Markus F. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-31030-5">http://dx.doi.org/10.1007/978-0-387-31030-5</a><br/>Format: Electronic Resources<br/>Evolutionary Algorithms for Solving Multi-Objective Problems Second Editionent://SD_ILS/0/SD_ILS:5054482024-06-21T04:39:55Z2024-06-21T04:39:55Zby Coello, Carlos A. Coello. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part IIent://SD_ILS/0/SD_ILS:5127982024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74477-1">http://dx.doi.org/10.1007/978-3-540-74477-1</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part IIIent://SD_ILS/0/SD_ILS:5128002024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74484-9">http://dx.doi.org/10.1007/978-3-540-74484-9</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5123282024-06-21T04:39:55Z2024-06-21T04:39:55Zby Daydé, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71351-7">http://dx.doi.org/10.1007/978-3-540-71351-7</a><br/>Format: Electronic Resources<br/>Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127952024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kermarrec, Anne-Marie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74466-5">http://dx.doi.org/10.1007/978-3-540-74466-5</a><br/>Format: Electronic Resources<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:5127542024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bradley, Aaron R. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126632024-06-21T04:39:55Z2024-06-21T04:39:55Zby Arge, Lars. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Electronic Resources<br/>Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126712024-06-21T04:39:55Z2024-06-21T04:39:55Zby Leivant, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73445-1">http://dx.doi.org/10.1007/978-3-540-73445-1</a><br/>Format: Electronic Resources<br/>Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125952024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kleijn, Jetty. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73094-1">http://dx.doi.org/10.1007/978-3-540-73094-1</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part Ient://SD_ILS/0/SD_ILS:5127972024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74472-6">http://dx.doi.org/10.1007/978-3-540-74472-6</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Local Searchent://SD_ILS/0/SD_ILS:5113282024-06-21T04:39:55Z2024-06-21T04:39:55Zby Michiels, Wil. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-35854-1">http://dx.doi.org/10.1007/978-3-540-35854-1</a><br/>Format: Electronic Resources<br/>Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5124832024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cai, Jin-Yi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72504-6">http://dx.doi.org/10.1007/978-3-540-72504-6</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Text Miningent://SD_ILS/0/SD_ILS:5086662024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kao, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-754-1">http://dx.doi.org/10.1007/978-1-84628-754-1</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice IVent://SD_ILS/0/SD_ILS:5057422024-06-21T04:39:55Z2024-06-21T04:39:55Zby Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format: Electronic Resources<br/>Modelling Distributed Systemsent://SD_ILS/0/SD_ILS:5127372024-06-21T04:39:55Z2024-06-21T04:39:55Zby Fokkink, Wan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Confabulation Theory The Mechanism of Thoughtent://SD_ILS/0/SD_ILS:5119812024-06-21T04:39:55Z2024-06-21T04:39:55Zby Hecht-Nielsen, Robert. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-49605-2">http://dx.doi.org/10.1007/978-3-540-49605-2</a><br/>Format: Electronic Resources<br/>Classification and Learning Using Genetic Algorithms Applications in Bioinformatics and Web Intelligenceent://SD_ILS/0/SD_ILS:5119822024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bandyopadhyay, Sanghamitra. author.<br/><a href="http://dx.doi.org/10.1007/3-540-49607-6">http://dx.doi.org/10.1007/3-540-49607-6</a><br/>Format: Electronic Resources<br/>SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121652024-06-21T04:39:55Z2024-06-21T04:39:55Zby Leeuwen, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69507-3">http://dx.doi.org/10.1007/978-3-540-69507-3</a><br/>Format: Electronic Resources<br/>Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125762024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cooper, S. Barry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73001-9">http://dx.doi.org/10.1007/978-3-540-73001-9</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128022024-06-21T04:39:55Z2024-06-21T04:39:55Zby Diekert, Volker. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74510-5">http://dx.doi.org/10.1007/978-3-540-74510-5</a><br/>Format: Electronic Resources<br/>A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange landent://SD_ILS/0/SD_ILS:5056662024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cohen, William W. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-48278-1">http://dx.doi.org/10.1007/978-0-387-48278-1</a><br/>Format: Electronic Resources<br/>Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5124572024-06-21T04:39:55Z2024-06-21T04:39:55Zby Lehner, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72337-0">http://dx.doi.org/10.1007/978-3-540-72337-0</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5124962024-06-21T04:39:55Z2024-06-21T04:39:55Zby Shi, Yong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72584-8">http://dx.doi.org/10.1007/978-3-540-72584-8</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5124972024-06-21T04:39:55Z2024-06-21T04:39:55Zby Shi, Yong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72586-2">http://dx.doi.org/10.1007/978-3-540-72586-2</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5124982024-06-21T04:39:55Z2024-06-21T04:39:55Zby Shi, Yong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72588-6">http://dx.doi.org/10.1007/978-3-540-72588-6</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5124992024-06-21T04:39:55Z2024-06-21T04:39:55Zby Shi, Yong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72590-9">http://dx.doi.org/10.1007/978-3-540-72590-9</a><br/>Format: Electronic Resources<br/>Computation Engineering Applied Automata Theory and Logicent://SD_ILS/0/SD_ILS:5051272024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gopalakrishnan, Ganesh. author.<br/><a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format: Electronic Resources<br/>Coordination of Large-Scale Multiagent Systemsent://SD_ILS/0/SD_ILS:5047152024-06-21T04:39:55Z2024-06-21T04:39:55Zby Scerri, Paul. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-27972-5">http://dx.doi.org/10.1007/0-387-27972-5</a><br/>Format: Electronic Resources<br/>Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologiesent://SD_ILS/0/SD_ILS:5046912024-06-21T04:39:55Z2024-06-21T04:39:55Zby Zomaya, Albert Y. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-27705-6">http://dx.doi.org/10.1007/0-387-27705-6</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice IIIent://SD_ILS/0/SD_ILS:5047322024-06-21T04:39:55Z2024-06-21T04:39:55Zby Yu, Tina. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-28111-8">http://dx.doi.org/10.1007/0-387-28111-8</a><br/>Format: Electronic Resources<br/>Evolvable Hardwareent://SD_ILS/0/SD_ILS:5050702024-06-21T04:39:55Z2024-06-21T04:39:55Zby Higuchi, Tetsuya. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-31238-2">http://dx.doi.org/10.1007/0-387-31238-2</a><br/>Format: Electronic Resources<br/>Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methodsent://SD_ILS/0/SD_ILS:5050712024-06-21T04:39:55Z2024-06-21T04:39:55Zby Nikolaev, Nikolay Y. author.<br/><a href="http://dx.doi.org/10.1007/0-387-31240-4">http://dx.doi.org/10.1007/0-387-31240-4</a><br/>Format: Electronic Resources<br/>Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chileent://SD_ILS/0/SD_ILS:5053412024-06-21T04:39:55Z2024-06-21T04:39:55Zby Navarro, Gonzalo. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-34735-6">http://dx.doi.org/10.1007/978-0-387-34735-6</a><br/>Format: Electronic Resources<br/>Multivariate Public Key Cryptosystemsent://SD_ILS/0/SD_ILS:5054642024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ding, Jintai. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-36946-4">http://dx.doi.org/10.1007/978-0-387-36946-4</a><br/>Format: Electronic Resources<br/>Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5111982024-06-21T04:39:55Z2024-06-21T04:39:55Zby Donatelli, Susanna. editor.<br/><a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5111072024-06-21T04:39:55Z2024-06-21T04:39:55Zby Alexandrov, Vassil N. editor.<br/><a href="http://dx.doi.org/10.1007/11758501">http://dx.doi.org/10.1007/11758501</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part IIent://SD_ILS/0/SD_ILS:5111082024-06-21T04:39:55Z2024-06-21T04:39:55Zby Alexandrov, Vassil N. editor.<br/><a href="http://dx.doi.org/10.1007/11758525">http://dx.doi.org/10.1007/11758525</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part IIent://SD_ILS/0/SD_ILS:5110462024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/11751588">http://dx.doi.org/10.1007/11751588</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5110472024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina. editor.<br/><a href="http://dx.doi.org/10.1007/11751595">http://dx.doi.org/10.1007/11751595</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part Vent://SD_ILS/0/SD_ILS:5110492024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/11751649">http://dx.doi.org/10.1007/11751649</a><br/>Format: Electronic Resources<br/>Concurrent Zero-Knowledge With Additional Background by Oded Goldreichent://SD_ILS/0/SD_ILS:5107942024-06-21T04:39:55Z2024-06-21T04:39:55Zby Rosen, Alon. author.<br/><a href="http://dx.doi.org/10.1007/3-540-32939-0">http://dx.doi.org/10.1007/3-540-32939-0</a><br/>Format: Electronic Resources<br/>Applications of Membrane Computingent://SD_ILS/0/SD_ILS:5096472024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ciobanu, Gabriel. editor.<br/><a href="http://dx.doi.org/10.1007/3-540-29937-8">http://dx.doi.org/10.1007/3-540-29937-8</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5111092024-06-21T04:39:55Z2024-06-21T04:39:55Zby Alexandrov, Vassil N. editor.<br/><a href="http://dx.doi.org/10.1007/11758532">http://dx.doi.org/10.1007/11758532</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5111102024-06-21T04:39:55Z2024-06-21T04:39:55Zby Alexandrov, Vassil N. editor.<br/><a href="http://dx.doi.org/10.1007/11758549">http://dx.doi.org/10.1007/11758549</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5110482024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/11751632">http://dx.doi.org/10.1007/11751632</a><br/>Format: Electronic Resources<br/>Theoretical Introduction to Programmingent://SD_ILS/0/SD_ILS:5084852024-06-21T04:39:55Z2024-06-21T04:39:55Zby Mills, Bruce. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Electronic Resources<br/>Theory of Computationent://SD_ILS/0/SD_ILS:5085652024-06-21T04:39:55Z2024-06-21T04:39:55Zby Kozen, Dexter C. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-477-5">http://dx.doi.org/10.1007/1-84628-477-5</a><br/>Format: Electronic Resources<br/>Nanotechnology: Science and Computationent://SD_ILS/0/SD_ILS:5096942024-06-21T04:39:55Z2024-06-21T04:39:55Zby Chen, Junghuei. editor.<br/><a href="http://dx.doi.org/10.1007/3-540-30296-4">http://dx.doi.org/10.1007/3-540-30296-4</a><br/>Format: Electronic Resources<br/>Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5115682024-06-21T04:39:55Z2024-06-21T04:39:55Zby Nagel, Wolfgang E. editor.<br/><a href="http://dx.doi.org/10.1007/11823285">http://dx.doi.org/10.1007/11823285</a><br/>Format: Electronic Resources<br/>Parameterized Complexity Theoryent://SD_ILS/0/SD_ILS:5096522024-06-21T04:39:55Z2024-06-21T04:39:55Zby Flum, Jörg. author.<br/><a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Electronic Resources<br/>Biologically Inspired Algorithms for Financial Modellingent://SD_ILS/0/SD_ILS:5098992024-06-21T04:39:55Z2024-06-21T04:39:55Zby Brabazon, Anthony. author.<br/><a href="http://dx.doi.org/10.1007/3-540-31307-9">http://dx.doi.org/10.1007/3-540-31307-9</a><br/>Format: Electronic Resources<br/>Grammatical Picture Generation A Tree-Based Approachent://SD_ILS/0/SD_ILS:5106872024-06-21T04:39:55Z2024-06-21T04:39:55Zby Drewes, Frank. author.<br/><a href="http://dx.doi.org/10.1007/3-540-32507-7">http://dx.doi.org/10.1007/3-540-32507-7</a><br/>Format: Electronic Resources<br/>Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5110362024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cai, Jin-Yi. editor.<br/><a href="http://dx.doi.org/10.1007/11750321">http://dx.doi.org/10.1007/11750321</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedingsent://SD_ILS/0/SD_ILS:5110642024-06-21T04:39:55Z2024-06-21T04:39:55Zby Grigoriev, Dima. editor.<br/><a href="http://dx.doi.org/10.1007/11753728">http://dx.doi.org/10.1007/11753728</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part Ient://SD_ILS/0/SD_ILS:5110452024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gavrilova, Marina. editor.<br/><a href="http://dx.doi.org/10.1007/11751540">http://dx.doi.org/10.1007/11751540</a><br/>Format: Electronic Resources<br/>Experimental Research in Evolutionary Computation The New Experimentalisment://SD_ILS/0/SD_ILS:5103902024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bartz-Beielstein, Thomas. author.<br/><a href="http://dx.doi.org/10.1007/3-540-32027-X">http://dx.doi.org/10.1007/3-540-32027-X</a><br/>Format: Electronic Resources<br/>Interactive Computation The New Paradigment://SD_ILS/0/SD_ILS:5112242024-06-21T04:39:55Z2024-06-21T04:39:55Zby Goldin, Dina. editor.<br/><a href="http://dx.doi.org/10.1007/3-540-34874-3">http://dx.doi.org/10.1007/3-540-34874-3</a><br/>Format: Electronic Resources<br/>Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logicent://SD_ILS/0/SD_ILS:5107912024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bollig, Benedikt. author.<br/><a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Fundamentals of Algebraic Graph Transformationent://SD_ILS/0/SD_ILS:5098602024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ehrig, Hartmut. author.<br/><a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format: Electronic Resources<br/>SAT 2005 Satisfiability Research in the Year 2005ent://SD_ILS/0/SD_ILS:5073292024-06-21T04:39:55Z2024-06-21T04:39:55Zby Giunchiglia, Enrico. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5571-3">http://dx.doi.org/10.1007/978-1-4020-5571-3</a><br/>Format: Electronic Resources<br/>SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5105062024-06-21T04:39:55Z2024-06-21T04:39:55Zby Wiedermann, Jiří. editor.<br/><a href="http://dx.doi.org/10.1007/11611257">http://dx.doi.org/10.1007/11611257</a><br/>Format: Electronic Resources<br/>Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5112802024-06-21T04:39:55Z2024-06-21T04:39:55Zby Futatsugi, Kokichi. editor.<br/><a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Electronic Resources<br/>Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112812024-06-21T04:39:55Z2024-06-21T04:39:55Zby Beckmann, Arnold. editor.<br/><a href="http://dx.doi.org/10.1007/11780342">http://dx.doi.org/10.1007/11780342</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5113332024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bugliesi, Michele. editor.<br/><a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5113342024-06-21T04:39:55Z2024-06-21T04:39:55Zby Bugliesi, Michele. editor.<br/><a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Electronic Resources<br/>Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118362024-06-21T04:39:55Z2024-06-21T04:39:55Zby Levi, Albert. editor.<br/><a href="http://dx.doi.org/10.1007/11902140">http://dx.doi.org/10.1007/11902140</a><br/>Format: Electronic Resources<br/>Super-Recursive Algorithmsent://SD_ILS/0/SD_ILS:5045532024-06-21T04:39:55Z2024-06-21T04:39:55Zby Burgin, Mark. author.<br/><a href="http://dx.doi.org/10.1007/b138114">http://dx.doi.org/10.1007/b138114</a><br/>Format: Electronic Resources<br/>Event-Triggered and Time-Triggered Control Paradigmsent://SD_ILS/0/SD_ILS:5040902024-06-21T04:39:55Z2024-06-21T04:39:55Zby Obermaisser, Roman. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-23044-3">http://dx.doi.org/10.1007/978-0-387-23044-3</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice IIent://SD_ILS/0/SD_ILS:5041242024-06-21T04:39:55Z2024-06-21T04:39:55Zby O’Reilly, Una-May. editor.<br/><a href="http://dx.doi.org/10.1007/b101112">http://dx.doi.org/10.1007/b101112</a><br/>Format: Electronic Resources<br/>Network Control and Engineering for QoS, Security and Mobility, III IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spainent://SD_ILS/0/SD_ILS:5041172024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gaïti, Dominique. editor.<br/><a href="http://dx.doi.org/10.1007/b100917">http://dx.doi.org/10.1007/b100917</a><br/>Format: Electronic Resources<br/>Autonomy Oriented Computing From Problem Solving to Complex Systems Modelingent://SD_ILS/0/SD_ILS:5076982024-06-21T04:39:55Z2024-06-21T04:39:55Zby Liu, Jiming. author.<br/><a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5104762024-06-21T04:39:55Z2024-06-21T04:39:55Zby Sunderam, Vaidy S. editor.<br/><a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Electronic Resources<br/>Contemporary Cryptologyent://SD_ILS/0/SD_ILS:5130992024-06-21T04:39:55Z2024-06-21T04:39:55Zby Catalano, Dario. author.<br/><a href="http://dx.doi.org/10.1007/3-7643-7394-6">http://dx.doi.org/10.1007/3-7643-7394-6</a><br/>Format: Electronic Resources<br/>Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097182024-06-21T04:39:55Z2024-06-21T04:39:55Zby Zhang, Jun. editor.<br/><a href="http://dx.doi.org/10.1007/b104566">http://dx.doi.org/10.1007/b104566</a><br/>Format: Electronic Resources<br/>Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097202024-06-21T04:39:55Z2024-06-21T04:39:55Zby Liew, Kim-Meow. editor.<br/><a href="http://dx.doi.org/10.1007/b103538">http://dx.doi.org/10.1007/b103538</a><br/>Format: Electronic Resources<br/>Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097212024-06-21T04:39:55Z2024-06-21T04:39:55Zby Maher, Michael J. editor.<br/><a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5102372024-06-21T04:39:55Z2024-06-21T04:39:55Zby Daydé, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/b106965">http://dx.doi.org/10.1007/b106965</a><br/>Format: Electronic Resources<br/>Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102972024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cunha, José C. editor.<br/><a href="http://dx.doi.org/10.1007/11549468">http://dx.doi.org/10.1007/11549468</a><br/>Format: Electronic Resources<br/>Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004ent://SD_ILS/0/SD_ILS:5065062024-06-21T04:39:55Z2024-06-21T04:39:55Zby Broy, Manfred. editor.<br/><a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Electronic Resources<br/>Semistructured Database Designent://SD_ILS/0/SD_ILS:5041912024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ling, Tok Wang. author.<br/><a href="http://dx.doi.org/10.1007/b101873">http://dx.doi.org/10.1007/b101873</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101392024-06-21T04:39:55Z2024-06-21T04:39:55Zby Caires, Luís. editor.<br/><a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Theoretical and Experimental DNA Computationent://SD_ILS/0/SD_ILS:5093732024-06-21T04:39:55Z2024-06-21T04:39:55Zby Amos, Martyn. author.<br/><a href="http://dx.doi.org/10.1007/3-540-28131-2">http://dx.doi.org/10.1007/3-540-28131-2</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5104072024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/b136269">http://dx.doi.org/10.1007/b136269</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5104082024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/b136271">http://dx.doi.org/10.1007/b136271</a><br/>Format: Electronic Resources<br/>New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105422024-06-21T04:39:55Z2024-06-21T04:39:55Zby Cooper, S. Barry. editor.<br/><a href="http://dx.doi.org/10.1007/b136981">http://dx.doi.org/10.1007/b136981</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5104062024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/b136266">http://dx.doi.org/10.1007/b136266</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part Ient://SD_ILS/0/SD_ILS:5104702024-06-21T04:39:55Z2024-06-21T04:39:55Zby Sunderam, Vaidy S. editor.<br/><a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Electronic Resources<br/>Complexity Theory and Cryptology An Introduction to Cryptocomplexityent://SD_ILS/0/SD_ILS:5094482024-06-21T04:39:55Z2024-06-21T04:39:55Zby Rothe, Jörg. author.<br/><a href="http://dx.doi.org/10.1007/3-540-28520-2">http://dx.doi.org/10.1007/3-540-28520-2</a><br/>Format: Electronic Resources<br/>SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5097542024-06-21T04:39:55Z2024-06-21T04:39:55Zby Vojtáš, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format: Electronic Resources<br/>Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100372024-06-21T04:39:55Z2024-06-21T04:39:55Zby Ciardo, Gianfranco. editor.<br/><a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format: Electronic Resources<br/>Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102152024-06-21T04:39:55Z2024-06-21T04:39:55Zby Chapman, Barbara M. editor.<br/><a href="http://dx.doi.org/10.1007/b105895">http://dx.doi.org/10.1007/b105895</a><br/>Format: Electronic Resources<br/>Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104452024-06-21T04:39:55Z2024-06-21T04:39:55Zby Yolum, pInar. editor.<br/><a href="http://dx.doi.org/10.1007/11569596">http://dx.doi.org/10.1007/11569596</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5105752024-06-21T04:39:55Z2024-06-21T04:39:55Zby Gervasi, Osvaldo. editor.<br/><a href="http://dx.doi.org/10.1007/b136278">http://dx.doi.org/10.1007/b136278</a><br/>Format: Electronic Resources<br/>Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probabilityent://SD_ILS/0/SD_ILS:5090232024-06-21T04:39:55Z2024-06-21T04:39:55Zby Hutter, Marcus. author.<br/><a href="http://dx.doi.org/10.1007/b138233">http://dx.doi.org/10.1007/b138233</a><br/>Format: Electronic Resources<br/>Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Toleranceent://SD_ILS/0/SD_ILS:5089492024-06-21T04:39:55Z2024-06-21T04:39:55Zby Hromkovič, Juraj. author.<br/><a href="http://dx.doi.org/10.1007/b137871">http://dx.doi.org/10.1007/b137871</a><br/>Format: Electronic Resources<br/>STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102392024-06-21T04:39:55Z2024-06-21T04:39:55Zby Diekert, Volker. editor.<br/><a href="http://dx.doi.org/10.1007/b106485">http://dx.doi.org/10.1007/b106485</a><br/>Format: Electronic Resources<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part IIent://SD_ILS/0/SD_ILS:5104722024-06-21T04:39:55Z2024-06-21T04:39:55Zby Sunderam, Vaidy S. editor.<br/><a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Electronic Resources<br/>