Search Results for Springer

1.

Geochemical Modelling of Igneous Processes - Principles And Recipes in R Language Bringing the Power of R to a Geochemical Community

Yazar

Janoušek, Vojtěch. author. Moyen, Jean-François. author. (orcid)0000-0002-0065-2442 Martin, Hervé. author. Erban, Vojtěch. author. Farrow, Colin. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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:

3.

Natural Disasters, When Will They Reach Me?

Yazar

Wijesundera, Isuri. author. Halgamuge, Malka N. author. (orcid)0000-0001-9994-3778 Nanayakkara, Thrishantha. author. Nirmalathas, Thas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1113-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Precipitation Modeling and Quantitative Analysis

Yazar

Li, Xiaofan. author. Gao, Shouting. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-2381-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Probability Models

Yazar

Haigh, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331195.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5343-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Probability for Statistics and Machine Learning Fundamentals and Advanced Topics

Yazar

DasGupta, Anirban. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-9634-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Applied Probability

Yazar

Lange, Kenneth. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7165-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Information Criteria and Statistical Modeling

Yazar

Konishi, Sadanori. author. Kitagawa, Genshiro. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-71887-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Studying Human Populations An Advanced Course in Statistics

Yazar

Longford, Nicholas T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Simulation and Inference for Stochastic Differential Equations With R Examples

Yazar

Iacus, Stefano M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Bayesian Core: A Practical Approach to Computational Bayesian Statistics

Yazar

Marin, Jean-Michel. author. Robert, Christian P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Multiscale Modeling A Bayesian Perspective

Yazar

Ferreira, Marco A. R. author. Lee, Herbert K. H. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Brownian Agents and Active Particles Collective Dynamics in the Natural and Social Sciences

Yazar

Schweitzer, Frank. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

An Introduction to Copulas

Yazar

Nelsen, Roger B. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28678-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Inference in Hidden Markov Models

Yazar

Cappé, Olivier. author. Moulines, Eric. author. Rydén, Tobias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Simulation for Industry 4.0 Past, Present, and Future

Yazar

Gunal, Murat M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04137-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering

Yazar

Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02399-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Finite Element Applications A Practical Guide to the FEM Process

Yazar

Okereke, Michael. author. Keates, Simeon. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Multi-layer Pavement System under Blast Load

Yazar

Wu, Jun. author. Wu, Hao. author. Tan, Hong Wei Andy. author. Chew, Soon Hoe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-5001-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Computational Neurology and Psychiatry

Yazar

Érdi, Péter. editor. Sen Bhattacharya, Basabdatta. editor. Cochran, Amy L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

Yazar

Micheloni, Rino. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering

Yazar

Yoshimura, Shinobu. editor. Hori, Muneo. editor. Ohsaki, Makoto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Application of Surrogate-based Global Optimization to Aerodynamic Design

Yazar

Iuliano, Emiliano. editor. Pérez, Esther Andrés. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Modeling of Magnetoelectric Effects in Composites

Yazar

Bichurin, Mirza. author. Petrov, Vladimir. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-94-017-9156-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Visual Heritage in the Digital Age

Yazar

Ch'ng, Eugene. editor. Gaffney, Vincent. editor. Chapman, Henry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331214.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5535-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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:

27.

Multidimensional Data Visualization Methods and Applications

Yazar

Dzemyda, Gintautas. author. Kurasova, Olga. author. Žilinskas, Julius. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330795.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-0236-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Semantic Modeling and Interoperability in Product and Process Engineering A Technology for Engineering Informatics

Yazar

Ma, Yongsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331135.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits

Yazar

Wirnshofer, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336184.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-6196-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Pyomo – Optimization Modeling in Python

Yazar

Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity

Yazar

Sergienko, Ivan V. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Maintenance Management in Network Utilities Framework and Practical Implementation

Yazar

Gómez Fernández, Juan F. author. Crespo Márquez, Adolfo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Safety and Risk Modeling and Its Applications

Yazar

Pham, Hoang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-470-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Computational Techniques for Structural Health Monitoring

Yazar

Gopalakrishnan, Srinivasan. author. Ruzzene, Massimo. author. Hanagud, Sathyanaraya. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-284-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Advanced Modeling and Optimization of Manufacturing Processes International Research and Development

Yazar

Rao, R. Venkata. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-015-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Simulation Methods for Reliability and Availability of Complex Systems

Yazar

Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-213-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Advances in Modeling Agricultural Systems

Yazar

Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

