Search Results for Design.

1.

Author

Cudworth, Ann Latham, author. CRC Press LLC.

Preferred Shelf Number

QA76.9 .C65 C83 2017

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429187384
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

2.

Evolutionary Game Design

Author

Browne, Cameron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Intelligent Control Design and MATLAB Simulation

Author

Liu, Jinkun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-5263-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Mechatronic Systems Analysis, Design and Implementation

Author

Boukas, El-Kébir. author. AL-Sunni, Fouad M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Design and Use of Serious Games

Author

Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9496-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Spotlight on Modern Transformer Design

Author

Georgilakis, Pavlos S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-667-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Design and modeling for computer experiments

Author

Fang, Kaitai., author. Li, Run-ze. Sudjianto, Agus.

Preferred Shelf Number

QA76.9 .C65 F36 2006

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

8.

Functional Approach to Optimal Experimental Design

Author

Melas, Viatcheslav B. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Production Rendering Design and Implementation

Author

Stephenson, Ian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Integrating 3D Modeling, Photogrammetry and Design

Author

Foster, Shaun. author. Halbstein, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6329-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

User-Level Workflow Design A Bioinformatics Perspective

Author

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335213.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Analysis and Design of Univariate Subdivision Schemes

Author

Sabin, Malcolm. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

ARIS Design Platform Getting Started with BPM

Author

Davis, Rob. author. Brabänder, Eric. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Surrogates : Gaussian process modeling, design, and optimization for the applied sciences

Author

Gramacy, Robert B., author.

Preferred Shelf Number

QA274.4 .G73 2020

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780367815493
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Author

Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

Author

Dixit, Uday S. editor. Kant, Ravi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

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

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

Author

Bernardini, Gabriele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

Author

Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Application of Surrogate-based Global Optimization to Aerodynamic Design

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Interactive Modeling and Simulation in Business System Design

Author

Roubtsova, Ella. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control

Author

Sabatier, Jocelyn. author. Lanusse, Patrick. author. Melchior, Pierre. author. Oustaloup, Alain. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-94-017-9807-5

Format:

Availability

Online Library~1

Available:
Copies:

28.

Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulation

Author

Qian, Dianwei. author. Yi, Jianqiang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Process Design for Natural Scientists An Agile Model-Driven Approach

Author

Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45006-2

Format:

Availability

Online Library~1

Available:
Copies:

30.

Proceedings of the FISITA 2012 World Automotive Congress Volume 8: Vehicle Design and Testing (II).

Author

SAE-China. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333744.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

32.

Decision-Based Design Integrating Consumer Preferences into Engineering Design

Author

Chen, Wei. author. Hoyle, Christopher. author. Wassenaar, Henk Jan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330900.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4036-8

Format:

Availability

Online Library~1

Available:
Copies:

33.

Design and Operation of Automated Container Storage Systems

Author

Kemme, Nils. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335358.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-7908-2885-6

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings

Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings

Author

Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Wind Resistant Design of Bridges in Japan Developments and Practices

Author

Fujino, Yozo. author. Kimura, Kichiro. author. Tanaka, Hiroshi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

System Identification, Environmental Modelling, and Control System Design

Author

Wang, Liuping. editor. Garnier, Hugues. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

38.

Agents for Games and Simulations II Trends in Techniques, Concepts and Design

Author

Dignum, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

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

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

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:

Availability

Online Library~1

Available:
Copies:

40.

Triadic Game Design Balancing Reality, Meaning and Play

Author

Harteveld, Casper. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-157-8

Format:

Availability

Online Library~1

Available:
Copies:

41.

Multi-objective Evolutionary Optimisation for Product Design and Manufacturing

Author

Wang, Lihui. editor. Ng, Amos H. C. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

43.

Design Rules for Actuators in Active Mechanical Systems

Author

Gomis-Bellmunt, Oriol. author. Campanile, Lucio Flavio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-614-4

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Author

Radetzki, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings

Author

Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Agents for Games and Simulations Trends in Techniques, Concepts and Design

Author

Dignum, Frank. editor. Bradshaw, Jeff. editor. Silverman, Barry. editor. Doesburg, Willem. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

Author

Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

Author

Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers

Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers

Author

Liò, Pietro. editor. Yoneki, Eiko. editor. Crowcroft, Jon. editor. Verma, Dinesh C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

ARIS Design Platform Advanced Process Modelling and Administration

Author

Davis, Rob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Author

Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

Author

Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Author

Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6254-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

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

Author

