Search Results for Modeling. - Narrowed by: Computer science.

Modeling Complex Systems

2024-11-15T17:15:47Z

Author Boccara, Nino. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6562-2
Format: Electronic Resources
Availability Online Library~1

Image-Based Modeling

2024-11-15T17:15:47Z

Author Quan, Long. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6679-7
Format: Electronic Resources
Availability Online Library~1

Software Process Modeling

2024-11-15T17:15:47Z

Author Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104986
Format: Electronic Resources
Availability Online Library~1

Modeling Dynamic Economic Systems

2024-11-15T17:15:47Z

Author Ruth, Matthias. author. Hannon, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2209-9
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation, and Optimization

2024-11-15T17:15:47Z

Author Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70542-2
Format: Electronic Resources
Availability Online Library~1

Haptic Systems Architecture Modeling

2024-11-15T17:15:47Z

Author Weber, Anton. author. Dustdar, Schahram. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7091-0755-3
Format: Electronic Resources
Availability Online Library~1

Computational Modeling in Biomechanics

2024-11-15T17:15:47Z

Author De, Suvranu. editor. Guilak, Farshid. editor. Mofrad R. K., Mohammad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3575-2
Format: Electronic Resources
Availability Online Library~1

Scientific Modeling and Simulations

2024-11-15T17:15:47Z

Author Yip, Sidney. editor. Rubia, Tomás Diaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9741-6
Format: Electronic Resources
Availability Online Library~1

Performance Modeling and Engineering

2024-11-15T17:15:47Z

Author Liu, Zhen. editor. Xia, Cathy H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79361-0
Format: Electronic Resources
Availability Online Library~1

Beginning Relational Data Modeling

2024-11-15T17:15:47Z

Author Allen, Sharon. author. Terry, Evan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0015-4
Format: Electronic Resources
Availability Online Library~1

Modeling Time in Computing

2024-11-15T17:15:47Z

Author Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32332-4
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks: Reference Modeling

2024-11-15T17:15:47Z

Author Camarinha-Matos, Luis M. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79426-6
Format: Electronic Resources
Availability Online Library~1

Dynamic Modeling of Diseases and Pests

2024-11-15T17:15:47Z

Author Hannon, Bruce. author. Ruth, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09560-8
Format: Electronic Resources
Availability Online Library~1

Tangible Modeling with Open Source GIS

2024-11-15T17:15:47Z

Author Petrasova, Anna. author. Harmon, Brendan. author. Petras, Vaclav. author. Tabrizian, Payam. author. Mitasova, Helena. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89303-7
Format: Electronic Resources
Availability Online Library~1

Modeling Companion for Software Practitioners

2024-11-15T17:15:47Z

Author Börger, Egon. author. Raschke, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56641-1
Format: Electronic Resources
Availability Online Library~1

Service Systems Concepts, Modeling, and Programming

2024-11-15T17:15:47Z

Author Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10813-1
Format: Electronic Resources
Availability Online Library~1

Economic Modeling Using Artificial Intelligence Methods

2024-11-15T17:15:47Z

Author Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331116.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5010-7
Format: Electronic Resources
Availability Online Library~1

Spatio-temporal Networks Modeling and Algorithms

2024-11-15T17:15:47Z

Author George, Betsy. author. Kim, Sangho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331620.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4918-8
Format: Electronic Resources
Availability Online Library~1

Modeling Trust Context in Networks

2024-11-15T17:15:47Z

Author Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332190.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: Electronic Resources
Availability Online Library~1

Multiscale Signal Analysis and Modeling

2024-11-15T17:15:47Z

Author Shen, Xiaoping. editor. Zayed, Ahmed I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331437.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4145-8
Format: Electronic Resources
Availability Online Library~1

Pyomo – Optimization Modeling in Python

2024-11-15T17:15:47Z

Author Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3226-5
Format: Electronic Resources
Availability Online Library~1

Digital Urban Modeling and Simulation

2024-11-15T17:15:47Z

Author Arisona, Stefan Müller. editor. Aschwanden, Gideon. editor. Halatsch, Jan. editor. Wonka, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29758-8
Format: Electronic Resources
Availability Online Library~1

Statistical Image Processing and Multidimensional Modeling

2024-11-15T17:15:47Z

Author Fieguth, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7294-1
Format: Electronic Resources
Availability Online Library~1

Sketch-based Interfaces and Modeling

2024-11-15T17:15:47Z

Author Jorge, Joaquim. editor. Samavati, Faramarz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-812-4
Format: Electronic Resources
Availability Online Library~1

Social Media Modeling and Computing

2024-11-15T17:15:47Z

Author Hoi, Steven C.H. editor. Luo, Jiebo. editor. Boll, Susanne. editor. Xu, Dong. editor. Jin, Rong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-436-4
Format: Electronic Resources
Availability Online Library~1

Militarized Conflict Modeling Using Computational Intelligence

2024-11-15T17:15:47Z

Author Marwala, Tshilidzi. author. Lagazio, Monica. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-790-7
Format: Electronic Resources
Availability Online Library~1

Numerical Modeling of Concrete Cracking

2024-11-15T17:15:47Z

Author Hofstetter, Günter. editor. Meschke, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7091-0897-0
Format: Electronic Resources
Availability Online Library~1

Advances on Modeling in Tissue Engineering

2024-11-15T17:15:47Z

Author Fernandes, Paulo R. editor. Bártolo, Paulo Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1254-6
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulating Bodies and Garments

2024-11-15T17:15:47Z

Author Magnenat-Thalmann, Nadia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-263-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Modeling for Biosciences

2024-11-15T17:15:47Z

Author Barnes, David J. author. Chu, Dominique. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-326-8
Format: Electronic Resources
Availability Online Library~1

Modeling and Tools for Network Simulation

2024-11-15T17:15:47Z

Author Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12331-3
Format: Electronic Resources
Availability Online Library~1

Social Computing and Behavioral Modeling

2024-11-15T17:15:47Z

