Search Results for Computer science. - Narrowed by: Online Library - 2007 - 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$0025092007$0025092007$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-11T18:27:51Z
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
ent://SD_ILS/0/SD_ILS:185699
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:186323
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71618-1">http://dx.doi.org/10.1007/978-3-540-71618-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186328
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71629-7">http://dx.doi.org/10.1007/978-3-540-71629-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186338
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71661-7">http://dx.doi.org/10.1007/978-3-540-71661-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:186411
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71956-4">http://dx.doi.org/10.1007/978-3-540-71956-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
ent://SD_ILS/0/SD_ILS:186429
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71999-1">http://dx.doi.org/10.1007/978-3-540-71999-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186614
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Franconi, Enrico. editor. Kifer, Michael. editor. May, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72667-8">http://dx.doi.org/10.1007/978-3-540-72667-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186655
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72794-1">http://dx.doi.org/10.1007/978-3-540-72794-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186741
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Olivetti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186818
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Dainoff, Marvin J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73333-1">http://dx.doi.org/10.1007/978-3-540-73333-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186819
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73335-5">http://dx.doi.org/10.1007/978-3-540-73335-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186827
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73368-3">http://dx.doi.org/10.1007/978-3-540-73368-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:186993
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73871-8">http://dx.doi.org/10.1007/978-3-540-73871-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2006: Robot Soccer World Cup X
ent://SD_ILS/0/SD_ILS:187034
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Lakemeyer, Gerhard. editor. Sklar, Elizabeth. editor. Sorrenti, Domenico G. editor. Takahashi, Tomoichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74024-7">http://dx.doi.org/10.1007/978-3-540-74024-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187207
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74591-4">http://dx.doi.org/10.1007/978-3-540-74591-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187217
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Konev, Boris. editor. Wolter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74621-8">http://dx.doi.org/10.1007/978-3-540-74621-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187438
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author O’Hare, Gregory M. P. editor. Ricci, Alessandro. editor. O’Grady, Michael J. editor. Dikenelli, Oğuz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75524-1">http://dx.doi.org/10.1007/978-3-540-75524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187451
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75563-0">http://dx.doi.org/10.1007/978-3-540-75563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187769
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Cavazza, Marc. editor. Donikian, Stéphane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77039-8">http://dx.doi.org/10.1007/978-3-540-77039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
ent://SD_ILS/0/SD_ILS:187895
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77503-4">http://dx.doi.org/10.1007/978-3-540-77503-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186092
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:186111
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187063
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187374
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Burkhard, Hans-Dieter. editor. Lindemann, Gabriela. editor. Verbrugge, Rineke. editor. Varga, László Zsolt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75254-7">http://dx.doi.org/10.1007/978-3-540-75254-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187267
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74796-3">http://dx.doi.org/10.1007/978-3-540-74796-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187269
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74800-7">http://dx.doi.org/10.1007/978-3-540-74800-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187758
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Kort, Yvonne. editor. IJsselsteijn, Wijnand. editor. Midden, Cees. editor. Eggen, Berry. editor. Fogg, B. J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77006-0">http://dx.doi.org/10.1007/978-3-540-77006-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:185918
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186219
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186815
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73325-6">http://dx.doi.org/10.1007/978-3-540-73325-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
ent://SD_ILS/0/SD_ILS:186753
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73131-3">http://dx.doi.org/10.1007/978-3-540-73131-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:186906
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:186907
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Baresi, Luciano. editor. Fraternali, Piero. editor. Houben, Geert-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73597-7">http://dx.doi.org/10.1007/978-3-540-73597-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187163
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74459-7">http://dx.doi.org/10.1007/978-3-540-74459-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187315
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74949-3">http://dx.doi.org/10.1007/978-3-540-74949-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
ent://SD_ILS/0/SD_ILS:187835
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77296-5">http://dx.doi.org/10.1007/978-3-540-77296-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Verification and Validation An Engineering and Scientific Approach
ent://SD_ILS/0/SD_ILS:166391
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Fisher, Marcus S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enabling Semantic Web Services The Web Service Modeling Ontology
ent://SD_ILS/0/SD_ILS:184092
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34520-6">http://dx.doi.org/10.1007/978-3-540-34520-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving Connectionist Systems The Knowledge Engineering Approach
ent://SD_ILS/0/SD_ILS:175393
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Kasabov, Nikola. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-347-5">http://dx.doi.org/10.1007/978-1-84628-347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Quantum Computer Programming A Genetic Programming Approach
ent://SD_ILS/0/SD_ILS:166173
2024-09-11T18:27:51Z
2024-09-11T18:27:51Z
Author Spector, Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36791-0">http://dx.doi.org/10.1007/978-0-387-36791-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>