ANEMONA A Mulit-agent Methodology for Holonic Manufacturing Systems

Yazar

Botti, Vicente. author. Giret, Adriana. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-310-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Shock and Damage Models in Reliability Theory

Yazar

Nakagawa, Toshio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Multi-point Interaction with Real and Virtual Objects

Yazar

Barbagli, Federico. editor. Prattichizzo, Domenico. editor. Salisbury, Kenneth. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136620

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Applications of Machine Learning in Hydroclimatology

Yazar

Srivastav, Roshan. author. (orcid)0000-0002-8175-8969 Nayak, Purna C. author. (orcid)0000-0002-0711-5295 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem

Yazar

Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12842-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering

Yazar

Wang, Yu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-6484-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Modeling, Simulation, and Optimization

Yazar

Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas

Yazar

Dong, Shuning. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Lasso-MPC - Predictive Control with ℓ1-Regularised Least Squares

Yazar

Gallieri, Marco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Multisensory Softness Perceived Compliance from Multiple Sources of Information

Yazar

Di Luca, Massimiliano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6533-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Multi-finger Haptic Interaction

Yazar

Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331173.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5204-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

New Geometric Data Structures for Collision Detection and Haptics

Yazar

Weller, René. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332832.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-01020-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Solving the Mind-Body Problem by the CODAM Neural Model of Consciousness?

Yazar

Taylor, John G. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336368.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-7645-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Uncertainties and Limitations in Simulating Tropical Cyclones

Yazar

Suzuki-Parker, Asuka. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

An Introduction to Modern Mathematical Computing With Mathematica®

Yazar

Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

It's a Nonlinear World

Yazar

Enns, Richard H. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics

Yazar

Campion, Gianni. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-576-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

An Introduction to Modern Mathematical Computing With Maple™

Yazar

Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles

Yazar

Böttcher, Guido. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-935-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Agent-Based Approaches in Economic and Social Complex Systems IV Post-Proceedings of The AESCS International Workshop 2005

Yazar

Terano, Takao. editor. Kita, Hajime. editor. Deguchi, Hiroshi. editor. Kijima, Kyoichi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-71307-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Wireless Ad Hoc and Sensor Networks A Cross-Layer Design Perspective

Yazar

Jurdak, Raja. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Agent-Based Modeling Meets Gaming Simulation

Yazar

Arai, Kiyoshi. Deguchi, Hiroshi. Matsui, Hiroyuki. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/4-431-29427-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Mathematical Modeling of Biosensors An Introduction for Chemists and Mathematicians

Yazar

Baronas, Romas. author. Ivanauskas, Feliksas. author. Kulys, Juozas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-3243-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings

Yazar

Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90660-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings

Yazar

Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4613-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

Yazar

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Yazar

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Yazar

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Understanding Modelling and Programming

Yazar

Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71280-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

Yazar

Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0294-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

Yazar

Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0225-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Fundamentals of the Theory of Mechanical Vibrations

Yazar

Gonçalves Salsa Junior, Rubens. author. (orcid)0000-0003-3067-1705 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings

Yazar

Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Yazar

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Control Systems Benchmarks

Yazar

Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation

Yazar

Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

Yazar

Mazal, Jan. editor. (orcid)0000-0001-5741-558X Fagiolini, Adriano. editor. (orcid)0000-0001-9943-1975 Vasik, Petr. editor. (orcid)0000-0001-6725-7378 Pacillo, Francesco. editor. Bruzzone, Agostino. editor. (orcid)0000-0002-0155-5310

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71397-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Foundations of Robotics

Yazar

Siciliano, Bruno. author. (orcid)0000-0002-1037-0588 Villani, Luigi. author. (orcid)0000-0002-4431-6846 Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278 De Luca, Alessandro. author. (orcid)0000-0002-0713-5608 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Engineering Mathematics with MATLAB® and Simulink®

Yazar

Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-85244-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology

Yazar

Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Multivariable Control Engineering Problems and their Solutions with GNU Octave

Yazar

Borutzky, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023

Yazar

Jha, Brajesh Kumar. editor. (orcid)0000-0001-9370-2949 Jha, Navnit. editor. (orcid)0000-0001-7884-8640 Brahma, Jwngsar. editor. Yavuz, Mehmet. editor. (orcid)0000-0002-3966-6518 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-6794-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Biomechanics of Dental Implants 3-Dimensional Bone Assessment Using CBCT from Laboratory to Clinics

Yazar