Author Young, Michael J. editor. Salerno, John. editor. Liu, Huan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0056-2
Format: Electronic Resources
Availability Online Library~1

Advances in Modeling Agricultural Systems

2024-11-15T17:15:47Z

Author Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75181-8
Format: Electronic Resources
Availability Online Library~1

Multiscale Modeling and Simulation in Science

2024-11-15T17:15:47Z

Author Engquist, Björn. editor. Lötstedt, Per. editor. Runborg, Olof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88857-4
Format: Electronic Resources
Availability Online Library~1

Crop Modeling and Decision Support

2024-11-15T17:15:47Z

Author Cao, Weixing. editor. White, Jeffrey W. editor. Wang, Enli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01132-0
Format: Electronic Resources
Availability Online Library~1

Information Criteria and Statistical Modeling

2024-11-15T17:15:47Z

Author Konishi, Sadanori. author. Kitagawa, Genshiro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71887-3
Format: Electronic Resources
Availability Online Library~1

Social Computing, Behavioral Modeling, and Prediction

2024-11-15T17:15:47Z

Author Liu, Huan. editor. Salerno, John J. editor. Young, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77672-9
Format: Electronic Resources
Availability Online Library~1

Telecommunications Modeling, Policy, and Technology

2024-11-15T17:15:47Z

Author Raghavan, S. editor. Golden, Bruce. editor. Wasil, Edward. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77780-1
Format: Electronic Resources
Availability Online Library~1

Active Knowledge Modeling of Enterprises

2024-11-15T17:15:47Z

Author Lillehagen, Frank. author. Krogstie, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79416-5
Format: Electronic Resources
Availability Online Library~1

Advances in Mathematical and Statistical Modeling

2024-11-15T17:15:47Z

Author Minguez, Roberto. editor. Sarabia, Jose-Maria. editor. Balakrishnan, N. editor. Arnold, Barry C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4626-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling of Information Systems

2024-11-15T17:15:47Z

Author Olivé, Antoni. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-39390-0
Format: Electronic Resources
Availability Online Library~1

Information and Complexity in Statistical Modeling

2024-11-15T17:15:47Z

Author Rissanen, Jorma. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68812-1
Format: Electronic Resources
Availability Online Library~1

Fuzzy Modeling and Fuzzy Control

2024-11-15T17:15:47Z

Author Zhang, Huaguang. author. Liu, Derong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4539-7
Format: Electronic Resources
Availability Online Library~1

Embedded Systems – Modeling, Technology, and Applications

2024-11-15T17:15:47Z

Author Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4933-1
Format: Electronic Resources
Availability Online Library~1

Algebraic Geometry and Geometric Modeling

2024-11-15T17:15:47Z

Author Elkadi, Mohamed. editor. Mourrain, Bernard. editor. Piene, Ragni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33275-6
Format: Electronic Resources
Availability Online Library~1

Fuzzy Database Modeling with XML

2024-11-15T17:15:47Z

Author Ma, Zongmin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104945
Format: Electronic Resources
Availability Online Library~1

Computer Graphics and Geometric Modeling Mathematics

2024-11-15T17:15:47Z

Author Agoston, Max K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138899
Format: Electronic Resources
Availability Online Library~1

Computational Medicine in Data Mining and Modeling

2024-11-15T17:15:47Z

Author Rakocevic, Goran. editor. Djukic, Tijana. editor. Filipovic, Nenad. editor. Milutinović, Veljko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332448.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8785-2
Format: Electronic Resources
Availability Online Library~1

Material Appearance Modeling: A Data-Coherent Approach

2024-11-15T17:15:47Z

Author Dong, Yue. author. Lin, Stephen. author. Guo, Baining. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334045.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35777-0
Format: Electronic Resources
Availability Online Library~1

Image-Based Geometric Modeling and Mesh Generation

2024-11-15T17:15:47Z

Author Zhang, Yongjie (Jessica). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335740.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4255-0
Format: Electronic Resources
Availability Online Library~1

Behavior Computing Modeling, Analysis, Mining and Decision

2024-11-15T17:15:47Z

Author Cao, Longbing. editor. Yu, Philip S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2969-1
Format: Electronic Resources
Availability Online Library~1

Cross-Word Modeling for Arabic Speech Recognition

2024-11-15T17:15:47Z

Author AbuZeina, Dia. author. Elshafei, Moustafa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1213-7
Format: Electronic Resources
Availability Online Library~1

Similarity and Modeling in Science and Engineering

2024-11-15T17:15:47Z

Author Kuneš, Josef. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-907343-78-0
Format: Electronic Resources
Availability Online Library~1

Modeling of Curves and Surfaces with MATLAB®

2024-11-15T17:15:47Z

Author Rovenski, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71278-9
Format: Electronic Resources
Availability Online Library~1

Thriving Systems Theory and Metaphor-Driven Modeling

2024-11-15T17:15:47Z

Author Waguespack, Leslie J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-302-2
Format: Electronic Resources
Availability Online Library~1

Vibro-Impact Dynamics Modeling, Mapping and Applications

2024-11-15T17:15:47Z

Author Ibrahim, Raouf A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00275-5
Format: Electronic Resources
Availability Online Library~1

Markov Random Field Modeling in Image Analysis

2024-11-15T17:15:47Z

Author Li, Stan Z. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-279-1
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling Trends in Human Algorithms

2024-11-15T17:15:47Z

Author Cai, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89430-8
Format: Electronic Resources
Availability Online Library~1

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2024-11-15T17:15:47Z

Author Zimmermann, Armin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74173-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling, Simulation, Visualization and e-Learning

2024-11-15T17:15:47Z

Author Konaté, Dialla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74339-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning Modeling Data Locally and Globally

2024-11-15T17:15:47Z

Author Huang, Kaizhu. author. Yang, Haiqin. author. King, Irwin. author. Lyu, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79452-3
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions Information Fusion and Aggregation Operators

2024-11-15T17:15:47Z

