Search Results for Time

1.

Time-Dependent Scheduling

Yazar

Gawiejnowicz, Stanisław. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69446-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Time and Petri Nets

Yazar

Popova-Zeugmann, Louchka. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335059.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41115-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Modeling Time in Computing

Yazar

Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32332-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Visualization of Time-Oriented Data

Yazar

Aigner, Wolfgang. author. Miksch, Silvia. author. Schumann, Heidrun. author. Tominski, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-079-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Real-Time Graphics Rendering Engine

Yazar

Bao, Hujun. author. Hua, Wei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-18342-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Introductory Time Series with R

Yazar

Metcalfe, Andrew V. author. Cowpertwait, Paul S.P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-88698-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Advanced Real-Time Manipulation of Video Streams

Yazar

Herling, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-05810-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Self-Organization in Embedded Real-Time Systems

Yazar

Higuera-Toledano, M. Teresa. editor. Brinkschulte, Uwe. editor. Rettberg, Achim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331293.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-1969-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

Yazar

Buttazzo, Giorgio C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-0676-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Real-Time Systems Design Principles for Distributed Embedded Applications

Yazar

Kopetz, Hermann. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-8237-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Real-Time Vision for Human-Computer Interaction

Yazar

Kisačanin, Branislav. editor. Pavlović, Vladimir. editor. Huang, Thomas S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-27890-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Soft Real-Time Systems Predictability vs. Efficiency

Yazar

Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28147-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01461-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Time Domain Representation of Speech Sounds A Case Study in Bangla

Yazar

Datta, Asoke Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2303-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

Yazar

Liu, Qiyuan. author. Edward, Alexander. author. Briseno-Vidrios, Carlos. author. Silva-Martinez, Jose. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-77225-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Real-Time Detection of Lines and Grids By PClines and Other Approaches

Yazar

Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330974.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4414-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives

Yazar

Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331237.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-0278-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Yazar

Kormanyos, Christopher Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333884.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34688-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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

Yazar

Castellanos, Malu. editor. Dayal, Umeshwar. editor. Rundensteiner, Elke A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334860.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39872-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Makers at Work Folks Reinventing the World One Object or Idea at a Time

Yazar

Osborn, Steven. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330734.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-5993-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

Yazar

Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333751.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33789-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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

Yazar

Grzegorzek, Marcin. editor. Theobalt, Christian. editor. Koch, Reinhard. editor. Kolb, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335174.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-44964-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Time-of-Flight Cameras Principles, Methods and Applications

Yazar

Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331036.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4658-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

The Relevance of the Time Domain to Neural Network Models

Yazar

Rao, A. Ravishankar. editor. Cecchi, Guillermo A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-0724-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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

Yazar

Durrleman, Stanley. editor. Fletcher, Tom. editor. Gerig, Guido. editor. Niethammer, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33555-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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

Yazar

Castellanos, Malu. editor. Dayal, Umeshwar. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33500-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Multidisciplinary Aspects of Time and Time Perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers

Yazar

Vatakis, Argiro. editor. Esposito, Anna. editor. Giagkou, Maria. editor. Cummins, Fred. editor. Papadelis, Georgios. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21478-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

Yazar

Castellanos, Malu. editor. Dayal, Umeshwar. editor. Markl, Volker. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22970-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Yazar

Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-16277-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Yazar

Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9929-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Run-time Models for Self-managing Systems and Applications

Yazar

Ardagna, Danilo. editor. Zhang, Li. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-0346-0433-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Trends in Computational Nanomechanics Transcending Length and Time Scales

Yazar

Dumitrica, Traian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9785-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Agility Across Time and Space Implementing Agile Methods in Global Software Projects

Yazar

Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-12442-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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

Yazar

Chowdhury, Gobinda. editor. Koo, Chris. editor. Hunter, Jane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13654-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Time for Verification Essays in Memory of Amir Pnueli

Yazar

Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13754-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System

Yazar

Alfa, Attahiru Sule. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7314-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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