Genisa, Maya. author. Shuib, Solehuddin. author. (orcid)0000-0003-4012-6188 Rajion, Zainul Ahmad. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-6023-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Proceedings of the 9th International Conference on Civil Engineering ICOCE 2025, 22-24 March, Singapore

Yazar

Strauss, Eric J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-8990-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Towards Effective Flow Control and Mitigation of Shock Effects in Aeronautical Applications

Yazar

Flaszynski, Pawel. editor. Babinsky, Holger. editor. (orcid)0000-0002-7647-7126 Doerffer, Piotr. editor. (orcid)0000-0002-2464-2054 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Applied Antifragility in Natural Systems From Principles to Applications

Yazar

Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

Yazar

Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0232-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Yazar

Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications

Yazar

Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

Yazar

Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2882-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

Yazar

Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0313-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines

Yazar

Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications

Yazar

Maltarollo, Vinícius Gonçalves. editor. (orcid)0000-0001-9675-5907 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

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:

95.

Fundamental Mathematical Concepts for Machine Learning in Science

Yazar

Michelucci, Umberto. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

The Engineering of Digital Twins

Yazar

Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Intelligent Systems and Computing

Yazar

Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2891-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings

Yazar

Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7225-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

Yazar

Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-59999-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

Yazar

Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1176-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Optimization of Chemical Processes A Sustainable Perspective

Yazar

Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-56862-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I

Yazar

Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7240-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Simulation on Hydration of Tricalcium Silicate in Cement Clinker

Yazar

Shen, Dejian. author. Wang, Xin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II

Yazar

Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7243-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

IT Crisisology Models Object-Based Optimization for Sustainable Development

Yazar

Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8649-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019

Yazar

Tobita, Tetsuo. editor. (orcid)0000-0002-1765-2721 Ichii, Koji. editor. Ueda, Kyohei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings

Yazar

Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52670-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

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:

111.

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

Yazar

Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-6866-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

Yazar

Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0188-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

Yazar

Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Deep Generative Modeling

Yazar

Tomczak, Jakub M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-64087-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

Yazar

Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Structural Decision Diagrams in Digital Test Theory and Applications

Yazar

Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44734-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Yazar

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Yazar

Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Advances in Mechanics Selected Contributions to the 15th International Moroccan Congress of Mechanics, May 24-27, 2022, CMM 2022, Casablanca, Morocco

Yazar

Aniss, Said. editor. (orcid)0000-0002-8700-974X Rahmoune, Miloud. editor. (orcid)0000-0002-1156-689X Mordane, Somia. editor. Ait Ali, Mohamed Elamine. editor. (orcid)0000-0002-5597-7885 Khatyr, Rabha. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-46973-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57256-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers

Yazar

Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets

Yazar

De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67035-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Introduction to Computational Mass Transfer With Applications to Chemical Engineering

Yazar

Yu, Kuo-Tsung. author. Yuan, Xigang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2498-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

Yazar

Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Yazar

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Mental Modeling Approach Risk Management Application Case Studies

Yazar

Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4939-6616-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Yazar

Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Seismic Wave Propagation in Non-Homogeneous Elastic Media by Boundary Elements

Yazar

Manolis, George D. author. Dineva, Petia S. author. Rangelov, Tsviatko V. author. Wuttke, Frank. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

Yazar

Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-56880-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Nature-Inspired Computing and Optimization Theory and Applications

Yazar

Patnaik, Srikanta. editor. Yang, Xin-She. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

Yazar

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Yazar

Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Advances in Social Simulation 2015

Yazar

Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Air Quality Integrated Assessment A European Perspective

Yazar

Guariso, Giorgio. editor. Volta, Marialuisa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas

Yazar

Lu, Xinzheng. author. Guan, Hong. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3087-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Yazar

Cao, Jian. editor. Liu, Jianxun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3996-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Yazar

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

Yazar

Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

Yazar

Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6364-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

Yazar

Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3969-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Urban Dynamics and Simulation Models

Yazar

Pumain, Denise. author. Reuillon, Romain. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

Yazar

Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers

Yazar

Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I

Yazar

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Material Parameter Identification and Inverse Problems in Soft Tissue Biomechanics

Yazar

Avril, Stéphane. editor. Evans, Sam. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

Yazar

Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-52914-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Serious Games and Edutainment Applications Volume II

Yazar

Ma, Minhua. editor. Oikonomou, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51645-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)

Yazar

Park, Seon Ki. editor. Xu, Liang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-43415-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Simulating Social Complexity A Handbook

Yazar

Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers

