Search Results for Computer science. - Narrowed by: Online Library - 2008 - Artificial intelligence. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-08-17T14:28:37Z Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw&ouml;rth, Germany, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188275 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Berghammer, Rudolf. editor.&#160;M&ouml;ller, Bernhard. editor.&#160;Struth, Georg. 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-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188548 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Meseguer, Jos&eacute;. editor.&#160;Ro&#351;u, Grigore. 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-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers ent://SD_ILS/0/SD_ILS:188560 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Weyns, Danny. editor.&#160;Brueckner, Sven A. editor.&#160;Demazeau, Yves. 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-85029-8">http://dx.doi.org/10.1007/978-3-540-85029-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:188563 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Kronland-Martinet, Richard. editor.&#160;Ystad, S&oslash;lvi. editor.&#160;Jensen, Kristoffer. 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-85035-9">http://dx.doi.org/10.1007/978-3-540-85035-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188453 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Luck, Michael. editor.&#160;Padgham, Lin. 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-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189004 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Tang, Changjie. editor.&#160;Ling, Charles X. editor.&#160;Zhou, Xiaofang. editor.&#160;Cercone, Nick J. editor.&#160;Li, Xue. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88192-6">http://dx.doi.org/10.1007/978-3-540-88192-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188915 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Bergmann, Ralph. editor.&#160;Lindemann, Gabriela. editor.&#160;Kirn, Stefan. editor.&#160;P&#283;chou&#269;ek, Michal. 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-87805-6">http://dx.doi.org/10.1007/978-3-540-87805-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188932 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Darzentas, John. editor.&#160;Vouros, George A. editor.&#160;Vosinakis, Spyros. editor.&#160;Arnellos, Argyris. 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-87881-0">http://dx.doi.org/10.1007/978-3-540-87881-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189268 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Cervesato, Iliano. editor.&#160;Veith, Helmut. editor.&#160;Voronkov, Andrei. 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-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RoboCup 2007: Robot Soccer World Cup XI ent://SD_ILS/0/SD_ILS:185612 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Visser, Ubbo. editor.&#160;Ribeiro, Fernando. editor.&#160;Ohashi, Takeshi. editor.&#160;Dellaert, Frank. 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-68847-1">http://dx.doi.org/10.1007/978-3-540-68847-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185982 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Gupta, Aarti. editor.&#160;Malik, Sharad. 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-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings ent://SD_ILS/0/SD_ILS:186166 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Mohamed, Otmane Ait. editor.&#160;Mu&ntilde;oz, C&eacute;sar. editor.&#160;Tahar, Sofi&egrave;ne. 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-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings ent://SD_ILS/0/SD_ILS:186168 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Armando, Alessandro. editor.&#160;Baumgartner, Peter. editor.&#160;Dowek, Gilles. 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-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:188305 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;Padget, Julian. editor.&#160;Ossowski, Sascha. editor.&#160;Noriega, Pablo. 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-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers ent://SD_ILS/0/SD_ILS:188320 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Dastani, Mehdi. editor.&#160;El Fallah Seghrouchni, Amal. editor.&#160;Ricci, Alessandro. editor.&#160;Winikoff, Michael. 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-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Storytelling First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings ent://SD_ILS/0/SD_ILS:189273 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Spierling, Ulrike. editor.&#160;Szilas, Nicolas. 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-89454-4">http://dx.doi.org/10.1007/978-3-540-89454-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185415 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Bechhofer, Sean. editor.&#160;Hauswirth, Manfred. editor.&#160;Hoffmann, J&ouml;rg. editor.&#160;Koubarakis, Manolis. 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-68234-9">http://dx.doi.org/10.1007/978-3-540-68234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185429 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Lea, Doug. editor.&#160;Zavattaro, Gianluigi. 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-68265-3">http://dx.doi.org/10.1007/978-3-540-68265-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Persuasive Technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185496 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Oinas-Kukkonen, Harri. editor.&#160;Hasle, Per. editor.&#160;Harjumaa, Marja. editor.&#160;Segerst&aring;hl, Katarina. editor.&#160;&Oslash;hrstr&oslash;m, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68504-3">http://dx.doi.org/10.1007/978-3-540-68504-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:185554 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Degano, Pierpaolo. editor.&#160;Nicola, Rocco. editor.&#160;Meseguer, Jos&eacute;. 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-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc&#322;aw, Poland, June 18-20, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185697 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Borzemski, Leszek. editor.&#160;Grzech, Adam. editor.&#160;Ali, Moonis. 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-69052-8">http://dx.doi.org/10.1007/978-3-540-69052-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions ent://SD_ILS/0/SD_ILS:185723 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Meyer, Bertrand. editor.&#160;Woodcock, Jim. 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-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:187915 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Baldoni, Matteo. editor.&#160;Son, Tran Cao. editor.&#160;Riemsdijk, M. Birna. editor.&#160;Winikoff, Michael. 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-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188025 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Tuyls, Karl. editor.&#160;Nowe, Ann. editor.&#160;Guessoum, Zahia. editor.&#160;Kudenko, Daniel. 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-77949-0">http://dx.doi.org/10.1007/978-3-540-77949-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188042 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Medina, Raoul. editor.&#160;Obiedkov, Sergei. 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-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188243 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Hendren, Laurie. 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-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188887 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Artikis, Alexander. editor.&#160;O&rsquo;Hare, Gregory M. P. editor.&#160;Stathis, Kostas. editor.&#160;Vouros, George. 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-87654-0">http://dx.doi.org/10.1007/978-3-540-87654-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Problem Solving from Nature &ndash; PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188895 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Rudolph, G&uuml;nter. editor.&#160;Jansen, Thomas. editor.&#160;Lucas, Simon. editor.&#160;Poloni, Carlo. editor.&#160;Beume, Nicola. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87700-4">http://dx.doi.org/10.1007/978-3-540-87700-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189310 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Bui, The Duy. editor.&#160;Ho, Tuong Vinh. editor.&#160;Ha, Quang Thuy. 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-89674-6">http://dx.doi.org/10.1007/978-3-540-89674-6</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-08-17T14:28:37Z 2024-08-17T14:28:37Z 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/> Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers ent://SD_ILS/0/SD_ILS:187920 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Manolopoulos, Yannis. editor.&#160;Filipe, Joaquim. editor.&#160;Constantopoulos, Panos. editor.&#160;Cordeiro, Jos&eacute;. 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-77581-2">http://dx.doi.org/10.1007/978-3-540-77581-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Robotics Mobile Robot Design and Applications with Embedded Systems ent://SD_ILS/0/SD_ILS:185977 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Br&auml;unl, Thomas. 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-70534-5">http://dx.doi.org/10.1007/978-3-540-70534-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Issues in Multi-Agent Systems The AgentCities.ES Experience ent://SD_ILS/0/SD_ILS:198089 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Moreno, Antonio. editor.&#160;Pav&oacute;n, Juan. 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-7643-8543-9">http://dx.doi.org/10.1007/978-3-7643-8543-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Defence Industry Applications of Autonomous Agents and Multi-Agent Systems ent://SD_ILS/0/SD_ILS:198098 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;P&#283;chou&#269;ek, Michal. editor.&#160;Thompson, Simon G. editor.&#160;Voos, Holger. 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-7643-8571-2">http://dx.doi.org/10.1007/978-3-7643-8571-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Semantic Web Services The Web Service Modeling Language ent://SD_ILS/0/SD_ILS:185384 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Bruijn, Jos. author.&#160;Fensel, Dieter. author.&#160;Kerrigan, Mick. author.&#160;Keller, Uwe. author.&#160;Lausen, Holger. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68172-4">http://dx.doi.org/10.1007/978-3-540-68172-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatikforschung in Deutschland ent://SD_ILS/0/SD_ILS:187631 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Reuse, Bernd. editor.&#160;Vollmar, Roland. 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-76550-9">http://dx.doi.org/10.1007/978-3-540-76550-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Service Provisioning ent://SD_ILS/0/SD_ILS:188186 2024-08-17T14:28:37Z 2024-08-17T14:28:37Z Author&#160;Kuropka, Dominik. editor.&#160;Staab, Steffen. editor.&#160;Tr&ouml;ger, Peter. editor.&#160;Weske, Mathias. 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-78617-7">http://dx.doi.org/10.1007/978-3-540-78617-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>