Jurdak, Raja. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005

Author

Davidson, Joseph K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5438-6

Format:

Availability

Online Library~1

Available:
Copies:

56.

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

Author

Leeuwen, Jos P. editor. Timmermans, Harry J. P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

Author

Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5138-7

Format:

Availability

Online Library~1

Available:
Copies:

58.

Manufacturing Systems Control Design A Matrix-based Approach

Author

Bogdan, Stjepan. author. Lewis, Frank L. author. Kovačić, Zdenko. author. Mireles, José. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-334-5

Format:

Availability

Online Library~1

Available:
Copies:

59.

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Author

Boulet, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Mathematical modeling and optimization : An essay for the design of computer-based modeling tools

Author

Hürlimann, Tony.

Preferred Shelf Number

QA 401 H88 1999

Format:

Availability

Beytepe Library~1

Available:
Copies:

61.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013

Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013

Author

Nielsen, Jens C.O. editor. Anderson, David. editor. Gautier, Pierre-Etienne. editor. Iida, Masanobu. editor. Nelson, James T. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44832-8

Format:

Availability

Online Library~1

Available:
Copies:

63.

Real-time simulation technologies : principles, methodologies, and applications

Author

Popovici, Katalin. Mosterman, Pieter J.

Preferred Shelf Number

QA76.9 .C65 R385 2013

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

64.

Discrete-event modeling and simulation : a practitioner's approach

Author

Wainer, Gabriel A., author.

Preferred Shelf Number

QA76.9 .C65 W35 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

65.

100 Volumes of ‘Notes on Numerical Fluid Mechanics’ 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect

Author

Hirschel, Ernst Heinrich. editor. Krause, Egon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Multi-agent systems : simulation and applications

Author

Uhrmacher, Adelinde. Weyns, Danny.

Preferred Shelf Number

QA76.76 .I58 M864 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Computational Science and High Performance Computing III The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007

Computational Science and High Performance Computing III The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007

Author

Krause, Egon. editor. Shokin, Yurii I. editor. Resch, Michael. editor. Shokina, Nina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

New Results in Numerical and Experimental Fluid Mechanics V Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004

Author

Rath, Hans-Josef. editor. Holze, Carsten. editor. Heinemann, Hans-Joachim. editor. Henke, Rolf. editor. Hönlinger, Heinz. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Advances in High Performance Computing and Computational Sciences The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005

Advances in High Performance Computing and Computational Sciences The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005

Author

Shokin, Yurii. editor. Resch, Michael. editor. Shokina, Nina. editor. Danaev, Nargozy. editor. Orunkhanov, Murat. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Computational Science and High Performance Computing II The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005

Computational Science and High Performance Computing II The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005

Author

Krause, Egon. editor. Shokin, Yurii. editor. Resch, Michael. editor. Shokina, Nina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Computational Science and High Performance Computing Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

Computational Science and High Performance Computing Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

Author

Krause, Egon. editor. Shokin, Yurii I. editor. Resch, Michael. editor. Shokina, Nina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32376-7

Format:

Availability

Online Library~1

Available:
Copies:

72.

Engineering Mathematics with MATLAB® and Simulink®

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Applied Antifragility in Natural Systems From Principles to Applications

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Multivariable Control Engineering Problems and their Solutions with GNU Octave

Author

Borutzky, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Structural Decision Diagrams in Digital Test Theory and Applications

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

The Engineering of Digital Twins

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Innovative Product Development by Additive Manufacturing 2021

Author

Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Computational Methods for Biological Models

Author

Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-5001-0

Format:

Availability

Online Library~1

Available:
Copies:

85.

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

Author

Ihlenfeldt, Steffen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Attachment Ventilation Theory

Author

Li, Angui. author. (orcid)0000-0002-9461-3793 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9259-9

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

Author

Abdel Wahab, Magd. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-8429-7

Format:

Availability

Online Library~1

Available:
Copies:

88.

Innovative Product Development by Additive Manufacturing 2022

Author

Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Computer models of process dynamics : from Newton to energy fields

Author

Rubin, Olis, author.

Preferred Shelf Number

QC52 .R83 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Modeling and simulation in Python

Author

Kinser, Jason M., 1962- author.

Preferred Shelf Number

QA76.9 .C65

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/e/9781003226581
Taylor & Francis https://www.taylorfrancis.com/books/9781003226581
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

91.

Model-based system architecture

Author

Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.

Preferred Shelf Number

TA168 .W45 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

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

Author