Yazar

Mikulski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Transactions on Computational Collective Intelligence XXVII

Yazar

Mercik, Jacek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Mathematical Advances Towards Sustainable Environmental Systems

Yazar

Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

Yazar

Yan, Liang. author. Zhang, Lu. author. Peng, Juanjuan. author. Zhang, Lei. author. Jiao, Zongxia. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2309-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Yazar

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Simulating Crowds in Egress Scenarios

Yazar

Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

Yazar

Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Yazar

James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Bankruptcy Prediction through Soft Computing based Deep Learning Technique

Yazar

Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6683-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Subdivision Surface Modeling Technology

Yazar

Liao, Wenhe. author. Liu, Hao. author. Li, Tao. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3515-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

Yazar

Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Guide to Modeling and Simulation of Systems of Systems

Yazar

P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Yazar

Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-70848-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part III

Yazar

Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7305-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Group Processes Data-Driven Computational Approaches

Yazar

Pilny, Andrew. editor. Poole, Marshall Scott. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

Yazar

Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Modeling with Digital Ocean and Digital Coast

Yazar

Zhang, Xin. editor. Wang, Lei. editor. Jiang, Xiaoyi. editor. Zhu, Changming. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I

Yazar

Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6463-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systems

Yazar

Bernardini, Gabriele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

Yazar

Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Yazar

Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

Yazar

Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers

Yazar

Barkowsky, Thomas. editor. Burte, Heather. editor. Hölscher, Christoph. editor. Schultheis, Holger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Yazar

Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Yazar

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

Yazar

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

Yazar

Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

Yazar

Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II

Yazar

Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7302-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I

Yazar

Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7299-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

Yazar

Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3966-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

Yazar

He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7179-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Real-time Monitoring and Operational Control of Drinking-Water Systems

Yazar

Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Combinatorial Testing in Cloud Computing

Yazar

Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-4481-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

Yazar

Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

Yazar

Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6373-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

Yazar

Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Guide to Distributed Simulation with HLA

Yazar

Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Introduction to Computational Social Science Principles and Applications

Yazar

Cioffi-Revilla, Claudio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences

Yazar

Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Planning Support Science for Smarter Urban Futures

Yazar

Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Guide to Scientific Computing in C++

Yazar

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Yazar

Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

Yazar

Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

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:

198.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

Yazar

Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Yazar

Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios

Yazar

Meyer, Benjamin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Transparent Data Mining for Big and Small Data

Yazar

Cerquitelli, Tania. editor. (orcid)0000-0002-9039-6226 Quercia, Daniele. editor. Pasquale, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54024-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Variational Methods in Molecular Modeling

Yazar

Wu, Jianzhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2502-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

Yazar

Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6370-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

Yazar

Xin-lin, Huang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Research Challenges in Modeling and Simulation for Engineering Complex Systems

Yazar

Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

Yazar

Mansi, Tommaso. editor. McLeod, Kristin. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-52718-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

Yazar

Lee, Jong-Hyouk. editor. Pack, Sangheon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II

Yazar

Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6502-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment

Yazar

Borghetti, Fabio. author. Derudi, Marco. author. Gandini, Paolo. author. Frassoldati, Alessio. author. Tavelli, Silvia. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Guide to Simulation-Based Disciplines Advancing Our Computational Future

Yazar

Mittal, Saurabh. editor. Durak, Umut. editor. Ören, Tuncer. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61264-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Analyzing Emotion in Spontaneous Speech

Yazar

Chakraborty, Rupayan. author. Pandharipande, Meghna. author. Kopparapu, Sunil Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7674-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Yazar

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

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:

215.

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Yazar

Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Yazar

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

Yazar

Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

Yazar

van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

Yazar

Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling

Yazar

Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Yazar

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Yazar

Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Yazar

Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Yazar

Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61756-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

Yazar

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Microdomains in the Cardiovascular System

Yazar

Nikolaev, Viacheslav. editor. Zaccolo, Manuela. editor. (orcid)0000-0002-0934-3662 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

Yazar

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

Yazar

Vrtovec, Tomaž. editor. Yao, Jianhua. editor. Glocker, Ben. editor. (orcid)0000-0002-4897-9356 Klinder, Tobias. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

Yazar

Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

Yazar

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

Yazar

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

Yazar

Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Transactions on Computational Collective Intelligence XXII

Yazar

Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49619-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Yazar

Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

Graphical Simulation of Deformable Models

Yazar

Cai, Jianping. author. Lin, Feng. author. Seah, Hock Soon. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signals

Yazar

Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Yazar

Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering

