Search Results for Computers. - Narrowed by: SpringerLink (Online service) - E-Book - Artificial intelligence. - Computer science. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputers.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-10T16:11:34Z
Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399630
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94274-2">https://doi.org/10.1007/978-3-319-94274-2</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-10T16:11:34Z
2024-09-10T16:11:34Z
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/>
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487029
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400459
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485742
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:334955
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334955.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40498-6">http://dx.doi.org/10.1007/978-3-642-40498-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335018
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335018.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40849-6">http://dx.doi.org/10.1007/978-3-642-40849-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335019
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335019.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40852-6">http://dx.doi.org/10.1007/978-3-642-40852-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332969
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.<br/>Preferred Shelf Number ONLINE(332969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333011
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(333011.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:334950
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334950.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40477-1">http://dx.doi.org/10.1007/978-3-642-40477-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334951
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334951.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40480-1">http://dx.doi.org/10.1007/978-3-642-40480-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334952
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE(334952.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40483-2">http://dx.doi.org/10.1007/978-3-642-40483-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197459
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191354
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10392-6">http://dx.doi.org/10.1007/978-3-642-10392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:190304
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02377-4">http://dx.doi.org/10.1007/978-3-642-02377-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods, Models and Tools for Fault Tolerance
ent://SD_ILS/0/SD_ILS:189817
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00867-2">http://dx.doi.org/10.1007/978-3-642-00867-2</a><br/>Format: Electronic Resources<br/>Availability 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-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-10T16:11:34Z
2024-09-10T16:11:34Z
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/>
Software Verification and Validation An Engineering and Scientific Approach
ent://SD_ILS/0/SD_ILS:166391
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
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/>
Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183711
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Topics in Exception Handling Techniques
ent://SD_ILS/0/SD_ILS:184545
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11818502">http://dx.doi.org/10.1007/11818502</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Development of Complex Fault-Tolerant Systems
ent://SD_ILS/0/SD_ILS:185062
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182821
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11533962">http://dx.doi.org/10.1007/11533962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems Methodologies and Applications
ent://SD_ILS/0/SD_ILS:182987
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182887
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Specification to Embedded Systems Application
ent://SD_ILS/0/SD_ILS:165390
2024-09-10T16:11:34Z
2024-09-10T16:11:34Z
Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>