Search Results for Information Theory. - Narrowed by: 2008 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInformation$002bTheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026ps$003d300?dt=list 2024-11-28T01:09:15Z Information theory, coding and cryptography ent://SD_ILS/0/SD_ILS:386137 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Bose, Ranjan.<br/>Preferred Shelf Number&#160;QA268 B743 2008<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Information Theory and Network Coding ent://SD_ILS/0/SD_ILS:167661 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Yeung, Raymond W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-79234-7">http://dx.doi.org/10.1007/978-0-387-79234-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Information Theory and Quantum Statistics ent://SD_ILS/0/SD_ILS:187222 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Petz, D&eacute;nes. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74636-2">http://dx.doi.org/10.1007/978-3-540-74636-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2008 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189234 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Pieprzyk, Josef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89255-7">http://dx.doi.org/10.1007/978-3-540-89255-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188543 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Onieva, Jose A. editor.&#160;Sauveron, Damien. editor.&#160;Chaumette, Serge. editor.&#160;Gollmann, Dieter. editor.&#160;Markantonakis, Konstantinos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79966-5">http://dx.doi.org/10.1007/978-3-540-79966-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensitivity and uncertainty analysis ent://SD_ILS/0/SD_ILS:286394 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Cacuci, D. G.&#160;Ionescu-Bujor, Mihaela.&#160;Navon, Ionel Michael.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9780203483572">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensitivity and uncertainty analysis ent://SD_ILS/0/SD_ILS:287334 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Cacuci, D. G.&#160;Ionescu-Bujor, Mihaela.&#160;Navon, Ionel Michael.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9780203498798">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Microeconomics of banking ent://SD_ILS/0/SD_ILS:75847 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Freixas, Xavier.<br/>Preferred Shelf Number&#160;HG 1601 F74 1997<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Handbook of software engineering &amp; knowledge engineering ent://SD_ILS/0/SD_ILS:79287 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Chang, Shi Kuo, 1944- ed.<br/>Preferred Shelf Number&#160;QA 76.758 H36 2001- V.2<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Methoden wissensbasierter Systeme Grundlagen, Algorithmen, Anwendungen ent://SD_ILS/0/SD_ILS:199630 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Beierle, Christoph. author.&#160;Kern-Isberner, Gabriele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9517-2">http://dx.doi.org/10.1007/978-3-8348-9517-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ordnungen, Verb&auml;nde und Relationen mit Anwendungen Studium ent://SD_ILS/0/SD_ILS:199644 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Berghammer, Rudolf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9532-5">http://dx.doi.org/10.1007/978-3-8348-9532-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algoritmi Lo spirito dell&rsquo;informatica ent://SD_ILS/0/SD_ILS:204210 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Harel, David. author.&#160;Feldman, Yishai. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-0580-8">http://dx.doi.org/10.1007/978-88-470-0580-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emergent semantics : interoperability in large-scale decentralized information systems ent://SD_ILS/0/SD_ILS:286068 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Cudr-&#780;Mauroux, Philippe.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439808092">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164748 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Avison, David. editor.&#160;Kasper, George M. editor.&#160;Pernici, Barbara. editor.&#160;Ramos, Isabel. editor.&#160;Roode, Dewald. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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, Italy ent://SD_ILS/0/SD_ILS:164749 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Russo, Barbara. editor.&#160;Damiani, Ernesto. editor.&#160;Hissam, Scott. editor.&#160;Lundell, Bj&ouml;rn. editor.&#160;Succi, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164755 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Bramer, Max. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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, Italy ent://SD_ILS/0/SD_ILS:164756 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Cascini, Gaetano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Kolmogorov Complexity and Its Applications ent://SD_ILS/0/SD_ILS:166508 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Li, Ming. author.&#160;Vit&aacute;nyi, Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hypercomputation Computing Beyond the Church-Turing Barrier ent://SD_ILS/0/SD_ILS:166528 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Syropoulos, Apostolos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> GIS and evidence-based policy making ent://SD_ILS/0/SD_ILS:288418 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Wise, Stephen.&#160;Craglia, Massimo.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420008234">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial intelligence with uncertainty ent://SD_ILS/0/SD_ILS:288940 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Li, Deyi, 1944-&#160;Du, Yi, 1971-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781584889991">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Non-binary error control coding for wireless communication and data storage ent://SD_ILS/0/SD_ILS:298287 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Carrasco, Rolando Antonio.&#160;Johnston, Martin, 1977-&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9780470740415">http://dx.doi.org/10.1002/9780470740415</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10270646">http://site.ebrary.com/lib/alltitles/Doc?id=10270646</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probing Experience From Assessment of User Emotions and Behaviour to Development of Products ent://SD_ILS/0/SD_ILS:169864 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Westerink, Joyce H. D. M. editor.&#160;Ouwerkerk, Martin. editor.&#160;Overbeek, Th&eacute;r&eacute;se J. M. editor.&#160;Pasveer, W. Frank. editor.&#160;Ruyter, Boris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Applied Self-organizing Systems ent://SD_ILS/0/SD_ILS:175656 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Prokopenko, Mikhail. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust Intelligent Systems ent://SD_ILS/0/SD_ILS:175785 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Schuster, Alfons. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi&rsquo;an, China, June 23-27, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185569 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Hee, Kees M. editor.&#160;Valk, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185946 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Hodges, Wilfrid. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decision Procedures An Algorithmic Point of View ent://SD_ILS/0/SD_ILS:187055 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Kroening, Daniel. author.&#160;Strichman, Ofer. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics of Specification Languages ent://SD_ILS/0/SD_ILS:187056 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Bj&oslash;rner, Dines. editor.&#160;Henson, Martin C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi&rsquo;an, China, April 25-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188367 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Agrawal, Manindra. editor.&#160;Du, Dingzhu. editor.&#160;Duan, Zhenhua. editor.&#160;Li, Angsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2008 &ndash; Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188702 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Luque, Emilio. editor.&#160;Margalef, Tom&agrave;s. editor.&#160;Ben&iacute;tez, Domingo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures ent://SD_ILS/0/SD_ILS:188976 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Plasmeijer, Rinus. editor.&#160;So&oacute;s, Anna. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:189027 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Otto, Friedrich. editor.&#160;Fernau, Henning. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189113 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Baek, Joonsang. editor.&#160;Bao, Feng. editor.&#160;Chen, Kefei. editor.&#160;Lai, Xuejia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189241 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Kawano, Yasuhito. editor.&#160;Mosca, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189332 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Costa, Paulo Cesar G. editor.&#160;d&rsquo;Amato, Claudia. editor.&#160;Fanizzi, Nicola. editor.&#160;Laskey, Kathryn B. editor.&#160;Laskey, Kenneth J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189473 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Palma, Jos&eacute; M. Laginha M. editor.&#160;Amestoy, Patrick R. editor.&#160;Dayd&eacute;, Michel. editor.&#160;Mattoso, Marta. editor.&#160;Lopes, Jo&atilde;o Correia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information flow and knowledge sharing ent://SD_ILS/0/SD_ILS:148712 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Silva, Fl&aacute;vio Soares Corr&ecirc;a da.&#160;Agust&iacute; i Cullell, Jaume.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444529350">http://www.sciencedirect.com/science/book/9780444529350</a> ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=15749576&volume=2">http://www.sciencedirect.com/science/publication?issn=15749576&volume=2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Languages and Machines ent://SD_ILS/0/SD_ILS:175720 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Parkes, Alan P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II ent://SD_ILS/0/SD_ILS:185998 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Aceto, Luca. editor.&#160;Damg&aring;rd, Ivan. editor.&#160;Goldberg, Leslie Ann. editor.&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of the Spin Model Checker ent://SD_ILS/0/SD_ILS:175556 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Ben-Ari, Mordechai. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I ent://SD_ILS/0/SD_ILS:185995 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Aceto, Luca. editor.&#160;Damg&aring;rd, Ivan. editor.&#160;Goldberg, Leslie Ann. editor.&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2008 International Conference, Perugia, Italy, June 30 &ndash; July 3, 2008, Proceedings, Part I ent://SD_ILS/0/SD_ILS:185905 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Lagan&agrave;, Antonio. editor.&#160;Taniar, David. editor.&#160;Mun, Youngsong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2008 International Conference, Perugia, Italy, June 30&ndash; July 3, 2008, Proceedings, Part II ent://SD_ILS/0/SD_ILS:185908 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Lagan&agrave;, Antonio. editor.&#160;Taniar, David. editor.&#160;Mun, Youngsong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Media Theory Interdisciplinary Applied Mathematics ent://SD_ILS/0/SD_ILS:186347 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Eppstein, David. author.&#160;Falmagne, Jean-Claude. author.&#160;Ovchinnikov, Sergei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71697-6">http://dx.doi.org/10.1007/978-3-540-71697-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing ent://SD_ILS/0/SD_ILS:186673 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Bandyopadhyay, Subir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Artificial Evolution A Handbook on Evolutionary Art and Music ent://SD_ILS/0/SD_ILS:186674 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Romero, Juan. editor.&#160;Machado, Penousal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Metaheuristics for Hard Optimization ent://SD_ILS/0/SD_ILS:186702 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Siarry, Patrick. editor.&#160;Michalewicz, Zbigniew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiobjective Problem Solving from Nature From Concepts to Applications ent://SD_ILS/0/SD_ILS:186704 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Knowles, Joshua. editor.&#160;Corne, David. editor.&#160;Deb, Kalyanmoy. editor.&#160;Chair, Deva Raj. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unfoldings A Partial-Order Approach to Model Checking ent://SD_ILS/0/SD_ILS:187868 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Esparza, Javier. author.&#160;Heljanko, Keijo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov&yacute; Smokovec, Slovakia, January 19-25, 2008. Proceedings ent://SD_ILS/0/SD_ILS:187916 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Geffert, Viliam. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Bertoni, Alberto. editor.&#160;Preneel, Bart. editor.&#160;N&aacute;vrat, Pavol. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday ent://SD_ILS/0/SD_ILS:188040 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Avron, Arnon. editor.&#160;Dershowitz, Nachum. editor.&#160;Rabinovich, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188141 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Boug&eacute;, Luc. editor.&#160;Forsell, Martti. editor.&#160;Tr&auml;ff, Jesper Larsson. editor.&#160;Streit, Achim. editor.&#160;Ziegler, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science I ent://SD_ILS/0/SD_ILS:188385 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188497 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Hirsch, Edward A. editor.&#160;Razborov, Alexander A. editor.&#160;Semenov, Alexei. editor.&#160;Slissenko, Anatol. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Komplexit&auml;tstheorie und Kryptologie Eine Einf&uuml;hrung in Kryptokomplexit&auml;t ent://SD_ILS/0/SD_ILS:188509 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Rothe, J&ouml;rg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79745-6">http://dx.doi.org/10.1007/978-3-540-79745-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188677 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Breugel, Franck. editor.&#160;Chechik, Marsha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188749 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Dolev, Shlomi. editor.&#160;Haist, Tobias. editor.&#160;Oltean, Mihai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188769 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Fitzgerald, John S. editor.&#160;Haxthausen, Anne E. editor.&#160;Yenigun, Husnu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188772 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Cassez, Franck. editor.&#160;Jard, Claude. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science II ent://SD_ILS/0/SD_ILS:188870 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Wang, Yingxu. editor.&#160;Yao, Yiyu. editor.&#160;Wang, Guoyin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7&ndash;10, 2008, Milano, Italy ent://SD_ILS/0/SD_ILS:164771 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Kendall, Michael. editor.&#160;Samways, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fifth Ifip International Conference On Theoretical Computer Science &ndash; Tcs 2008 ent://SD_ILS/0/SD_ILS:164747 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Ausiello, Giorgio. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Mauri, Giancarlo. editor.&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Algorithms ent://SD_ILS/0/SD_ILS:165701 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Kao, Ming-Yang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Computational Paradigms Changing Conceptions of What is Computable ent://SD_ILS/0/SD_ILS:166594 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Cooper, S. Barry. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Sorbi, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity ent://SD_ILS/0/SD_ILS:166685 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Georgiou, Chryssis. author.&#160;Shvartsman, Alexander A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Genetic Programming Theory and Practice V ent://SD_ILS/0/SD_ILS:167322 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Riolo, Rick. editor.&#160;Soule, Terence. editor.&#160;Worzel, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2008 8th International Conference, Krak&oacute;w, Poland, June 23-25, 2008, Proceedings, Part I ent://SD_ILS/0/SD_ILS:185805 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Bubak, Marian. editor.&#160;Albada, Geert Dick. editor.&#160;Dongarra, Jack. editor.&#160;Sloot, Peter M. A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2008 8th International Conference, Krak&oacute;w, Poland, June 23-25, 2008, Proceedings, Part II ent://SD_ILS/0/SD_ILS:185806 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Bubak, Marian. editor.&#160;Albada, Geert Dick. editor.&#160;Dongarra, Jack. editor.&#160;Sloot, Peter M. A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science &ndash; ICCS 2008 8th International Conference, Krak&oacute;w, Poland, June 23-25, 2008, Proceedings, Part III ent://SD_ILS/0/SD_ILS:185807 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Bubak, Marian. editor.&#160;Albada, Geert Dick. editor.&#160;Dongarra, Jack. editor.&#160;Sloot, Peter M. A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185815 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Beckmann, Arnold. editor.&#160;Dimitracopoulos, Costas. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Time-Dependent Scheduling ent://SD_ILS/0/SD_ILS:185828 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Gawiejnowicz, Stanis&#322;aw. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Crashkurs Mathematik f&uuml;r Informatiker ent://SD_ILS/0/SD_ILS:203825 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Jukna, Stasys. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8351-9214-0">http://dx.doi.org/10.1007/978-3-8351-9214-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deduction, Computation, Experiment Exploring the Effectiveness of Proof ent://SD_ILS/0/SD_ILS:204291 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Lupacchini, Rossella. editor.&#160;Corsi, Giovanna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-0784-0">http://dx.doi.org/10.1007/978-88-470-0784-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network Theorizing Knowledge Work in Telecommunications ent://SD_ILS/0/SD_ILS:238134 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Spinuzzi, Clay.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511509605">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of knowledge representation ent://SD_ILS/0/SD_ILS:145914 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Van Harmelen, Frank.&#160;Lifschitz, Vladimir.&#160;Porter, Bruce, 1956-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444522115">http://www.sciencedirect.com/science/book/9780444522115</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Philosophy of information ent://SD_ILS/0/SD_ILS:148327 2024-11-28T01:09:15Z 2024-11-28T01:09:15Z Author&#160;Adriaans, Pieter.&#160;Benthem, J. F. A. K. van, 1949-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517265">http://www.sciencedirect.com/science/book/9780444517265</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>