Wang, Yu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Handbook of Model Predictive Control

Author

Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Author

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield

Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield

Author

Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01938-9

Format:

Availability

Online Library~1

Available:
Copies:

99.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Author

Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01090-4

Format:

Availability

Online Library~1

Available:
Copies:

101.

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

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

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:

Availability

Online Library~1

Available:
Copies:

102.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Serious Games and Edutainment Applications Volume II

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Nature-Inspired Computing and Optimization Theory and Applications

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Material Parameter Identification and Inverse Problems in Soft Tissue Biomechanics

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Subdivision Surface Modeling Technology

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Guide to Modeling and Simulation of Systems of Systems

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Guide to Simulation-Based Disciplines Advancing Our Computational Future

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Research Challenges in Modeling and Simulation for Engineering Complex Systems

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

Author

Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Serious Games, Interaction, and Simulation 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Serious Games, Interaction, and Simulation 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Author

Vaz de Carvalho, Carlos. editor. Escudeiro, Paula. editor. Coelho, António. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings

Author

Gairing, Martin. editor. Savani, Rahul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Digital Make-Believe

Author

Turner, Phil. editor. Harviainen, J. Tuomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Distributed Simulation A Model Driven Engineering Approach

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Anti-fragile ICT Systems

Author

Hole, Kjell Jørgen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

Urban Resilience A Transformative Approach

Author

Yamagata, Yoshiki. editor. Maruyama, Hiroshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Real Time Modeling, Simulation and Control of Dynamical Systems

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Recent Advances in Natural Computing Selected Results from the IWNC 8 Symposium

Author

Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-4-431-55429-5

Format:

Availability

Online Library~1

Available:
Copies:

132.

Transactions on Modularity and Composition I

Author

Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Tangible Interactive Systems Grasping the Real World with Computers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

The Finite Element Method and Applications in Engineering Using ANSYS®

Author

Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4899-7550-8

Format:

Availability

Online Library~1

Available:
Copies:

135.

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation Industrial and Research Applications

Author

Zheng Li, Jeremy. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

The Science of Golf Putting A Complete Guide for Researchers, Players and Coaches

Author

Dias, Gonçalo. author. Couceiro, Micael S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Modeling and Control for a Blended Wing Body Aircraft A Case Study

Author

Kozek, Martin. editor. Schirrer, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Railway Infrastructure Security

Author

Setola, Roberto. editor. Sforza, Antonio. editor. Vittorini, Valeria. editor. Pragliola, Concetta. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Analysis and Simulation of Electrical and Computer Systems

Author

Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers

Author

Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Digital Fabrication in Architecture, Engineering and Construction

Author

Caneparo, Luca. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-94-007-7137-6

Format:

Availability

Online Library~1

Available:
Copies:

142.

Tactile Score A Knowledge Media for Tactile Sense

Author

Suzuki, Yasuhiro. author. Suzuki, Rieko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-4-431-54547-7

Format:

Availability

Online Library~1

Available:
Copies:

143.

Multi-finger Haptic Interaction

Author

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

Preferred Shelf Number