Author Torra, Vicenç. author. Narukawa, Yasuo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68791-7
Format: Electronic Resources
Availability Online Library~1

Probabilistic Modeling in Bioinformatics and Medical Informatics

2024-11-15T17:15:47Z

Author Husmeier, Dirk. editor. Dybowski, Richard. editor. Roberts, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138794
Format: Electronic Resources
Availability Online Library~1

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-11-15T17:15:47Z

Author Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95246-8
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2024-11-15T17:15:47Z

Author Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724 Davis, Karen C. editor. Du, Xiaoyong. editor. Li, Zhanhuai. editor. Ling, Tok Wang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-11-15T17:15:47Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

Distributed Parameter Modeling and Boundary Control of Flexible Manipulators

2024-11-15T17:15:47Z

Author Liu, Jinkun. author. He, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8300-6
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-11-15T17:15:47Z

Author Cassenti, Daniel N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60591-3
Format: Electronic Resources
Availability Online Library~1

Modeling and Control of Hybrid Propulsion System for Ground Vehicles

2024-11-15T17:15:47Z

Author Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53673-5
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2024-11-15T17:15:47Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91397-1
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Aguiló, Isabel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00202-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-11-15T17:15:47Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2024-11-15T17:15:47Z

Author Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources
Availability Online Library~1

Enterprise Modeling Tackling Business Challenges with the 4EM Method

2024-11-15T17:15:47Z

Author Sandkuhl, Kurt. author. Stirna, Janis. author. (orcid)0000-0002-3669-832X Persson, Anne. author. Wißotzki, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43725-4
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2024-11-15T17:15:47Z

Author Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330586.1)
Electronic Access http://dx.doi.org/10.1007/978-0-85729-865-2
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems User’s Reference

2024-11-15T17:15:47Z

Author Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331013.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4570-7
Format: Electronic Resources
Availability Online Library~1

User Modeling and Adaptation for Daily Routines Providing Assistance to People with Special Needs

2024-11-15T17:15:47Z

Author Martín, Estefanía. editor. Haya, Pablo A. editor. Carro, Rosa M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331054.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4778-7
Format: Electronic Resources
Availability Online Library~1

New Trends in Interaction, Virtual Reality and Modeling

2024-11-15T17:15:47Z

Author Penichet, Victor M.R. editor. Peñalver, Antonio. editor. Gallud, José A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331204.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5445-7
Format: Electronic Resources
Availability Online Library~1

System-Level Validation High-Level Modeling and Directed Test Generation Techniques

2024-11-15T17:15:47Z

Author Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331265.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: Electronic Resources
Availability Online Library~1

Process Simulation and Parametric Modeling for Strategic Project Management

2024-11-15T17:15:47Z

Author Morales, Peter J. author. Anderson, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332177.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6989-6
Format: Electronic Resources
Availability Online Library~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2024-11-15T17:15:47Z

Author Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33278-4
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings

2024-11-15T17:15:47Z

Author Carberry, Sandra. editor. Weibelzahl, Stephan. editor. Micarelli, Alessandro. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334680.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38844-6
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings

2024-11-15T17:15:47Z

Author Ourselin, Sébastien. editor. Rueckert, Daniel. editor. Smith, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334694.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38899-6
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2024-11-15T17:15:47Z

Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334913.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40229-6
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

2024-11-15T17:15:47Z

Author Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335034.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Electronic Resources
Availability Online Library~1

Cognitive Agent-based Computing-I A Unified Framework for Modeling Complex Adaptive Systems using Agent-based & Complex Network-based Methods

2024-11-15T17:15:47Z

Author Niazi, Muaz A. author. Hussain, Amir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335723.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-3852-2
Format: Electronic Resources
Availability Online Library~1

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures

2024-11-15T17:15:47Z

Author Ogras, Umit Y. author. Marculescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335726.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-3958-1
Format: Electronic Resources
Availability Online Library~1

Nonlinear Structural Mechanics Theory, Dynamical Phenomena and Modeling

2024-11-15T17:15:47Z

Author Lacarbonara, Walter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330802.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1276-3
Format: Electronic Resources
Availability Online Library~1

Visual Texture Accurate Material Appearance Measurement, Representation and Modeling

2024-11-15T17:15:47Z

Author Haindl, Michal. author. Filip, Jiří. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331092.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4902-6
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective

2024-11-15T17:15:47Z

Author Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332421.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8483-7
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I

2024-11-15T17:15:47Z

