Arama Sonuçları Time. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTime.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-21T18:39:19ZTime-Dependent Schedulingent://SD_ILS/0/SD_ILS:1858282026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Gawiejnowicz, Stanisław. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69446-5">http://dx.doi.org/10.1007/978-3-540-69446-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time and Petri Netsent://SD_ILS/0/SD_ILS:3350592026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Popova-Zeugmann, Louchka. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335059.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41115-1">http://dx.doi.org/10.1007/978-3-642-41115-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling Time in Computingent://SD_ILS/0/SD_ILS:1972092026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32332-4">http://dx.doi.org/10.1007/978-3-642-32332-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Graphics Rendering Engineent://SD_ILS/0/SD_ILS:1938622026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Bao, Hujun. author. Hua, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-18342-3">http://dx.doi.org/10.1007/978-3-642-18342-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Visualization of Time-Oriented Dataent://SD_ILS/0/SD_ILS:1684152026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Aigner, Wolfgang. author. Miksch, Silvia. author. Schumann, Heidrun. author. Tominski, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-079-3">http://dx.doi.org/10.1007/978-0-85729-079-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introductory Time Series with Rent://SD_ILS/0/SD_ILS:1678982026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Metcalfe, Andrew V. author. Cowpertwait, Paul S.P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-88698-5">http://dx.doi.org/10.1007/978-0-387-88698-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Real-Time Manipulation of Video Streamsent://SD_ILS/0/SD_ILS:4881372026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Herling, Jan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-05810-4">https://doi.org/10.1007/978-3-658-05810-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-Organization in Embedded Real-Time Systemsent://SD_ILS/0/SD_ILS:3312932026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Higuera-Toledano, M. Teresa. editor. Brinkschulte, Uwe. editor. Rettberg, Achim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331293.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1969-3">http://dx.doi.org/10.1007/978-1-4614-1969-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Systems Design Principles for Distributed Embedded Applicationsent://SD_ILS/0/SD_ILS:1730972026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Kopetz, Hermann. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8237-7">http://dx.doi.org/10.1007/978-1-4419-8237-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applicationsent://SD_ILS/0/SD_ILS:1737522026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Buttazzo, Giorgio C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-0676-1">http://dx.doi.org/10.1007/978-1-4614-0676-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Vision for Human-Computer Interactionent://SD_ILS/0/SD_ILS:1654462026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Kisačanin, Branislav. editor. Pavlović, Vladimir. editor. Huang, Thomas S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-27890-7">http://dx.doi.org/10.1007/0-387-27890-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Soft Real-Time Systems Predictability vs. Efficiencyent://SD_ILS/0/SD_ILS:1654782026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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/>Time Domain Representation of Speech Sounds A Case Study in Banglaent://SD_ILS/0/SD_ILS:4003162026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Datta, Asoke Kumar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-2303-4">https://doi.org/10.1007/978-981-13-2303-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design Techniques for Mash Continuous-Time Delta-Sigma Modulatorsent://SD_ILS/0/SD_ILS:4008712026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Liu, Qiyuan. author. Edward, Alexander. author. Briseno-Vidrios, Carlos. author. Silva-Martinez, Jose. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-77225-7">https://doi.org/10.1007/978-3-319-77225-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Makers at Work Folks Reinventing the World One Object or Idea at a Timeent://SD_ILS/0/SD_ILS:3307342026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Osborn, Steven. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330734.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-5993-0">http://dx.doi.org/10.1007/978-1-4302-5993-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterialsent://SD_ILS/0/SD_ILS:3337512026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333751.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33789-5">http://dx.doi.org/10.1007/978-3-642-33789-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Detection of Lines and Grids By PClines and Other Approachesent://SD_ILS/0/SD_ILS:3309742026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330974.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4414-4">http://dx.doi.org/10.1007/978-1-4471-4414-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time-of-Flight Cameras Principles, Methods and Applicationsent://SD_ILS/0/SD_ILS:3310362026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331036.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4658-2">http://dx.doi.org/10.1007/978-1-4471-4658-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectivesent://SD_ILS/0/SD_ILS:3312372026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331237.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-0278-7">http://dx.doi.org/10.1007/978-1-4614-0278-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:3338842026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Kormanyos, Christopher Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333884.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enabling Real-Time Business Intelligence 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3348602026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Castellanos, Malu. editor. Dayal, Umeshwar. editor. Rundensteiner, Elke A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334860.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39872-8">http://dx.doi.org/10.1007/978-3-642-39872-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalitiesent://SD_ILS/0/SD_ILS:3351742026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Grzegorzek, Marcin. editor. Theobalt, Christian. editor. Koch, Reinhard. editor. Kolb, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335174.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-44964-2">http://dx.doi.org/10.1007/978-3-642-44964-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enabling Real-Time Business Intelligence 5th International Workshop, BIRTE 2011, Held at the 37th International Conference on Very Large Databases, VLDB 2011, Seattle, WA, USA, September 2, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1973892026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Castellanos, Malu. editor. Dayal, Umeshwar. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33500-6">http://dx.doi.org/10.1007/978-3-642-33500-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Relevance of the Time Domain to Neural Network Modelsent://SD_ILS/0/SD_ILS:1737652026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Rao, A. Ravishankar. editor. Cecchi, Guillermo A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-0724-9">http://dx.doi.org/10.1007/978-1-4614-0724-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974012026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Durrleman, Stanley. editor. Fletcher, Tom. editor. Gerig, Guido. editor. Niethammer, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33555-6">http://dx.doi.org/10.1007/978-3-642-33555-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enabling Real-Time Business Intelligence 4th International Workshop, BIRTE 2010, Held at the 36th International Conference on Very Large Databases, VLDB 2010, Singapore, September 13, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1951972026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Castellanos, Malu. editor. Dayal, Umeshwar. editor. Markl, Volker. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22970-1">http://dx.doi.org/10.1007/978-3-642-22970-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systemsent://SD_ILS/0/SD_ILS:2056332026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9929-7">http://dx.doi.org/10.1007/978-90-481-9929-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1932442026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multidisciplinary Aspects of Time and Time Perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1947132026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Vatakis, Argiro. editor. Esposito, Anna. editor. Giagkou, Maria. editor. Cummins, Fred. editor. Papadelis, Georgios. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21478-3">http://dx.doi.org/10.1007/978-3-642-21478-3</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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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/>Trends in Computational Nanomechanics Transcending Length and Time Scalesent://SD_ILS/0/SD_ILS:1706452026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Dumitrica, Traian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9785-0">http://dx.doi.org/10.1007/978-1-4020-9785-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agility Across Time and Space Implementing Agile Methods in Global Software Projectsent://SD_ILS/0/SD_ILS:1919982026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12442-6">http://dx.doi.org/10.1007/978-3-642-12442-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Role of Digital Libraries in a Time of Global Change 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924052026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Chowdhury, Gobinda. editor. Koo, Chris. editor. Hunter, Jane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13654-2">http://dx.doi.org/10.1007/978-3-642-13654-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time for Verification Essays in Memory of Amir Pnuelient://SD_ILS/0/SD_ILS:1924362026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13754-9">http://dx.doi.org/10.1007/978-3-642-13754-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enabling Real-Time Business Intelligence Third International Workshop, BIRTE 2009, Held at the 35th International Conference on Very Large Databases, VLDB 2009, Lyon, France, August 24, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1926952026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Castellanos, Malu. editor. Dayal, Umeshwar. editor. Miller, Renée J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14559-9">http://dx.doi.org/10.1007/978-3-642-14559-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Run-time Models for Self-managing Systems and Applicationsent://SD_ILS/0/SD_ILS:1766792026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Ardagna, Danilo. editor. Zhang, Li. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0346-0433-8">http://dx.doi.org/10.1007/978-3-0346-0433-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008ent://SD_ILS/0/SD_ILS:1886742026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85324-4">http://dx.doi.org/10.1007/978-3-540-85324-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009ent://SD_ILS/0/SD_ILS:1910562026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04783-1">http://dx.doi.org/10.1007/978-3-642-04783-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis of Integrated and Cointegrated Time Series with Rent://SD_ILS/0/SD_ILS:1673162026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Pfaff, Bernhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75967-8">http://dx.doi.org/10.1007/978-0-387-75967-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mobilität und Echtzeit Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007ent://SD_ILS/0/SD_ILS:1872842026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74837-3">http://dx.doi.org/10.1007/978-3-540-74837-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Iterated Function Systems for Real-Time Image Synthesisent://SD_ILS/0/SD_ILS:1755102026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Nikiel, Sławomir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-686-7">http://dx.doi.org/10.1007/1-84628-686-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Business Intelligence for the Real-Time Enterprises First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1870152026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Bussler, Christoph. editor. Castellanos, Malu. editor. Dayal, Umesh. editor. Navathe, Sham. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73950-0">http://dx.doi.org/10.1007/978-3-540-73950-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisationent://SD_ILS/0/SD_ILS:1695022026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Manolache, Sorin. author. Eles, Petru. author. Peng, Zebo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5509-9">http://dx.doi.org/10.1007/1-4020-5509-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Object Uniform Design Methodology with UMLent://SD_ILS/0/SD_ILS:1696472026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Duc, Bui Minh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5977-3">http://dx.doi.org/10.1007/978-1-4020-5977-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platformsent://SD_ILS/0/SD_ILS:1697682026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6344-2">http://dx.doi.org/10.1007/978-1-4020-6344-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networksent://SD_ILS/0/SD_ILS:1663372026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Poovendran, Radha. editor. Roy, Sumit. editor. Wang, Cliff. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-46276-9">http://dx.doi.org/10.1007/978-0-387-46276-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdaysent://SD_ILS/0/SD_ILS:1873662026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Mobile Multimedia Services 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1875232026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Krishnaswamy, Dilip. editor. Pfeifer, Tom. editor. Raz, Danny. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75869-3">http://dx.doi.org/10.1007/978-3-540-75869-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1875542026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75989-8">http://dx.doi.org/10.1007/978-3-540-75989-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Expert Network Time Protocol An Experience in Time with NTPent://SD_ILS/0/SD_ILS:1707442026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Rybaczyk, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-0039-0">http://dx.doi.org/10.1007/978-1-4302-0039-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Timeent://SD_ILS/0/SD_ILS:1821862026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Tomassini, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-29938-6">http://dx.doi.org/10.1007/3-540-29938-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding the Digital Revolution A Beginner's Guide to the Internet and the Webent://SD_ILS/0/SD_ILS:6081292026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-70132-4">https://doi.org/10.1007/978-3-662-70132-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to Theory of Computation An Algorithmic Approachent://SD_ILS/0/SD_ILS:6079542026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence and Machine Learning in Sports Scienceent://SD_ILS/0/SD_ILS:6094212026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-70155-3">https://doi.org/10.1007/978-3-662-70155-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Solving Ordinary Differential Equations in Pythonent://SD_ILS/0/SD_ILS:6019462026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Sundnes, Joakim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-46768-4">https://doi.org/10.1007/978-3-031-46768-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023ent://SD_ILS/0/SD_ILS:6018342026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Platz, Roland. editor. (orcid)0000-0001-5800-5742 Flynn, Garrison. editor. Neal, Kyle. editor. (orcid)0000-0001-7880-1498 Ouellette, Scott. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-37003-8">https://doi.org/10.1007/978-3-031-37003-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6036282026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61716-4">https://doi.org/10.1007/978-3-031-61716-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimizationent://SD_ILS/0/SD_ILS:6039762026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Blum, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-60103-3">https://doi.org/10.1007/978-3-031-60103-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Anomaly Detection in Video Surveillanceent://SD_ILS/0/SD_ILS:6046372026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Wang, Xiaochun. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-3023-0">https://doi.org/10.1007/978-981-97-3023-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6047882026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Spiking Neural P Systems Models and Applicationsent://SD_ILS/0/SD_ILS:6048302026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-5280-5">https://doi.org/10.1007/978-981-97-5280-5</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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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/>Electromagnetic Sources and Electromagnetic Fieldsent://SD_ILS/0/SD_ILS:6023682026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9449-6">https://doi.org/10.1007/978-981-99-9449-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"ent://SD_ILS/0/SD_ILS:5285462026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Polkowski, Lech T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42034-4">https://doi.org/10.1007/978-3-031-42034-4</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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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/>Computer science security : concepts and toolsent://SD_ILS/0/SD_ILS:5977392026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Zaidoun, Ameur Salem, author.<br/>Yer Numarası QA76.9 .A25 Z35 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>How To Write Your First Thesisent://SD_ILS/0/SD_ILS:6115752026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Gruba, Paul. author. (orcid)0000-0002-6616-9568 Zobel, Justin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61854-8">https://doi.org/10.1007/978-3-319-61854-8</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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:6133592026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Bonacina, Ilario. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73453-8">https://doi.org/10.1007/978-3-319-73453-8</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-21T18:39:19Z2026-03-21T18:39:19ZYazar 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/>LaTeX in 24 Hours A Practical Guide for Scientific Writingent://SD_ILS/0/SD_ILS:6143522026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Datta, Dilip. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47831-9">https://doi.org/10.1007/978-3-319-47831-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161832026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Forecast Error Correction using Dynamic Data Assimilationent://SD_ILS/0/SD_ILS:6119462026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39997-3">https://doi.org/10.1007/978-3-319-39997-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Provably Correct Systemsent://SD_ILS/0/SD_ILS:6163822026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48628-4">https://doi.org/10.1007/978-3-319-48628-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Adventures in Computer Science From Classical Bits to Quantum Bitsent://SD_ILS/0/SD_ILS:6178582026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Moret-Bonillo, Vicente. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64807-1">https://doi.org/10.1007/978-3-319-64807-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6174052026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6174332026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6170272026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117982026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-32034-2">https://doi.org/10.1007/978-3-319-32034-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6120862026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46672-9">https://doi.org/10.1007/978-3-319-46672-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6124642026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30695-7">https://doi.org/10.1007/978-3-319-30695-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling of Tropospheric Delays Using ANFISent://SD_ILS/0/SD_ILS:6125192026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Suparta, Wayan. author. Alhasa, Kemal Maulana. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28437-8">https://doi.org/10.1007/978-3-319-28437-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6127272026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130382026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114232026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Göbel, Susanne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to Transfer Entropy Information Flow in Complex Systemsent://SD_ILS/0/SD_ILS:6152022026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43222-9">https://doi.org/10.1007/978-3-319-43222-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:6154952026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6159852026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46681-1">https://doi.org/10.1007/978-3-319-46681-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 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-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6171622026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46687-3">https://doi.org/10.1007/978-3-319-46687-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6162492026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46675-0">https://doi.org/10.1007/978-3-319-46675-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6169532026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar 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-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6183052026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nutrient Use Efficiency: from Basics to Advancesent://SD_ILS/0/SD_ILS:5304562026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Rakshit, Amitava. editor. Singh, Harikesh Bahadur. editor. Sen, Avijit. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-81-322-2169-2">https://doi.org/10.1007/978-81-322-2169-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IP telephony deploying VoIP protocols and IMS infrastructureent://SD_ILS/0/SD_ILS:3189612026-03-21T18:39:19Z2026-03-21T18:39:19ZYazar Hersent, Olivier.<br/>Yer Numarası ONLINE(318961.1)<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589190">http://public.eblib.com/choice/publicfullrecord.aspx?p=589190</a>
ebrary <a href="http://site.ebrary.com/id/10419090">http://site.ebrary.com/id/10419090</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=339156">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=339156</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470973080">http://dx.doi.org/10.1002/9780470973080</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>