Yazar

Castellanos, Malu. editor. Dayal, Umeshwar. editor. Miller, Renée J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-14559-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009

Yazar

Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-04783-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008

Yazar

Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85324-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Analysis of Integrated and Cointegrated Time Series with R

Yazar

Pfaff, Bernhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-75967-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Mobilität und Echtzeit Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007

Yazar

Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74837-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks

Yazar

Poovendran, Radha. editor. Roy, Sumit. editor. Wang, Cliff. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-46276-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation

Yazar

Manolache, Sorin. author. Eles, Petru. author. Peng, Zebo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-5509-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Yazar

Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6344-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Iterated Function Systems for Real-Time Image Synthesis

Yazar

Nikiel, Sławomir. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-686-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Real-Time Object Uniform Design Methodology with UML

Yazar

Duc, Bui Minh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5977-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Yazar

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75221-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

Yazar

Krishnaswamy, Dilip. editor. Pfeifer, Tom. editor. Raz, Danny. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75869-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

Yazar

Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75989-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Business Intelligence for the Real-Time Enterprises First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers

Yazar

Bussler, Christoph. editor. Castellanos, Malu. editor. Dayal, Umesh. editor. Navathe, Sham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73950-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Expert Network Time Protocol An Experience in Time with NTP

Yazar

Rybaczyk, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0039-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time

Yazar

Tomassini, Marco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29938-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Principle of Petri Nets

Yazar

Yuan, Chongyi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7336-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Artificial Intelligence and Machine Learning in Sports Science

Yazar

Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-70155-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75775-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75783-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

An Introduction to Theory of Computation An Algorithmic Approach

Yazar

Ogihara, Mitsunori. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84740-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web

Yazar

Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-70132-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75778-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Yazar

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)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37003-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Anomaly Detection in Video Surveillance

Yazar

Wang, Xiaochun. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-3023-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Yazar

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68150-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry

Yazar

Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-4768-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Yazar

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61716-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

Yazar

Blum, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-60103-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Solving Ordinary Differential Equations in Python

Yazar

Sundnes, Joakim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-46768-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Electromagnetic Sources and Electromagnetic Fields

Yazar

Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-9449-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Advanced Spiking Neural P Systems Models and Applications

Yazar

Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-5280-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Yazar

Polkowski, Lech T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42034-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Yazar

Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-28859-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Admissible Consensus and Consensualization for Singular Multi-agent Systems

Yazar

Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6990-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Computer science security : concepts and tools

Yazar

Zaidoun, Ameur Salem, author.

Yer Numarası

QA76.9 .A25 Z35 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

How To Write Your First Thesis

Yazar

Gruba, Paul. author. (orcid)0000-0002-6616-9568 Zobel, Justin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61854-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

Yazar

Mahmood, Zaigham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54325-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Space in Weak Propositional Proof Systems

Yazar

Bonacina, Ilario. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-73453-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67549-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Provably Correct Systems

Yazar

Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-48628-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

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

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54580-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

Yazar

Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59147-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

LaTeX in 24 Hours A Practical Guide for Scientific Writing

Yazar

Datta, Dilip. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47831-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

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

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54577-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63501-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

Yazar

Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59153-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63121-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Forecast Error Correction using Dynamic Data Assimilation

Yazar

Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-39997-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Adventures in Computer Science From Classical Bits to Quantum Bits

Yazar

Moret-Bonillo, Vicente. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64807-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Yazar

Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-32034-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II

Yazar

Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46672-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Yazar

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-45892-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Yazar

Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44878-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Yazar

Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30734-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III

Yazar

Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46675-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Yazar

Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40189-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV

Yazar

Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46681-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Yazar

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29628-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I

Yazar

Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46687-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Process Mining Data Science in Action

Yazar

van der Aalst, Wil M. P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49851-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40648-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

Yazar

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.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30695-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Modeling of Tropospheric Delays Using ANFIS

Yazar

Suparta, Wayan. author. Alhasa, Kemal Maulana. author. SpringerLink (Online service)