Author Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.
Preferred Shelf Number ONLINE(334039.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35725-1
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II

2024-11-15T17:15:47Z

Author Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.
Preferred Shelf Number ONLINE(334040.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35728-2
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2024-11-15T17:15:47Z

Author Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334282.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources
Availability Online Library~1

S-BPM Illustrated A Storybook about Business Process Modeling and Execution

2024-11-15T17:15:47Z

Author Fleischmann, Albert. author. Raß, Stefan. author. Singer, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334320.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36904-9
Format: Electronic Resources
Availability Online Library~1

Financial Modeling A Backward Stochastic Differential Equations Perspective

2024-11-15T17:15:47Z

Author Crépey, Stéphane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334364.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37113-4
Format: Electronic Resources
Availability Online Library~1

Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings

2024-11-15T17:15:47Z

Author Greenberg, Ariel M. editor. Kennedy, William G. editor. Bos, Nathan D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334385.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37210-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2024-11-15T17:15:47Z

Author Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334797.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39408-9
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2024-11-15T17:15:47Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334742.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39173-6
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2024-11-15T17:15:47Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334745.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39182-8
Format: Electronic Resources
Availability Online Library~1

Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday

2024-11-15T17:15:47Z

Author Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331109.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2024-11-15T17:15:47Z

Author Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331124.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: Electronic Resources
Availability Online Library~1

Moving Target Defense II Application of Game Theory and Adversarial Modeling

2024-11-15T17:15:47Z

Author Jajodia, Sushil. editor. Ghosh, Anup K. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number ONLINE(331766.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5416-8
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2024-11-15T17:15:47Z

Author Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2024-11-15T17:15:47Z

Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334136.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

2024-11-15T17:15:47Z

Author Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334573.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38279-6
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335122.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41550-0
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2024-11-15T17:15:47Z

Author Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335150.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41924-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

2024-11-15T17:15:47Z

Author Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28212-6
Format: Electronic Resources
Availability Online Library~1

Advances in User Modeling UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011, Revised Selected Papers

2024-11-15T17:15:47Z

Author Ardissono, Liliana. editor. Kuflik, Tsvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28509-7
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam

2024-11-15T17:15:47Z

Author Bock, Hans Georg. editor. Hoang, Xuan Phu. editor. Rannacher, Rolf. editor. Schlöder, Johannes P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25707-0
Format: Electronic Resources
Availability Online Library~1

Social Computing, Behavioral - Cultural Modeling and Prediction 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings

2024-11-15T17:15:47Z

Author Yang, Shanchieh Jay. editor. Greenberg, Ariel M. editor. Endsley, Mica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29047-3
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

2024-11-15T17:15:47Z

Author Engemann, Kurt J. editor. Gil-Lafuente, Anna M. editor. Merigó, José M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30433-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

2024-11-15T17:15:47Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30782-9
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaptation, and Personalization 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings

2024-11-15T17:15:47Z

Author Masthoff, Judith. editor. Mobasher, Bamshad. editor. Desmarais, Michel C. editor. Nkambou, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31454-4
Format: Electronic Resources
Availability Online Library~1

Modeling and Mining Ubiquitous Social Media International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers

2024-11-15T17:15:47Z

Author Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33684-3
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings

2024-11-15T17:15:47Z

Author Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33999-8
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

2024-11-15T17:15:47Z

Author Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34002-4
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-11-15T17:15:47Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2024-11-15T17:15:47Z

Author Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Electronic Resources
Availability Online Library~1

New Approaches in Modeling Multiphase Flows and Dispersion in Turbulence, Fractal Methods and Synthetic Turbulence

2024-11-15T17:15:47Z

Author Nicolleau, F.C.G.A. editor. Cambon, C. editor. Redondo, J.-M. editor. Vassilicos, J.C. editor. Reeks, M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2506-5
Format: Electronic Resources
Availability Online Library~1

Business Processes for Business Communities Modeling Languages, Methods, Tools

2024-11-15T17:15:47Z

Author Schönthaler, Frank. author. Vossen, Gottfried. author. Oberweis, Andreas. author. Karle, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24791-0
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012. Proceedings

2024-11-15T17:15:47Z

Author Schoeffmann, Klaus. editor. Merialdo, Bernard. editor. Hauptmann, Alexander G. editor. Ngo, Chong-Wah. editor. Andreopoulos, Yiannis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27355-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

2024-11-15T17:15:47Z

Author Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33365-1
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. López, Beatriz. editor. Villaret, Mateu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34620-0
Format: Electronic Resources
Availability Online Library~1

Multiscale and Adaptivity: Modeling, Numerics and Applications C.I.M.E. Summer School, Cetraro, Italy 2009, Editors: Giovanni Naldi, Giovanni Russo

2024-11-15T17:15:47Z

Author Bertoluzza, Silvia. author. Nochetto, Ricardo H. author. Quarteroni, Alfio. author. Siebert, Kunibert G. author. Veeser, Andreas. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24079-9
Format: Electronic Resources
Availability Online Library~1

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

2024-11-15T17:15:47Z

Author Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25264-8
Format: Electronic Resources
Availability Online Library~1

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2024-11-15T17:15:47Z

Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Electronic Resources
Availability Online Library~1

7th RILEM International Conference on Cracking in Pavements Mechanisms, Modeling, Testing, Detection and Prevention Case Histories

2024-11-15T17:15:47Z

Author Scarpas, A. editor. Kringos, N. editor. Al-Qadi, I. editor. A., Loizos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-4566-7
Format: Electronic Resources
Availability Online Library~1

Device-Level Modeling and Synthesis of High-Performance Pipeline ADCs

2024-11-15T17:15:47Z

Author Ruiz-Amaya, Jesús. author. Delgado-Restituto, Manuel. author. Rodríguez-Vázquez, Ángel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8846-1
Format: Electronic Resources
Availability Online Library~1

Handbook of Conceptual Modeling Theory, Practice, and Research Challenges

2024-11-15T17:15:47Z

Author Embley, David W. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15865-0
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2024-11-15T17:15:47Z

Author Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17752-1
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part II

2024-11-15T17:15:47Z

Author Lee, Kuo-Tien. editor. Tsai, Wen-Hsiang. editor. Liao, Hong-Yuan Mark. editor. Chen, Tsuhan. editor. Hsieh, Jun-Wei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17829-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

2024-11-15T17:15:47Z

Author Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21713-5
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

2024-11-15T17:15:47Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21783-8
Format: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

2024-11-15T17:15:47Z

Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21802-6
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

2024-11-15T17:15:47Z

Author Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21652-7
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaption and Personalization 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings

2024-11-15T17:15:47Z

Author Konstan, Joseph A. editor. Conejo, Ricardo. editor. Marzo, José L. editor. Oliver, Nuria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22362-4
Format: Electronic Resources
Availability Online Library~1

Progress in Wall Turbulence: Understanding and Modeling Proceedings of the WALLTURB International Workshop held in Lille, France, April 21-23, 2009

2024-11-15T17:15:47Z

Author Stanislas, Michel. editor. Jimenez, Javier. editor. Marusic, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9603-6
Format: Electronic Resources
Availability Online Library~1

The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling

2024-11-15T17:15:47Z

Author Kaschek, Roland. editor. Delcambre, Lois. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17505-3
Format: Electronic Resources
Availability Online Library~1

Modeling Decision for Artificial Intelligence 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narakawa, Yasuo. editor. Yin, Jianping. editor. Long, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22589-5
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling. Recent Developments and New Directions ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

2024-11-15T17:15:47Z

Author Troyer, Olga. editor. Bauzer Medeiros, Claudia. editor. Billen, Roland. editor. Hallot, Pierre. editor. Simitsis, Alkis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24574-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

2024-11-15T17:15:47Z

Author Jeusfeld, Manfred. editor. Delcambre, Lois. editor. Ling, Tok-Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24606-7
Format: Electronic Resources
Availability Online Library~1

Rule - Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings

2024-11-15T17:15:47Z

Author Olken, Frank. editor. Palmirani, Monica. editor. Sottara, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24908-2
Format: Electronic Resources
Availability Online Library~1

Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

2024-11-15T17:15:47Z

Author Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24933-4
Format: Electronic Resources
Availability Online Library~1

Theory-Guided Modeling and Empiricism in Information Systems Research

2024-11-15T17:15:47Z

Author Heinzl, Armin. editor. Buxmann, Peter. editor. Wendt, Oliver. editor. Weitzel, Tim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-2781-1
Format: Electronic Resources
Availability Online Library~1

Modeling in Systems Biology The Petri Net Approach

2024-11-15T17:15:47Z

Author Koch, Ina. editor. Reisig, Wolfgang. editor. Schreiber, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-474-6
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part I

2024-11-15T17:15:47Z

Author Lee, Kuo-Tien. editor. Tsai, Wen-Hsiang. editor. Liao, Hong-Yuan Mark. editor. Chen, Tsuhan. editor. Hsieh, Jun-Wei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17832-0
Format: Electronic Resources
Availability Online Library~1

Social Computing, Behavioral-Cultural Modeling and Prediction 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings

2024-11-15T17:15:47Z

Author Salerno, John. editor. Yang, Shanchieh Jay. editor. Nau, Dana. editor. Chai, Sun-Ki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19656-0
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings

2024-11-15T17:15:47Z

Author Metaxas, Dimitris N. editor. Axel, Leon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21028-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2024-11-15T17:15:47Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedings

2024-11-15T17:15:47Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21799-9
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2024-11-15T17:15:47Z

Author Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

2024-11-15T17:15:47Z

Author Beigl, Michael. editor. Christiansen, Henning. editor. Roth-Berghofer, Thomas R. editor. Kofod-Petersen, Anders. editor. Coventry, Kenny R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24279-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

2024-11-15T17:15:47Z

Author Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24310-3
Format: Electronic Resources
Availability Online Library~1

Design of multithreaded software the entity-life modeling approach

2024-11-15T17:15:47Z

Author Sandén, Bo. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797
Format: Electronic Resources
Availability Online Library~1

Finite Element Modeling for Materials Engineers Using MATLAB®

2024-11-15T17:15:47Z

Author Oluwole, Oluleke. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-661-0
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Business Systems and Services: Modeling and Development

2024-11-15T17:15:47Z

Author Pokorny, Jaroslav. editor. Repa, Vaclav. editor. Richta, Karel. editor. Wojtkowski, Wita. editor. Linger, Henry. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9790-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2024-11-15T17:15:47Z

Author Kogan, Boris Ja. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76686-7
Format: Electronic Resources
Availability Online Library~1

Beginning Blender Open Source 3D Modeling, Animation, and Game Design

2024-11-15T17:15:47Z

Author Flavell, Lance. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3127-1
Format: Electronic Resources
Availability Online Library~1

Beginning SQL Server Modeling Model-Driven Application Development in SQL Server 2008

2024-11-15T17:15:47Z

Author Weller, Bart. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2752-6
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings

2024-11-15T17:15:47Z

Author Boll, Susanne. editor. Tian, Qi. editor. Zhang, Lei. editor. Zhang, Zili. editor. Chen, Yi-Ping Phoebe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11301-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies

2024-11-15T17:15:47Z

Author Priami, Corrado. editor. Breitling, Rainer. editor. Gilbert, David. editor. Heiner, Monika. editor. Uhrmacher, Adelinde M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11712-1
Format: Electronic Resources
Availability Online Library~1

Computational Modeling of Objects Represented in Images Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings

2024-11-15T17:15:47Z

Author Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Hauptman, Herbert A. editor. Natal Jorge, Renato M. editor. Tavares, João Manuel R. S. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12712-0
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I

2024-11-15T17:15:47Z

Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15853-7
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II

2024-11-15T17:15:47Z

Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15859-9
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Daumas, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16292-3
Format: Electronic Resources
Availability Online Library~1

Linguistic Modeling of Information and Markup Languages Contributions to Language Technology

2024-11-15T17:15:47Z

Author Witt, Andreas. editor. Metzing, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3331-4
Format: Electronic Resources
Availability Online Library~1

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

2024-11-15T17:15:47Z

Author Borrione, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9304-2
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

2024-11-15T17:15:47Z

Author Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11802-9
Format: Electronic Resources
Availability Online Library~1

Advances in Social Computing Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010. Proceedings

2024-11-15T17:15:47Z

Author Chai, Sun-Ki. editor. Salerno, John J. editor. Mabry, Patricia L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12079-4
Format: Electronic Resources
Availability Online Library~1

New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

2024-11-15T17:15:47Z

Author Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14347-2
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

2024-11-15T17:15:47Z

Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15597-0
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III

2024-11-15T17:15:47Z

Author Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15615-1
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I

2024-11-15T17:15:47Z

Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15621-2
Format: Electronic Resources
Availability Online Library~1

Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings

2024-11-15T17:15:47Z

Author Mourrain, Bernard. editor. Schaefer, Scott. editor. Xu, Guoliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13411-1
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaptation, and Personalization 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings

2024-11-15T17:15:47Z

Author Bra, Paul. editor. Kobsa, Alfred. editor. Chin, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13470-8
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings

2024-11-15T17:15:47Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13568-2
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

2024-11-15T17:15:47Z

Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15297-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

2024-11-15T17:15:47Z

Author Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16086-8
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2024-11-15T17:15:47Z

Author Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16373-9
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2024-11-15T17:15:47Z

Author Trujillo, Juan. editor. Dobbie, Gillian. editor. Kangassalo, Hannu. editor. Hartmann, Sven. editor. Kirchberg, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16385-2
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2024-11-15T17:15:47Z

Author Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Electronic Resources
Availability Online Library~1

Stream Data Processing: A Quality of Service Perspective Modeling, Scheduling, Load Shedding, and Complex Event Processing

2024-11-15T17:15:47Z

Author Jiang, Qingchun. author. Chakravarthy, Sharma. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71003-7
Format: Electronic Resources
Availability Online Library~1

Pro Excel Financial Modeling Building Models for Technology Startups

2024-11-15T17:15:47Z

Author Sawyer, Tom Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1899-9
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2024-11-15T17:15:47Z

Author Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01862-6
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers

2024-11-15T17:15:47Z

Author Korytowski, Adam. editor. Malanowski, Kazimierz. editor. Mitkowski, Wojciech. editor. Szymkat, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04802-9
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04820-3
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

2024-11-15T17:15:47Z

Author Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04840-1
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings

2024-11-15T17:15:47Z

Author Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04947-7
Format: Electronic Resources
Availability Online Library~1

Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition

2024-11-15T17:15:47Z

Author Weber, Ingo M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05085-5
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings.

2024-11-15T17:15:47Z

Author Huet, Benoit. editor. Smeaton, Alan. editor. Mayer-Patel, Ketan. editor. Avrithis, Yannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92892-8
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

2024-11-15T17:15:47Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02809-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings

2024-11-15T17:15:47Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02205-0
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaptation, and Personalization 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings

2024-11-15T17:15:47Z

Author Houben, Geert-Jan. editor. McCalla, Gord. editor. Pianesi, Fabio. editor. Zancanaro, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02247-0
Format: Electronic Resources
Availability Online Library~1

Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings

2024-11-15T17:15:47Z

Author Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01112-2
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings

2024-11-15T17:15:47Z

Author Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03138-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2024-11-15T17:15:47Z

Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

2024-11-15T17:15:47Z

Author Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95948-9
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings

2024-11-15T17:15:47Z

Author Ayache, Nicholas. editor. Delingette, Hervé. editor. Sermesant, Maxime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01932-6
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos

2024-11-15T17:15:47Z

Author Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02463-4
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

2024-11-15T17:15:47Z

Author Ystad, Sølvi. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02518-1
Format: Electronic Resources
Availability Online Library~1

Object Relationship Notation (ORN) for Database Applications Enhancing the Modeling and Implementation of Associations

2024-11-15T17:15:47Z

Author Ehlmann, Bryon K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09554-7
Format: Electronic Resources
Availability Online Library~1

Object Oriented Simulation A Modeling and Programming Perspective

2024-11-15T17:15:47Z

Author Garrido, José M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0516-1
Format: Electronic Resources
Availability Online Library~1

Composites with Micro- and Nano-Structure Computational Modeling and Experiments

2024-11-15T17:15:47Z

Author Kompiš, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6975-8
Format: Electronic Resources
Availability Online Library~1

High-Level Modeling and Synthesis of Analog Integrated Systems

2024-11-15T17:15:47Z

Author Martens, Ewout S. J. author. Gielen, Georges G. E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6802-7
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2024-11-15T17:15:47Z

Author Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources
Availability Online Library~1

Modeling Communication with Robots and Virtual Humans Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

2024-11-15T17:15:47Z

Author Wachsmuth, Ipke. editor. Knoblich, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79037-2
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

2024-11-15T17:15:47Z

Author Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85035-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

2024-11-15T17:15:47Z

Author Li, Qing. editor. Spaccapietra, Stefano. editor. Yu, Eric. editor. Olivé, Antoni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87877-3
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88269-5
Format: Electronic Resources
Availability Online Library~1

Modeling Semantic Web Services The Web Service Modeling Language

2024-11-15T17:15:47Z

Author Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68172-4
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

2024-11-15T17:15:47Z

Author Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70550-5
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-11-15T17:15:47Z

Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings

2024-11-15T17:15:47Z

Author Satoh, Shin’ichi. editor. Nack, Frank. editor. Etoh, Minoru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77409-9
Format: Electronic Resources
Availability Online Library~1

Advances in Geometric Modeling and Processing 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings

2024-11-15T17:15:47Z

Author Chen, Falai. editor. Jüttler, Bert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79246-8
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam

2024-11-15T17:15:47Z

Author Bock, Hans Georg. editor. Kostina, Ekaterina. editor. Phu, Hoang Xuan. editor. Rannacher, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79409-7
Format: Electronic Resources
Availability Online Library~1

The Common Component Modeling Example Comparing Software Component Models

2024-11-15T17:15:47Z

Author Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling – Challenges and Opportunities ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings

2024-11-15T17:15:47Z

Author Song, Il-Yeol. editor. Piattini, Mario. editor. Chen, Yi-Ping Phoebe. editor. Hartmann, Sven. editor. Grandi, Fabio. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87991-6
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

2024-11-15T17:15:47Z

Author Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89076-8
Format: Electronic Resources
Availability Online Library~1

Interactive Curve Modeling With Applications to Computer Graphics, Vision and Image Processing

2024-11-15T17:15:47Z

Author Sarfraz, M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-871-5
Format: Electronic Resources
Availability Online Library~1

Use Case Driven Object Modeling with UML Theory and Practice

2024-11-15T17:15:47Z

Author Rosenberg, Doug. author. Stephens, Matt. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0369-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Modeling and Simulation Tools for Communication Networks and Services

2024-11-15T17:15:47Z

Author Ince, A. Nejat. editor. Bragg, Arnold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73908-3
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedings

2024-11-15T17:15:47Z

Author Sachse, Frank B. editor. Seemann, Gunnar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72907-5
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

2024-11-15T17:15:47Z

Author Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73053-8
Format: Electronic Resources
Availability Online Library~1

User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings

2024-11-15T17:15:47Z

Author Conati, Cristina. editor. McCoy, Kathleen. editor. Paliouras, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73078-1
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Yoshida, Yuji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73729-2
Format: Electronic Resources
Availability Online Library~1

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-11-15T17:15:47Z

Author George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2024-11-15T17:15:47Z

Author Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-11-15T17:15:47Z

Author Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-11-15T17:15:47Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73321-8
Format: Electronic Resources
Availability Online Library~1

The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems

2024-11-15T17:15:47Z

Author Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8396-1
Format: Electronic Resources
Availability Online Library~1

Reactive Flows, Diffusion and Transport From Experiments via Mathematical Modeling to Numerical Simulation and Optimization Final Report of SFB (Collaborative Research Center) 359

2024-11-15T17:15:47Z

Author Jäger, Willi. editor. Rannacher, Rolf. editor. Warnatz, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-28396-6
Format: Electronic Resources
Availability Online Library~1

Enabling Semantic Web Services The Web Service Modeling Ontology

2024-11-15T17:15:47Z

Author Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-34520-6
Format: Electronic Resources
Availability Online Library~1

Spatial Data on the Web Modeling and Management

2024-11-15T17:15:47Z

Author Belussi, Alberto. editor. Catania, Barbara. editor. Clementini, Eliseo. editor. Ferrari, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69878-4
Format: Electronic Resources
Availability Online Library~1

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

2024-11-15T17:15:47Z

Author Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71868-0
Format: Electronic Resources
Availability Online Library~1

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2024-11-15T17:15:47Z

Author Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

2024-11-15T17:15:47Z

Author Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73625-7
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings

2024-11-15T17:15:47Z

Author Kokinov, Boicho. editor. Richardson, Daniel C. editor. Roth-Berghofer, Thomas R. editor. Vieu, Laure. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74255-5
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2024-11-15T17:15:47Z

Author Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings

2024-11-15T17:15:47Z

Author Li, Kang. editor. Fei, Minrui. editor. Irwin, George William. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74769-7
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings

2024-11-15T17:15:47Z

Author Li, Kang. editor. Li, Xin. editor. Irwin, George William. editor. He, Gusen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74771-0
Format: Electronic Resources
Availability Online Library~1

Analysis and Modeling of Faces and Gestures Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings

2024-11-15T17:15:47Z

Author Zhou, S. Kevin. editor. Zhao, Wenyi. editor. Tang, Xiaoou. editor. Gong, Shaogang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75690-3
Format: Electronic Resources
Availability Online Library~1

Human Motion – Understanding, Modeling, Capture and Animation Second Workshop, Human Motion 2007, Rio de Janeiro, Brazil, October 20, 2007. Proceedings

2024-11-15T17:15:47Z

Author Elgammal, Ahmed. editor. Rosenhahn, Bodo. editor. Klette, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75703-0
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling – Foundations and Applications ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-11-15T17:15:47Z

Author Hainaut, Jean-Luc. editor. Rundensteiner, Elke A. editor. Kirchberg, Markus. editor. Bertolotto, Michela. editor. Brochhausen, Mathias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76292-8
Format: Electronic Resources
Availability Online Library~1

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2024-11-15T17:15:47Z

Author Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Electronic Resources
Availability Online Library~1

Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

2024-11-15T17:15:47Z

Author Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-49022-7
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2024-11-15T17:15:47Z

Author Ceragioli, F. editor. Dontchev, A. editor. Futura, H. editor. Marti, K. editor. Pandolfi, L. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-33006-2
Format: Electronic Resources
Availability Online Library~1

Systems, Control, Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2024-11-15T17:15:47Z

Author Ceragioli, F. editor. Dontchev, A. editor. Furuta, H. editor. Marti, K. editor. Pandolfi, L. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-33882-9
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions

2024-11-15T17:15:47Z

Author Nejat Ince, A. editor. Topuz, Ercan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34167-6
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Valls, Aïda. editor. Domingo-Ferrer, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11681960
Format: Electronic Resources
Availability Online Library~1

Adaptive Atmospheric Modeling Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications

2024-11-15T17:15:47Z

Author Behrens, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33383-5
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

2024-11-15T17:15:47Z

Author Kronland-Martinet, Richard. editor. Voinier, Thierry. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751069
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

2024-11-15T17:15:47Z

Author Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11847083
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2024-11-15T17:15:47Z

Author Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11867340
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2024-11-15T17:15:47Z

Author Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901181
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling - Theory and Practice ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2024-11-15T17:15:47Z

Author Roddick, John F. editor. Benjamins, V. Richard. editor. Si-said Cherfi, Samira. editor. Chiang, Roger. editor. Claramunt, Christophe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11908883
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2024-11-15T17:15:47Z

Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951148
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling for Traditional and Spatio-Temporal Applications The MADS Approach

2024-11-15T17:15:47Z

Author Parent, Christine. author. Spaccapietra, Stefano. author. Zimányi, Esteban. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30326-X
Format: Electronic Resources
Availability Online Library~1

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31–August 1, 2005, Revised Selected Papers

2024-11-15T17:15:47Z

Author Roth-Berghofer, Thomas R. editor. Schulz, Stefan. editor. Leake, David B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11740674
Format: Electronic Resources
Availability Online Library~1

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

2024-11-15T17:15:47Z

Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754305
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

2024-11-15T17:15:47Z

Author Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11796435
Format: Electronic Resources
Availability Online Library~1

Geometric Modeling and Processing - GMP 2006 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings

2024-11-15T17:15:47Z

Author Kim, Myung-Soo. editor. Shimada, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11802914
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007. Proceedings, Part I

2024-11-15T17:15:47Z

Author Cham, Tat-Jen. editor. Cai, Jianfei. editor. Dorai, Chitra. editor. Rajan, Deepu. editor. Chua, Tat-Seng. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69423-6
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007. Proceedings, Part II

2024-11-15T17:15:47Z

Author Cham, Tat-Jen. editor. Cai, Jianfei. editor. Dorai, Chitra. editor. Rajan, Deepu. editor. Chua, Tat-Seng. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69429-8
Format: Electronic Resources
Availability Online Library~1

Statistical Modeling and Analysis for Complex Data Problems

2024-11-15T17:15:47Z

Author Duchesne, Pierre. editor. RÉMillard, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105993
Format: Electronic Resources
Availability Online Library~1

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2024-11-15T17:15:47Z

Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101185
Format: Electronic Resources
Availability Online Library~1

Classification and Modeling with Linguistic Information Granules Advanced Approaches to Linguistic Data Mining

2024-11-15T17:15:47Z

Author Ishibuchi, Hisao. author. Nakashima, Tomoharu. author. Nii, Manabu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138232
Format: Electronic Resources
Availability Online Library~1

Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers

2024-11-15T17:15:47Z

Author Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138975
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings

2024-11-15T17:15:47Z

Author Dey, Anind. editor. Kokinov, Boicho. editor. Leake, David. editor. Turner, Roy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137917
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2024-11-15T17:15:47Z

Author Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556930
Format: Electronic Resources
Availability Online Library~1

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2024-11-15T17:15:47Z

Author Baik, Doo-Kwon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105611
Format: Electronic Resources
Availability Online Library~1

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005. Proceedings

2024-11-15T17:15:47Z

Author Ardissono, Liliana. editor. Brna, Paul. editor. Mitrovic, Antonija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527886
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings

2024-11-15T17:15:47Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Miyamoto, Sadaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31883-5
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2024-11-15T17:15:47Z

Author Delcambre, Lois. editor. Kop, Christian. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. Pastor, Oscar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568322
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005. Proceedings

2024-11-15T17:15:47Z

Author Frangi, Alejandro F. editor. Radeva, Petia I. editor. Santos, Andres. editor. Hernandez, Monica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136980
Format: Electronic Resources
Availability Online Library~1

UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

2024-11-15T17:15:47Z

Author Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106725
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

2024-11-15T17:15:47Z

Author Wiil, Uffe Kock. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105507
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

2024-11-15T17:15:47Z

Author Amyot, Daniel. editor. Williams, Alan W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105884
Format: Electronic Resources
Availability Online Library~1

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-11-15T17:15:47Z

Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106390
Format: Electronic Resources
Availability Online Library~1

Perspectives in Conceptual Modeling ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2024-11-15T17:15:47Z

Author Akoka, Jacky. editor. Liddle, Stephen W. editor. Song, Il-Yeol. editor. Bertolotto, Michela. editor. Comyn-Wattiau, Isabelle. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568346
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization of Complex Processes Proceedings of the International Conference on High Performance Scientific Computing, March 10–14, 2003, Hanoi, Vietnam

2024-11-15T17:15:47Z

Author Bock, Hans Georg. editor. Phu, Hoang Xuan. editor. Kostina, Ekaterina. editor. Rannacher, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138710
Format: Electronic Resources
Availability Online Library~1

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

2024-11-15T17:15:47Z

Author Kurki-Suonio, Reino. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138956
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2024-11-15T17:15:47Z

Author Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603009
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

2024-11-15T17:15:47Z

Author Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138322
Format: Electronic Resources
Availability Online Library~1

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2024-11-15T17:15:47Z

Author Rust, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135629
Format: Electronic Resources
Availability Online Library~1

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004

2024-11-15T17:15:47Z

Author Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138317
Format: Electronic Resources
Availability Online Library~1

Logical Data Modeling What it is and How to do it

2024-11-15T17:15:47Z

Author Chmura, Alan. author. Heumann, J. Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b100064
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization Proceedings of the 21st IFIP TC7 Conference held in July 21st–25th, 2003, Sophia Antipolis, France

2024-11-15T17:15:47Z

Author Cagnol, John. editor. Zolésio, Jean-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101574
Format: Electronic Resources
Availability Online Library~1

Computer Graphics and Geometric Modeling Implementation and Algorithms

2024-11-15T17:15:47Z

Author Agoston, Max K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138805
Format: Electronic Resources
Availability Online Library~1

Principles of object-oriented modeling and simulation with Modelica 2.1

2024-11-15T17:15:47Z

Author Fritzson, Peter A., 1952-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314
Format: Electronic Resources
Availability Online Library~1

A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming

2024-11-15T17:15:47Z

Author Gu, Edward Y L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334717.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39047-0
Format: Electronic Resources
Availability Online Library~1

Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences

2024-11-15T17:15:47Z

Author Ganguly, Niloy. editor. Deutsch, Andreas. editor. Mukherjee, Animesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4751-3
Format: Electronic Resources
Availability Online Library~1

Generalized Collocation Methods Solutions to Nonlinear Problems

2024-11-15T17:15:47Z

Author Bellomo, Nicola. editor. Lods, Bertrand. editor. Revelli, Roberto. editor. Ridolfi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4610-3
Format: Electronic Resources
Availability Online Library~1

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

2024-11-15T17:15:47Z

Author Coutinho, Murilo G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330975.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4417-5
Format: Electronic Resources
Availability Online Library~1

Crowd Simulation

2024-11-15T17:15:47Z

Author Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330982.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4450-2
Format: Electronic Resources
Availability Online Library~1

Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

2024-11-15T17:15:47Z

Author Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331178.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: Electronic Resources
Availability Online Library~1

Using Event-B for Critical Device Software Systems

2024-11-15T17:15:47Z

Author Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331181.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources
Availability Online Library~1

Probability Models

2024-11-15T17:15:47Z

Author Haigh, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331195.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5343-6
Format: Electronic Resources
Availability Online Library~1

Visual Heritage in the Digital Age

2024-11-15T17:15:47Z

Author Ch'ng, Eugene. editor. Gaffney, Vincent. editor. Chapman, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331214.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5535-5
Format: Electronic Resources
Availability Online Library~1

Conversations About Challenges in Computing

2024-11-15T17:15:47Z

Author Bruaset, Are Magnus. editor. Tveito, Aslak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332698.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00209-5
Format: Electronic Resources
Availability Online Library~1