ONLINE(331173.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

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

Author

Ma, Yongsheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331135.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Proceedings of the FISITA 2012 World Automotive Congress Volume 2: Advanced Internal Combustion Engines (II).

Author

SAE-China. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333748.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Intelligent Mechatronic Systems Modeling, Control and Diagnosis

Author

Merzouki, Rochdi. author. Samantaray, Arun Kumar. author. Pathak, Pushparaj Mani. author. Ould Bouamama, Belkacem. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331028.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

Author

Starczewski, Janusz T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333243.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Author

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334698.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

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

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:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335219.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335220.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Author

Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337578.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00725-6

Format:

Availability

Online Library~1

Available:
Copies:

153.

New Trends in Interaction, Virtual Reality and Modeling

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:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Author

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Preferred Shelf Number

ONLINE(335120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Digitale Produktion

Author

Westkämper, Engelbert. editor. Spath, Dieter. editor. Constantinescu, Carmen. editor. Lentes, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336884.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Recht ex machina Formalisierung des Rechts im Internet der Dienste

Author

Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

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

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

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:

Availability

Online Library~1

Available:
Copies:

161.

Co-designers cultures of computer simulation in architecture

Author

Loukissas, Yanni A. (Yanni Alexander)

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

162.

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Author

Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-59-6

Format:

Availability

Online Library~1

Available:
Copies:

163.

Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers

Author

Boissonnat, Jean-Daniel. editor. Chenin, Patrick. editor. Cohen, Albert. editor. Gout, Christian. editor. Lyche, Tom. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Author

Kienzle, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers

Author

Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Author

Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Transactions on Aspect-Oriented Software Development IX

Author

Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Author

France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

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

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:

Availability

Online Library~1

Available:
Copies:

170.

Technische Informatik Band 2: Entwurf digitaler Schaltungen

Author

Kemnitz, Günter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

Author

Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers

Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers

Author

Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Safety and Risk Modeling and Its Applications

Author

Pham, Hoang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Author

Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Cover image for Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Author

Swart, Harrie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

Author

Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Transactions on Aspect-Oriented Software Development VIII

Author

Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Author

Yahav, Eran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Solid Modelling and CAD Systems How to Survive a CAD System

Author

Stroud, Ian. author. Nagy, Hildegarde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-259-9

Format:

Availability

Online Library~1

Available:
Copies:

181.

Computational Techniques for Structural Health Monitoring

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Digitale Fabrik Methoden und Praxisbeispiele

Author

Bracht, Uwe. author. Geckler, Dieter. author. Wenzel, Sigrid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Managing the Dynamics of New Product Development Processes A New Product Lifecycle Management Paradigm

Author

Karniel, Arie. author. Reich, Yoram. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-570-5

Format:

Availability

Online Library~1

Available:
Copies:

184.

Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions

Author

Bangsow, Steffen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Author

Ghosh, Sudipto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

Author

Dangelmaier, Wilhelm. editor. Blecken, Alexander. editor. Delius, Robin. editor. Klöpfer, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Author

Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers

Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers

Author

Dæhlen, Morten. editor. Floater, Michael. editor. Lyche, Tom. editor. Merrien, Jean-Louis. editor. Mørken, Knut. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

Author

Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

Geometric Algebra Computing in Engineering and Computer Science

Author

Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-108-0

Format:

Availability

Online Library~1

Available:
Copies:

191.

Sensitivity Analysis for Neural Networks

Author

Yeung, Daniel S. author. Cloete, Ian. author. Shi, Daming. author. Ng, Wing W. Y. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Simulation Methods for Reliability and Availability of Complex Systems

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Bond Graph Methodology Development and Analysis of Multidisciplinary Dynamic System Models

Author

Borutzky, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-882-7

Format:

Availability

Online Library~1

Available:
Copies:

194.

Human Machine Interaction Research Results of the MMI Program

Author

Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

Author

Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

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

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

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:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Author

Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009

SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009

Author

Visa, Ion. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3522-6

Format:

Availability

Online Library~1

Available:
Copies:

200.

Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Author

Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Product Research The Art and Science Behind Successful Product Launches

Author

Raghavan, N. R. Srinivasa. editor. Cafeo, John A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Visualizing Sustainable Planning

Author

Hagen, Hans. editor. Guhathakurta, Subhrajit. editor. Steinebach, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Cover image for Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

Author

Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

Cover image for Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Author

Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

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

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

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:

Availability

Online Library~1

Available:
Copies:

208.

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

Author

Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Author

Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

Author

Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Field Models in Electricity and Magnetism

Author

Barba, Paolo. author. Savini, Antonio. author. Wiak, Slawomir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Verifikation und Validierung für die Simulation in Produktion und Logistik Vorgehensmodelle und Techniken

Author

Rabe, Markus. author. Spiekermann, Sven. author. Wenzel, Sigrid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

Author

Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Cover image for Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

Author

Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Handbook of dynamic system modeling

Author

Fishwick, Paul A.

Preferred Shelf Number

QA76.9 .C65 H345 2007

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

216.

Shock and Damage Models in Reliability Theory

Author

Nakagawa, Toshio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Author

Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

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

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:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

Author

Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Author

Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Author

Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Introduction to Scientific Visualization

Author

Wright, Helen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-755-8

Format:

Availability

Online Library~1

Available:
Copies:

223.

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

Author

Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Author

Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

Author

Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

Author

Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

The Finite Element Method and Applications in Engineering Using Ansys®

Author

Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Practical Grey-box Process Identification Theory and Applications

Author

Bohlin, Torsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-403-1

Format:

Availability

Online Library~1

Available:
Copies:

229.

Mechatronic Systems Fundamentals

Author

Isermann, Rolf. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-259-4

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Author

Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Author

Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

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

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

Author

Baik, Doo-Kwon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Author

Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

Author

Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Systems modeling and computer simulation

Author

Kheir, Naim A., 1933- ed.

Preferred Shelf Number

QA 76.9.C65 S975 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}