Search Results for Time. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTime.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026pe$003dd$00253A$0026ps$003d300?dt=list
2026-03-20T23:36:39Z
Time-Dependent Scheduling
ent://SD_ILS/0/SD_ILS:185828
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Gawiejnowicz, Stanisław. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Time and Petri Nets
ent://SD_ILS/0/SD_ILS:335059
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Popova-Zeugmann, Louchka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335059.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Time in Computing
ent://SD_ILS/0/SD_ILS:197209
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Graphics Rendering Engine
ent://SD_ILS/0/SD_ILS:193862
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Bao, Hujun. author. Hua, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Visualization of Time-Oriented Data
ent://SD_ILS/0/SD_ILS:168415
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Aigner, Wolfgang. author. Miksch, Silvia. author. Schumann, Heidrun. author. Tominski, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introductory Time Series with R
ent://SD_ILS/0/SD_ILS:167898
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Metcalfe, Andrew V. author. Cowpertwait, Paul S.P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Real-Time Manipulation of Video Streams
ent://SD_ILS/0/SD_ILS:488137
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Herling, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Organization in Embedded Real-Time Systems
ent://SD_ILS/0/SD_ILS:331293
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Higuera-Toledano, M. Teresa. editor. Brinkschulte, Uwe. editor. Rettberg, Achim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331293.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Systems Design Principles for Distributed Embedded Applications
ent://SD_ILS/0/SD_ILS:173097
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Kopetz, Hermann. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
ent://SD_ILS/0/SD_ILS:173752
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Buttazzo, Giorgio C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Vision for Human-Computer Interaction
ent://SD_ILS/0/SD_ILS:165446
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Kisačanin, Branislav. editor. Pavlović, Vladimir. editor. Huang, Thomas S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Real-Time Systems Predictability vs. Efficiency
ent://SD_ILS/0/SD_ILS:165478
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Time Domain Representation of Speech Sounds A Case Study in Bangla
ent://SD_ILS/0/SD_ILS:400316
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Datta, Asoke Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Design Techniques for Mash Continuous-Time Delta-Sigma Modulators
ent://SD_ILS/0/SD_ILS:400871
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Liu, Qiyuan. author. Edward, Alexander. author. Briseno-Vidrios, Carlos. author. Silva-Martinez, Jose. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:399861
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
ent://SD_ILS/0/SD_ILS:333884
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Kormanyos, Christopher Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333884.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 Papers
ent://SD_ILS/0/SD_ILS:334860
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Castellanos, Malu. editor. Dayal, Umeshwar. editor. Rundensteiner, Elke A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334860.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Time-of-Flight Cameras Principles, Methods and Applications
ent://SD_ILS/0/SD_ILS:331036
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331036.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives
ent://SD_ILS/0/SD_ILS:331237
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331237.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
ent://SD_ILS/0/SD_ILS:333751
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333751.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Makers at Work Folks Reinventing the World One Object or Idea at a Time
ent://SD_ILS/0/SD_ILS:330734
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Osborn, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330734.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Detection of Lines and Grids By PClines and Other Approaches
ent://SD_ILS/0/SD_ILS:330974
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330974.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 Modalities
ent://SD_ILS/0/SD_ILS:335174
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Grzegorzek, Marcin. editor. Theobalt, Christian. editor. Koch, Reinhard. editor. Kolb, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335174.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 Papers
ent://SD_ILS/0/SD_ILS:197389
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Castellanos, Malu. editor. Dayal, Umeshwar. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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. Proceedings
ent://SD_ILS/0/SD_ILS:197401
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Durrleman, Stanley. editor. Fletcher, Tom. editor. Gerig, Guido. editor. Niethammer, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Relevance of the Time Domain to Neural Network Models
ent://SD_ILS/0/SD_ILS:173765
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Rao, A. Ravishankar. editor. Cecchi, Guillermo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ent://SD_ILS/0/SD_ILS:205633
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 Papers
ent://SD_ILS/0/SD_ILS:195197
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Castellanos, Malu. editor. Dayal, Umeshwar. editor. Markl, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193244
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Multidisciplinary Aspects of Time and Time Perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194713
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Vatakis, Argiro. editor. Esposito, Anna. editor. Giagkou, Maria. editor. Cummins, Fred. editor. Papadelis, Georgios. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Computational Nanomechanics Transcending Length and Time Scales
ent://SD_ILS/0/SD_ILS:170645
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Dumitrica, Traian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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. Proceedings
ent://SD_ILS/0/SD_ILS:192405
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Chowdhury, Gobinda. editor. Koo, Chris. editor. Hunter, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Time for Verification Essays in Memory of Amir Pnueli
ent://SD_ILS/0/SD_ILS:192436
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 Papers
ent://SD_ILS/0/SD_ILS:192695
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Castellanos, Malu. editor. Dayal, Umeshwar. editor. Miller, Renée J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
ent://SD_ILS/0/SD_ILS:172838
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Alfa, Attahiru Sule. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Agility Across Time and Space Implementing Agile Methods in Global Software Projects
ent://SD_ILS/0/SD_ILS:191998
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Run-time Models for Self-managing Systems and Applications
ent://SD_ILS/0/SD_ILS:176679
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Ardagna, Danilo. editor. Zhang, Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008
ent://SD_ILS/0/SD_ILS:188674
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009
ent://SD_ILS/0/SD_ILS:191056
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis of Integrated and Cointegrated Time Series with R
ent://SD_ILS/0/SD_ILS:167316
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Pfaff, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mobilität und Echtzeit Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007
ent://SD_ILS/0/SD_ILS:187284
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks
ent://SD_ILS/0/SD_ILS:166337
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Poovendran, Radha. editor. Roy, Sumit. editor. Wang, Cliff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation
ent://SD_ILS/0/SD_ILS:169502
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Manolache, Sorin. author. Eles, Petru. author. Peng, Zebo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Object Uniform Design Methodology with UML
ent://SD_ILS/0/SD_ILS:169647
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Duc, Bui Minh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
ent://SD_ILS/0/SD_ILS:169768
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Business Intelligence for the Real-Time Enterprises First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187015
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Bussler, Christoph. editor. Castellanos, Malu. editor. Dayal, Umesh. editor. Navathe, Sham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 Birthdays
ent://SD_ILS/0/SD_ILS:187366
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Iterated Function Systems for Real-Time Image Synthesis
ent://SD_ILS/0/SD_ILS:175510
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Nikiel, Sławomir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 Proceedings
ent://SD_ILS/0/SD_ILS:187523
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Krishnaswamy, Dilip. editor. Pfeifer, Tom. editor. Raz, Danny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:187554
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
ent://SD_ILS/0/SD_ILS:182186
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Tomassini, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Network Time Protocol An Experience in Time with NTP
ent://SD_ILS/0/SD_ILS:170744
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Rybaczyk, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
ent://SD_ILS/0/SD_ILS:605987
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
ent://SD_ILS/0/SD_ILS:605988
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Principle of Petri Nets
ent://SD_ILS/0/SD_ILS:606870
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Theory of Computation An Algorithmic Approach
ent://SD_ILS/0/SD_ILS:607954
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
ent://SD_ILS/0/SD_ILS:608129
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
ent://SD_ILS/0/SD_ILS:609023
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Machine Learning in Sports Science
ent://SD_ILS/0/SD_ILS:609421
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
ent://SD_ILS/0/SD_ILS:601834
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Solving Ordinary Differential Equations in Python
ent://SD_ILS/0/SD_ILS:601946
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Sundnes, Joakim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Electromagnetic Sources and Electromagnetic Fields
ent://SD_ILS/0/SD_ILS:602368
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
ent://SD_ILS/0/SD_ILS:603976
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Blum, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Anomaly Detection in Video Surveillance
ent://SD_ILS/0/SD_ILS:604637
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Wang, Xiaochun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:603628
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604788
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Spiking Neural P Systems Models and Applications
ent://SD_ILS/0/SD_ILS:604830
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry
ent://SD_ILS/0/SD_ILS:604893
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
ent://SD_ILS/0/SD_ILS:527804
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Admissible Consensus and Consensualization for Singular Multi-agent Systems
ent://SD_ILS/0/SD_ILS:528356
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:528546
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Polkowski, Lech T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer science security : concepts and tools
ent://SD_ILS/0/SD_ILS:597739
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Zaidoun, Ameur Salem, author.<br/>Preferred Shelf Number QA76.9 .A25 Z35 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Forecast Error Correction using Dynamic Data Assimilation
ent://SD_ILS/0/SD_ILS:611946
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
ent://SD_ILS/0/SD_ILS:612946
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 I
ent://SD_ILS/0/SD_ILS:615930
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 II
ent://SD_ILS/0/SD_ILS:617027
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617405
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617433
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Space in Weak Propositional Proof Systems
ent://SD_ILS/0/SD_ILS:613359
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Bonacina, Ilario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
LaTeX in 24 Hours A Practical Guide for Scientific Writing
ent://SD_ILS/0/SD_ILS:614352
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Datta, Dilip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Provably Correct Systems
ent://SD_ILS/0/SD_ILS:616382
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
How To Write Your First Thesis
ent://SD_ILS/0/SD_ILS:611575
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Gruba, Paul. author. (orcid)0000-0002-6616-9568 Zobel, Justin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613532
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Adventures in Computer Science From Classical Bits to Quantum Bits
ent://SD_ILS/0/SD_ILS:617858
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Moret-Bonillo, Vicente. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
ent://SD_ILS/0/SD_ILS:614906
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Göbel, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Transfer Entropy Information Flow in Complex Systems
ent://SD_ILS/0/SD_ILS:615202
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617162
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611423
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:612086
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling of Tropospheric Delays Using ANFIS
ent://SD_ILS/0/SD_ILS:612519
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Suparta, Wayan. author. Alhasa, Kemal Maulana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Directed Algebraic Topology and Concurrency
ent://SD_ILS/0/SD_ILS:615495
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:615985
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616134
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:616249
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611798
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612464
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613038
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618305
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616953
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Nutrient Use Efficiency: from Basics to Advances
ent://SD_ILS/0/SD_ILS:530456
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Rakshit, Amitava. editor. Singh, Harikesh Bahadur. editor. Sen, Avijit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
IP telephony deploying VoIP protocols and IMS infrastructure
ent://SD_ILS/0/SD_ILS:318961
2026-03-20T23:36:39Z
2026-03-20T23:36:39Z
Author Hersent, Olivier.<br/>Preferred Shelf Number ONLINE(318961.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>