Yazar

Geiser, Juergen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-15117-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Yazar

van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Yazar

Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

Yazar

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Yazar

Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

Yazar

Gaudou, Benoit. editor. Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

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:

248.

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

Yazar

Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Yazar

Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

Pattern Recognition 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings

Yazar

Rosenhahn, Bodo. editor. Andres, Bjoern. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

Yazar

Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies

Yazar

Steinbuch, Rolf. editor. Gekeler, Simon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46596-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

Applied Computer Science

Yazar

Torbert, Shane. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach

Yazar

Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Tangible Interactive Systems Grasping the Real World with Computers

Yazar

Boy, Guy André. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Computational Methods and Clinical Applications for Spine Imaging 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

Yazar

Yao, Jianhua. editor. Vrtovec, Tomaž. editor. Zheng, Guoyan. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X Glocker, Ben. editor. (orcid)0000-0002-4897-9356

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach

Yazar

Setola, Roberto. editor. Rosato, Vittorio. editor. Kyriakides, Elias. editor. Rome, Erich. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers

Yazar

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

Yazar

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings

Yazar

Link, Sebastian. editor. Trujillo, Juan C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Data Assimilation: Mathematical Concepts and Instructive Examples

Yazar

Guzzi, Rodolfo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

Yazar

Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Statistical Analysis of Noise in MRI Modeling, Filtering and Estimation

Yazar

Aja-Fernández, Santiago. author. Vegas-Sánchez-Ferrero, Gonzalo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Yazar

Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Autonomic Road Transport Support Systems

Yazar

McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Fundamentals of Neuromechanics

Yazar

Valero-Cuevas, Francisco J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6747-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II

Yazar

Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2098-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge

Yazar

Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Innovating with Concept Mapping 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings

Yazar

Cañas, Alberto. editor. Reiska, Priit. editor. Novak, Joseph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers

Yazar

Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1019-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III

Yazar

Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2669-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

Yazar

Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3611-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

Yazar

Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3614-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

Yazar

Paias, Ana. editor. Ruthmair, Mario. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers

Yazar

Bian, Fuling. editor. Xie, Yichun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotions

Yazar

Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-31056-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Opportunistic Mobile Networks Advances and Applications

Yazar

Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Real Time Modeling, Simulation and Control of Dynamical Systems

Yazar

Mughal, Asif Mahmood. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

Yazar

Osman, Nardine. editor. Sierra, Carles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques

Yazar

Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

Yazar

Demazeau, Yves. editor. Ito, Takayuki. editor. Bajo, Javier. editor. Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Machine Learning for Evolution Strategies

Yazar

Kramer, Oliver. author. (orcid)0000-0001-7607-1700 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Interactive Modeling and Simulation in Business System Design

Yazar

Roubtsova, Ella. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Spatial Modeling Principles in Earth Sciences

Yazar

Sen, Zekai. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41758-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

Yazar

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets

Yazar

Elsenbroich, Corinna. editor. Anzola, David. editor. Gilbert, Nigel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-45169-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

Yazar

Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

Yazar

Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings

Yazar

Zheng, Guoyan. editor. Liao, Hongen. editor. Jannin, Pierre. editor. Cattin, Philippe. editor. Lee, Su-Lin. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Applications of Soft Computing in Time Series Forecasting Simulation and Modeling Techniques

Yazar

Singh, Pritpal. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Simulating Prehistoric and Ancient Worlds

Yazar

Barceló, Juan A. editor. Del Castillo, Florencia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-31481-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Innovative Simulation Systems

Yazar

Nawrat, Aleksander. editor. Jędrasiak, Karol. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Scholarpedia of Touch

Yazar

Prescott, Tony. editor. Ahissar, Ehud. editor. Izhikevich, Eugene. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.2991/978-94-6239-133-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Structure-Based Mechanics of Tissues and Organs

Yazar

Kassab, Ghassan S. editor. Sacks, Michael S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4899-7630-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers

Yazar

Obaidat, Mohammad S. editor. Kacprzyk, Janusz. editor. Ören, Tuncer. editor. (orcid)0000-0001-8202-285X Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers

Yazar

Mikulski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

Yazar

Bellatreche, Ladjel. editor. Pastor, Óscar. editor. Almendros Jiménez, Jesús M. editor. Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Evacuation Modeling Trends

Yazar

Cuesta, Arturo. editor. Abreu, Orlando. editor. Alvear, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II

Yazar

Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2666-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

Yazar

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}