Arama Sonuçları System. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystem.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-31T21:36:47ZEmbedded System Designent://SD_ILS/0/SD_ILS:1656942026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Marwedel, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-30087-2">http://dx.doi.org/10.1007/0-387-30087-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Continuous System Simulationent://SD_ILS/0/SD_ILS:1657102026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-30260-3">http://dx.doi.org/10.1007/0-387-30260-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro Python System Administrationent://SD_ILS/0/SD_ILS:1713352026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Sileika, Rytis. author. Parkes, Duncan. editor. Lowman, Michelle. editor. Andres, Clay. editor. Anglin, Steve. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-2606-2">http://dx.doi.org/10.1007/978-1-4302-2606-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro Linux System Administrationent://SD_ILS/0/SD_ILS:1712282026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Turnbull, James. author. Lieverdink, Peter. author. Matotek, Dennis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-1913-2">http://dx.doi.org/10.1007/978-1-4302-1913-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Improvements in System Safetyent://SD_ILS/0/SD_ILS:1757112026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-100-8">http://dx.doi.org/10.1007/978-1-84800-100-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Industrial Deployment of System Engineering Methodsent://SD_ILS/0/SD_ILS:3336752026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333675.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Debugging at the Electronic System Levelent://SD_ILS/0/SD_ILS:2054422026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9255-7">http://dx.doi.org/10.1007/978-90-481-9255-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Power System Modelling and Scriptingent://SD_ILS/0/SD_ILS:1924102026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Milano, Federico. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13669-6">http://dx.doi.org/10.1007/978-3-642-13669-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automating Linux and Unix System Administrationent://SD_ILS/0/SD_ILS:1711452026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Campi, Nate. author. Bauer, Kirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-1060-3">http://dx.doi.org/10.1007/978-1-4302-1060-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Ruby for System Administrationent://SD_ILS/0/SD_ILS:1708982026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Hamou, André Ben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0194-6">http://dx.doi.org/10.1007/978-1-4302-0194-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Models of Operating System Kernelsent://SD_ILS/0/SD_ILS:1755272026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Craig, Iain D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-718-3">http://dx.doi.org/10.1007/978-1-84628-718-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Refinement for Operating System Kernelsent://SD_ILS/0/SD_ILS:1756492026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Craig, Iain D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-967-5">http://dx.doi.org/10.1007/978-1-84628-967-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro Visual Studio 2005 Team Systement://SD_ILS/0/SD_ILS:1708762026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Levinson, Jeff. author. Nelson, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0171-7">http://dx.doi.org/10.1007/978-1-4302-0171-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Insecurity Risking the Systement://SD_ILS/0/SD_ILS:1753542026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Furnell, Steven. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-270-5">http://dx.doi.org/10.1007/1-84628-270-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System and Architecture Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:3991532026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Muttoo, Sunil Kumar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-8533-8">https://doi.org/10.1007/978-981-10-8533-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Complex Binary Number System Algorithms and Circuitsent://SD_ILS/0/SD_ILS:3354702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Jamil, Tariq. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335470.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling and Simulation Exploring Dynamic System Behaviourent://SD_ILS/0/SD_ILS:3308822026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330882.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2783-3">http://dx.doi.org/10.1007/978-1-4471-2783-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analyzing Computer System Performance with Perl::PDQent://SD_ILS/0/SD_ILS:1950722026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gunther, Neil J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22583-3">http://dx.doi.org/10.1007/978-3-642-22583-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ingredients for Successful System Level Design Methodologyent://SD_ILS/0/SD_ILS:1701852026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8472-0">http://dx.doi.org/10.1007/978-1-4020-8472-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Workflow in the 2007 Microsoft Office Systement://SD_ILS/0/SD_ILS:1709692026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Mann, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0323-0">http://dx.doi.org/10.1007/978-1-4302-0323-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling and Simulation Exploring Dynamic System Behaviourent://SD_ILS/0/SD_ILS:1754782026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-622-3">http://dx.doi.org/10.1007/978-1-84628-622-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded System Design: Topics, Techniques and Trendsent://SD_ILS/0/SD_ILS:1669282026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Dömer, Rainer. editor. Gerstlauer, Andreas. editor. Rammig, Franz J. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-72258-0">http://dx.doi.org/10.1007/978-0-387-72258-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Role Competency Matrix A Step-By-Step Guide to an Objective Competency Management Systement://SD_ILS/0/SD_ILS:4840352026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kuruba, Mahesh. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-7972-7">https://doi.org/10.1007/978-981-13-7972-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016ent://SD_ILS/0/SD_ILS:4009102026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62920-9">https://doi.org/10.1007/978-3-319-62920-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Brain-Machine Interface Closed-loop Bidirectional System Designent://SD_ILS/0/SD_ILS:4012412026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67940-2">https://doi.org/10.1007/978-3-319-67940-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Thingsent://SD_ILS/0/SD_ILS:4021792026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Marwedel, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56045-8">https://doi.org/10.1007/978-3-319-56045-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling and Control of Hybrid Propulsion System for Ground Vehiclesent://SD_ILS/0/SD_ILS:4023072026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53673-5">https://doi.org/10.1007/978-3-662-53673-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Transport System in Smart Cities Aspects and Challenges of Vehicular Networks and Cloudent://SD_ILS/0/SD_ILS:3995142026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar I. Meneguette, Rodolfo. author. E. De Grande, Robson. author. A. F. Loureiro, Antonio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93332-0">https://doi.org/10.1007/978-3-319-93332-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papersent://SD_ILS/0/SD_ILS:4000442026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019492026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal System Verification State-of the-Art and Future Trendsent://SD_ILS/0/SD_ILS:4022582026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networksent://SD_ILS/0/SD_ILS:3992682026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Usman, Muhammad. author. Muthukkumarasamy, Vallipuram. author. Wu, Xin-Wen. author. Khanum, Surraya. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-7467-7">https://doi.org/10.1007/978-981-10-7467-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114332026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6169192026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.ent://SD_ILS/0/SD_ILS:3555542026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Aarno, Daniel. Engblom, Jakob.<br/>Yer Numarası ONLINE(355554.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128007259">http://www.sciencedirect.com/science/book/9780128007259</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network and System Security 8th International Conference, NSS 2014, Xi'an, China, October 15-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890912026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Au, Man Ho. editor. Carminati, Barbara. editor. Kuo, C.-C. Jay. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11698-3">https://doi.org/10.1007/978-3-319-11698-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>CAN System Engineering From Theory to Practical Applicationsent://SD_ILS/0/SD_ILS:3312272026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Lawrenz, Wolfhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331227.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5613-0">http://dx.doi.org/10.1007/978-1-4471-5613-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System-Level Validation High-Level Modeling and Directed Test Generation Techniquesent://SD_ILS/0/SD_ILS:3312652026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331265.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1359-2">http://dx.doi.org/10.1007/978-1-4614-1359-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Estimating Spoken Dialog System Quality with User Modelsent://SD_ILS/0/SD_ILS:3334522026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Engelbrecht, Klaus-Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333452.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31591-6">http://dx.doi.org/10.1007/978-3-642-31591-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341112026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334111.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36062-6">http://dx.doi.org/10.1007/978-3-642-36062-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351882026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Burg, Andreas. editor. Coṣkun, Ayṣe. editor. Guthaus, Matthew. editor. Katkoori, Srinivas. editor. Reis, Ricardo. editor.<br/>Yer Numarası ONLINE(335188.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45073-0">http://dx.doi.org/10.1007/978-3-642-45073-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341362026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334136.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Monte Carlo Simulation Method for System Reliability and Risk Analysisent://SD_ILS/0/SD_ILS:3310172026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Zio, Enrico. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331017.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4588-2">http://dx.doi.org/10.1007/978-1-4471-4588-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3342822026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334282.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346382026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Lopez, Javier. editor. Huang, Xinyi. editor. Sandhu, Ravi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334638.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38631-2">http://dx.doi.org/10.1007/978-3-642-38631-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350012026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335001.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40776-5">http://dx.doi.org/10.1007/978-3-642-40776-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IT-Projektmanagement als kybernetisches System Intelligente Entscheidungsfindung in der Projektführung durch Feedbackent://SD_ILS/0/SD_ILS:3383832026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Lent, Bogdan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(338383.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2512-4">http://dx.doi.org/10.1007/978-3-8348-2512-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IT-Risikomanagement mit System Praxisorientiertes Management von Informationssicherheits- und IT-Risikenent://SD_ILS/0/SD_ILS:3383282026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Königs, Hans-Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(338328.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2165-2">http://dx.doi.org/10.1007/978-3-8348-2165-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Open Core Protocol Fastpath to System-on-Chip Designent://SD_ILS/0/SD_ILS:1735902026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Schwaderer, W David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-0103-2">http://dx.doi.org/10.1007/978-1-4614-0103-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Business System Management and Engineering From Open Issues to Applicationsent://SD_ILS/0/SD_ILS:1972182026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32439-0">http://dx.doi.org/10.1007/978-3-642-32439-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1975132026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34396-4">http://dx.doi.org/10.1007/978-3-642-34396-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papersent://SD_ILS/0/SD_ILS:1958952026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25264-8">http://dx.doi.org/10.1007/978-3-642-25264-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Incomplete Information System and Rough Set Theory Models and Attribute Reductionsent://SD_ILS/0/SD_ILS:1960872026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Yang, Xibei. author. Yang, Jingyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25935-7">http://dx.doi.org/10.1007/978-3-642-25935-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network and System Security 6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975292026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Xu, Li. editor. Bertino, Elisa. editor. Mu, Yi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34601-9">http://dx.doi.org/10.1007/978-3-642-34601-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computationent://SD_ILS/0/SD_ILS:1976682026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Molter, H. Gregor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-658-00397-5">http://dx.doi.org/10.1007/978-3-658-00397-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1975092026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34381-0">http://dx.doi.org/10.1007/978-3-642-34381-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Applications for Security, Control and System Engineering International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975862026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kim, Tai-hoon. editor. Stoica, Adrian. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Villalba, Javier García. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35264-5">http://dx.doi.org/10.1007/978-3-642-35264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1976152026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cranefield, Stephen. editor. Riemsdijk, M. Birna. editor. Vázquez-Salceda, Javier. editor. Noriega, Pablo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35545-5">http://dx.doi.org/10.1007/978-3-642-35545-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Specification and Design Languages Selected Contributions from FDL 2010ent://SD_ILS/0/SD_ILS:1739372026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1427-8">http://dx.doi.org/10.1007/978-1-4614-1427-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Disruptive Logic Architectures and Technologies From Device to System Levelent://SD_ILS/0/SD_ILS:1741852026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3058-2">http://dx.doi.org/10.1007/978-1-4614-3058-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974242026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Timm, Ingo J. editor. Guttmann, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33690-4">http://dx.doi.org/10.1007/978-3-642-33690-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IT-Notfallmanagement mit System Notfälle bei der Informationsverarbeitung sicher beherrschenent://SD_ILS/0/SD_ILS:1990462026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Klett, Gerhard. author. Schröder, Klaus-Werner. author. Kersten, Heinrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-8226-4">http://dx.doi.org/10.1007/978-3-8348-8226-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-Learning Speaker Identification A System for Enhanced Speech Recognitionent://SD_ILS/0/SD_ILS:1941952026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Herbig, Tobias. author. Gerl, Franz. author. Minker, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19899-1">http://dx.doi.org/10.1007/978-3-642-19899-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>UNIX Operating System The Development Tutorial via UNIX Kernel Servicesent://SD_ILS/0/SD_ILS:1943702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20432-6">http://dx.doi.org/10.1007/978-3-642-20432-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955622026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961042026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-26010-0">http://dx.doi.org/10.1007/978-3-642-26010-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Electronic System Level Design An Open-Source Approachent://SD_ILS/0/SD_ILS:1706912026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Rigo, Sandro. editor. Azevedo, Rodolfo. editor. Santos, Luiz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9940-3">http://dx.doi.org/10.1007/978-1-4020-9940-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Electronic Value Exchange Origins of the VISA Electronic Payment Systement://SD_ILS/0/SD_ILS:1761682026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Stearns, David L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-139-4">http://dx.doi.org/10.1007/978-1-84996-139-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1947712026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21652-7">http://dx.doi.org/10.1007/978-3-642-21652-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956372026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bouguettaya, Athman. editor. Hauswirth, Manfred. editor. Liu, Ling. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24434-6">http://dx.doi.org/10.1007/978-3-642-24434-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956872026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Klügl, Franziska. editor. Ossowski, Sascha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24603-6">http://dx.doi.org/10.1007/978-3-642-24603-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1936962026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbuch Unternehmenssicherheit Umfassendes Sicherheits-, Kontinuitätsund Risikomanagement mit Systement://SD_ILS/0/SD_ILS:1998752026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Müller, Klaus-Rainer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-9772-5">http://dx.doi.org/10.1007/978-3-8348-9772-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1930212026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15597-0">http://dx.doi.org/10.1007/978-3-642-15597-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1930272026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15615-1">http://dx.doi.org/10.1007/978-3-642-15615-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1930292026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15621-2">http://dx.doi.org/10.1007/978-3-642-15621-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1931062026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15853-7">http://dx.doi.org/10.1007/978-3-642-15853-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918022026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node Systement://SD_ILS/0/SD_ILS:1728382026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Alfa, Attahiru Sule. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7314-6">http://dx.doi.org/10.1007/978-1-4419-7314-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1931082026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15859-9">http://dx.doi.org/10.1007/978-3-642-15859-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932112026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16178-0">http://dx.doi.org/10.1007/978-3-642-16178-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USAent://SD_ILS/0/SD_ILS:1679672026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-89558-1">http://dx.doi.org/10.1007/978-0-387-89558-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro Visual Studio Team System Application Lifecycle Managementent://SD_ILS/0/SD_ILS:1711532026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Rossberg, Joachim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-1079-5">http://dx.doi.org/10.1007/978-1-4302-1079-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908502026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04143-3">http://dx.doi.org/10.1007/978-3-642-04143-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Modeling and Optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1910642026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Korytowski, Adam. editor. Malanowski, Kazimierz. editor. Mitkowski, Wojciech. editor. Szymkat, Maciej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04802-9">http://dx.doi.org/10.1007/978-3-642-04802-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IT-Risiko-Management mit System Von den Grundlagen bis zur Realisierung – Ein praxisorientierter Leitfadenent://SD_ILS/0/SD_ILS:2000222026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Königs, Hans-Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-9993-4">http://dx.doi.org/10.1007/978-3-8348-9993-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Geometric Algebra: An Algebraic System for Computer Games and Animationent://SD_ILS/0/SD_ILS:1759652026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-379-2">http://dx.doi.org/10.1007/978-1-84882-379-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Biometric System and Data Analysis Design, Evaluation, and Data Miningent://SD_ILS/0/SD_ILS:1674972026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dunstone, Ted. editor. Yager, Neil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-77627-9">http://dx.doi.org/10.1007/978-0-387-77627-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1895652026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-95948-9">http://dx.doi.org/10.1007/978-3-540-95948-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning by Playing. Game-based Education System Design and Development 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906032026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Chang, Maiga. editor. Kuo, Rita. editor. Kinshuk. editor. Chen, Gwo-Dong. editor. Hirose, Michitaka. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03364-3">http://dx.doi.org/10.1007/978-3-642-03364-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Making Grids Work Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greeceent://SD_ILS/0/SD_ILS:1675862026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Danelutto, Marco. author. Fragopoulou, Paraskevi. author. Getov, Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-78448-9">http://dx.doi.org/10.1007/978-0-387-78448-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Embedded System Design using Microcontrollersent://SD_ILS/0/SD_ILS:1701492026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Parab, Jivan S. author. Shinde, Santosh A. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8393-8">http://dx.doi.org/10.1007/978-1-4020-8393-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IT-Sicherheit mit System Sicherheitspyramide — Sicherheits-, Kontinuitäts- und Risikomanagement — Normen und Practices — SOA und Softwareentwicklungent://SD_ILS/0/SD_ILS:1995512026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Müller, Klaus-Rainer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-9432-8">http://dx.doi.org/10.1007/978-3-8348-9432-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI-SoC: Research Trends in VLSI and Systems on Chip Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, Franceent://SD_ILS/0/SD_ILS:1672222026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Micheli, Giovanni. editor. Mir, Salvador. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-74909-9">http://dx.doi.org/10.1007/978-0-387-74909-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Adaptive Cooperation between Driver and Assistant System Improving Road Safetyent://SD_ILS/0/SD_ILS:1871712026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Holzmann, Frédéric. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74474-0">http://dx.doi.org/10.1007/978-3-540-74474-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889152026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bergmann, Ralph. editor. Lindemann, Gabriela. editor. Kirn, Stefan. editor. Pěchouček, Michal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australiaent://SD_ILS/0/SD_ILS:1670752026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Reis, Ricardo. editor. Osseiran, Adam. editor. Pfleiderer, Hans-Joerg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-73661-7">http://dx.doi.org/10.1007/978-0-387-73661-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Face Recognition Methods System Design, Impementation and Evaluationent://SD_ILS/0/SD_ILS:1662472026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Wechsler, Harry. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-38464-1">http://dx.doi.org/10.1007/978-0-387-38464-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Co-design for System Acceleration A Quantitative Approachent://SD_ILS/0/SD_ILS:1695172026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5546-1">http://dx.doi.org/10.1007/978-1-4020-5546-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environmentsent://SD_ILS/0/SD_ILS:1866362026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72727-9">http://dx.doi.org/10.1007/978-3-540-72727-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873152026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Operating System Design and Implementation The OSP 2 Approachent://SD_ILS/0/SD_ILS:1755922026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-843-6">http://dx.doi.org/10.1007/1-84628-843-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FotoWare Color Factory System installieren – Funktionen optimal nutzenent://SD_ILS/0/SD_ILS:1845502026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Pfeifer, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-37465-7">http://dx.doi.org/10.1007/978-3-540-37465-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Active Conceptual Modeling of Learning Next Generation Learning-Base System Developmentent://SD_ILS/0/SD_ILS:1878952026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Processor Design System-on-Chip Computing for ASICs and FPGAsent://SD_ILS/0/SD_ILS:1695102026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Nurmi, Jari. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5530-0">http://dx.doi.org/10.1007/978-1-4020-5530-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1871552026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74442-9">http://dx.doi.org/10.1007/978-3-540-74442-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1872552026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Kang. editor. Fei, Minrui. editor. Irwin, George William. editor. Ma, Shiwei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74769-7">http://dx.doi.org/10.1007/978-3-540-74769-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1872562026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Kang. editor. Li, Xin. editor. Irwin, George William. editor. He, Gusen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74771-0">http://dx.doi.org/10.1007/978-3-540-74771-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germanyent://SD_ILS/0/SD_ILS:1659342026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-33403-3">http://dx.doi.org/10.1007/0-387-33403-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italyent://SD_ILS/0/SD_ILS:1659022026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ceragioli, F. editor. Dontchev, A. editor. Futura, H. editor. Marti, K. editor. Pandolfi, L. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-33006-2">http://dx.doi.org/10.1007/0-387-33006-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chileent://SD_ILS/0/SD_ILS:1660662026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Avison, David. editor. Elliot, Steve. editor. Krogstie, John. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-34732-5">http://dx.doi.org/10.1007/978-0-387-34732-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IT-Risiko-Management mit System Von den Grundlagen bis zur Realisierung — Ein praxisorientierter Leitfadenent://SD_ILS/0/SD_ILS:1992312026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Königs, Hans-Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-9062-7">http://dx.doi.org/10.1007/978-3-8348-9062-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Platform Based Design at the Electronic System Level Industry Perspectives and Experiencesent://SD_ILS/0/SD_ILS:1693852026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Critical Infrastructures at Risk Securing the European Electric Power Systement://SD_ILS/0/SD_ILS:1691552026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gheorghe, A.V. editor. Masera, M. editor. Weijnen, M. editor. Vries, De L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4364-3">http://dx.doi.org/10.1007/1-4020-4364-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VOCUS: A Visual Attention System for Object Detection and Goal-Directed Searchent://SD_ILS/0/SD_ILS:1834972026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Frintrop, Simone. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11682110">http://dx.doi.org/10.1007/11682110</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1847182026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1848822026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11872283">http://dx.doi.org/10.1007/11872283</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Economics The Economy as a Complex Dynamic Systement://SD_ILS/0/SD_ILS:1845132026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bruun, Charlotte. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-37249-0">http://dx.doi.org/10.1007/3-540-37249-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1854592026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Modeling and Optimization Proceedings of the 21st IFIP TC7 Conference held in July 21st–25th, 2003, Sophia Antipolis, Franceent://SD_ILS/0/SD_ILS:1649262026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cagnol, John. editor. Zolésio, Jean-Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b101574">http://dx.doi.org/10.1007/b101574</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Level Design of Reconfigurable Systems-on-Chipent://SD_ILS/0/SD_ILS:1652272026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136832">http://dx.doi.org/10.1007/b136832</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1818442026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Eymann, Torsten. editor. Klügl, Franziska. editor. Lamersdorf, Winfried. editor. Klusch, Matthias. editor. Huhns, Michael N. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11550648">http://dx.doi.org/10.1007/11550648</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1828972026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Amyot, Daniel. editor. Williams, Alan W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105884">http://dx.doi.org/10.1007/b105884</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831432026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11556930">http://dx.doi.org/10.1007/11556930</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005ent://SD_ILS/0/SD_ILS:1752572026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System-level Test and Validation of Hardware/Software Systemsent://SD_ILS/0/SD_ILS:1752722026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-145-8">http://dx.doi.org/10.1007/1-84628-145-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System-Level Design Techniques for Energy-Efficient Embedded Systemsent://SD_ILS/0/SD_ILS:1646252026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Schmitz, Marcus T. author. Al-Hashimi, Bashir M. author. Eles, Petru. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106642">http://dx.doi.org/10.1007/b106642</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Economic Analysis of Information System Investment in Banking Industryent://SD_ILS/0/SD_ILS:2038732026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ukai, Yasuharu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138968">http://dx.doi.org/10.1007/b138968</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>GPU Solutions to Multi-scale Problems in Science and Engineeringent://SD_ILS/0/SD_ILS:3330702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Yuen, David A. editor. Wang, Long. editor. Chi, Xuebin. editor. Johnsson, Lennart. editor. Ge, Wei. editor.<br/>Yer Numarası ONLINE(333070.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16405-7">http://dx.doi.org/10.1007/978-3-642-16405-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6057382026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6057832026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papersent://SD_ILS/0/SD_ILS:6057992026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73741-1">https://doi.org/10.1007/978-3-031-73741-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principle of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Yuan, Chongyi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6073802026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82024-3">https://doi.org/10.1007/978-3-031-82024-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6074172026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-81806-6">https://doi.org/10.1007/978-3-031-81806-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6079082026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-4207-6">https://doi.org/10.1007/978-981-96-4207-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6081732026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6081742026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082982026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082992026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6084702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-88930-1">https://doi.org/10.1007/978-3-031-88930-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Pythonent://SD_ILS/0/SD_ILS:6087722026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-2718-9">https://doi.org/10.1007/978-981-96-2718-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088422026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Antifragility in Natural Systems From Principles to Applicationsent://SD_ILS/0/SD_ILS:6091522026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90391-5">https://doi.org/10.1007/978-3-031-90391-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6071732026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-1490-5">https://doi.org/10.1007/978-981-96-1490-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6074552026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82021-2">https://doi.org/10.1007/978-3-031-82021-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080452026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-87217-4">https://doi.org/10.1007/978-3-031-87217-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Biological Computingent://SD_ILS/0/SD_ILS:6080032026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Xu, Jin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-3870-3">https://doi.org/10.1007/978-981-96-3870-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6054722026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6083372026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-86695-1">https://doi.org/10.1007/978-3-031-86695-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Tools for Telemedicineent://SD_ILS/0/SD_ILS:6083812026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-81709-0">https://doi.org/10.1007/978-3-031-81709-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6085892026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219 Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-7071-0">https://doi.org/10.1007/978-981-96-7071-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6086272026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Huang, Letian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-6403-0">https://doi.org/10.1007/978-981-96-6403-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089372026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-95497-9">https://doi.org/10.1007/978-3-031-95497-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6089512026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-94677-6">https://doi.org/10.1007/978-3-031-94677-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6089262026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-94569-4">https://doi.org/10.1007/978-3-031-94569-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6089272026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-94571-7">https://doi.org/10.1007/978-3-031-94571-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Creative approaches towards development of computing and multidisciplinary IT solutions for societyent://SD_ILS/0/SD_ILS:5993712026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bijalwan, Anchit, editor.<br/>Yer Numarası QA76 .C74 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6021362026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-46002-9">https://doi.org/10.1007/978-3-031-46002-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6021392026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49361-4">https://doi.org/10.1007/978-3-031-49361-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6021862026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50078-7">https://doi.org/10.1007/978-3-031-50078-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031502026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6031612026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031662026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6032592026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2272-3">https://doi.org/10.1007/978-981-97-2272-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6032602026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2275-4">https://doi.org/10.1007/978-981-97-2275-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6035672026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling Decisions for Artificial Intelligence 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6047132026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Kikuchi, Hiroaki. editor. (orcid)0000-0002-0903-8430 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68208-7">https://doi.org/10.1007/978-3-031-68208-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6047712026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65273-8">https://doi.org/10.1007/978-3-031-65273-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industryent://SD_ILS/0/SD_ILS:6048932026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-4768-9">https://doi.org/10.1007/978-981-97-4768-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IXent://SD_ILS/0/SD_ILS:6016472026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65329-2">https://doi.org/10.1007/978-3-031-65329-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022092026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50072-5">https://doi.org/10.1007/978-3-031-50072-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022162026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6022172026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applicationsent://SD_ILS/0/SD_ILS:6022252026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43540-9">https://doi.org/10.1007/978-3-031-43540-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Liu, Xinyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050502026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70816-9">https://doi.org/10.1007/978-3-031-70816-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6050512026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70819-0">https://doi.org/10.1007/978-3-031-70819-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050832026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68738-9">https://doi.org/10.1007/978-3-031-68738-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6020142026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6023832026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50069-5">https://doi.org/10.1007/978-3-031-50069-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6023902026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50075-6">https://doi.org/10.1007/978-3-031-50075-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FPGA EDA Design Principles and Implementationent://SD_ILS/0/SD_ILS:6024812026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Mathematical Science for Mobility Societyent://SD_ILS/0/SD_ILS:6028752026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9772-5">https://doi.org/10.1007/978-981-99-9772-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6029792026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6030192026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Downey, Rod. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6036722026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6036992026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 Bono, Mayumi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-3076-6">https://doi.org/10.1007/978-981-97-3076-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6037252026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Diehl, Patrick. editor. (orcid)0000-0003-3922-8419 Schuchart, Joseph. editor. Valero-Lara, Pedro. editor. Bosilca, George. editor. (orcid)0000-0003-2411-8495 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61763-8">https://doi.org/10.1007/978-3-031-61763-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6044322026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65238-7">https://doi.org/10.1007/978-3-031-65238-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6044332026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65282-0">https://doi.org/10.1007/978-3-031-65282-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:6044342026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65318-6">https://doi.org/10.1007/978-3-031-65318-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part Xent://SD_ILS/0/SD_ILS:6044352026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65332-2">https://doi.org/10.1007/978-3-031-65332-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6044562026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6045012026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65154-0">https://doi.org/10.1007/978-3-031-65154-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XIent://SD_ILS/0/SD_ILS:6045022026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65343-8">https://doi.org/10.1007/978-3-031-65343-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6046082026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6050252026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65223-3">https://doi.org/10.1007/978-3-031-65223-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6081232026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65285-1">https://doi.org/10.1007/978-3-031-65285-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6102252026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65308-7">https://doi.org/10.1007/978-3-031-65308-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-93582-5">https://doi.org/10.1007/978-3-030-93582-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Terminological Dictionary of Automatic Control, Systems and Roboticsent://SD_ILS/0/SD_ILS:5290512026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35755-8">https://doi.org/10.1007/978-3-031-35755-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthdayent://SD_ILS/0/SD_ILS:5278042026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Admissible Consensus and Consensualization for Singular Multi-agent Systemsent://SD_ILS/0/SD_ILS:5283562026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-6990-4">https://doi.org/10.1007/978-981-19-6990-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4831942026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4860172026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859712026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-5910-1">https://doi.org/10.1007/978-981-13-5910-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001312026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Podelski, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001512026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4004592026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005772026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Mondal, Anirban. editor. Gupta, Himanshu. editor. Srivastava, Jaideep. editor. Reddy, P. Krishna. editor. Somayajulu, D.V.L.N. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04780-1">https://doi.org/10.1007/978-3-030-04780-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006402026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89722-6">https://doi.org/10.1007/978-3-319-89722-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4009882026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Arezes, Pedro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60525-8">https://doi.org/10.1007/978-3-319-60525-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4012232026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015652026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4022132026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4023752026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4026672026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91521-0">https://doi.org/10.1007/978-3-319-91521-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994852026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:3995192026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ahram, Tareq. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60822-8">https://doi.org/10.1007/978-3-319-60822-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995512026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:3998612026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000752026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017312026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4018292026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60825-9">https://doi.org/10.1007/978-3-319-60825-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4018302026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Boring, Ronald Laurids. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60645-3">https://doi.org/10.1007/978-3-319-60645-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4025582026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Fechtelkotter, Paul. editor. Legatt, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60204-2">https://doi.org/10.1007/978-3-319-60204-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4019912026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019952026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dependable Multicore Architectures at Nanoscaleent://SD_ILS/0/SD_ILS:4021902026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54422-9">https://doi.org/10.1007/978-3-319-54422-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governanceent://SD_ILS/0/SD_ILS:4024622026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69224-1">https://doi.org/10.1007/978-3-319-69224-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992182026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992382026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Data Management Fundamental Issues and Recent Developmentsent://SD_ILS/0/SD_ILS:3992772026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96193-4">https://doi.org/10.1007/978-3-319-96193-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3993562026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994722026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3995972026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3996082026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000962026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01790-3">https://doi.org/10.1007/978-3-030-01790-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002472026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05171-6">https://doi.org/10.1007/978-3-030-05171-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:4002632026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4002652026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4004792026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Negi, Atul. editor. (orcid)0000-0001-5707-130X Bhatnagar, Raj. editor. Parida, Laxmi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72344-0">https://doi.org/10.1007/978-3-319-72344-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4004952026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005542026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015ent://SD_ILS/0/SD_ILS:4008092026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-4980-4">https://doi.org/10.1007/978-981-10-4980-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4008312026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Paul, Manoranjan. editor. Hitoshi, Carlos. editor. Huang, Qingming. editor. (orcid)0000-0002-9247-2763 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75786-5">https://doi.org/10.1007/978-3-319-75786-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011072026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90053-7">https://doi.org/10.1007/978-3-319-90053-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011102026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4014612026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92459-5">https://doi.org/10.1007/978-3-319-92459-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4016702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115992026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6116082026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65948-0">https://doi.org/10.1007/978-3-319-65948-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6121502026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6121742026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57711-1">https://doi.org/10.1007/978-3-319-57711-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Intelligence for Network Structure Analyticsent://SD_ILS/0/SD_ILS:6123592026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-4558-5">https://doi.org/10.1007/978-981-10-4558-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modeling Perspectivesent://SD_ILS/0/SD_ILS:6125562026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67271-7">https://doi.org/10.1007/978-3-319-67271-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6126182026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6135322026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalizationent://SD_ILS/0/SD_ILS:6134372026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Draheim, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6134832026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Tryfonas, Theo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58460-7">https://doi.org/10.1007/978-3-319-58460-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162542026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54999-6">https://doi.org/10.1007/978-3-319-54999-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163162026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6164482026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132662026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137382026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIIent://SD_ILS/0/SD_ILS:6138612026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55862-1">https://doi.org/10.1007/978-3-662-55862-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159702026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159722026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66284-8">https://doi.org/10.1007/978-3-319-66284-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159812026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159932026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6170342026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:6174652026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6178412026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111512026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-Aware Computing Systemsent://SD_ILS/0/SD_ILS:6115352026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Reversible Computingent://SD_ILS/0/SD_ILS:6133092026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Morita, Kenichi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6110872026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-32859-1">https://doi.org/10.1007/978-3-319-32859-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6111112026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114362026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6114382026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42291-6">https://doi.org/10.1007/978-3-319-42291-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114582026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117182026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6119172026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Computing Foundations Core Concepts and Select Scientific Applicationsent://SD_ILS/0/SD_ILS:6123532026-03-31T21:36:47Z2026-03-31T21:36:47ZYazar Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29954-9">https://doi.org/10.1007/978-3-319-29954-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>