Limit Search Results
Author
SpringerLink (Online service)
(120)
Pichler, Franz. editor.
(7)
Moreno-Díaz, Roberto. editor.
(5)
Quesada-Arencibia, Alexis. editor.
(5)
Barthès, Jean-Paul A. editor.
(4)
Language
Publication Date
-
Subject
Computer aided design.
(118)
Artificial intelligence.
(34)
Computer simulation.
(28)
Computer vision.
(25)
Software engineering.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
120 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
37. 
Cover image for Computer-Aided Design of User Interfaces VI
Computer-Aided Design of User Interfaces VI
Author 
Lopez Jaquero, Victor. editor. Montero Simarro, Francisco. editor. Molina Masso, Jose Pascual. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-206-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computer-Aided Design of User Interfaces V
Computer-Aided Design of User Interfaces V
Author 
Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20–22, 2005
Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20–22, 2005
Author 
Martens, Bob. editor. Brown, Andre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3698-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia
Author 
Rettberg, Achim. editor. Bobda, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30761-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI’2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI’2004 13–16 January 2004, Funchal, Isle of Madeira
Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI’2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI’2004 13–16 January 2004, Funchal, Isle of Madeira
Author 
Jacob, Robert J.K. editor. Limbourg, Quentin. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3304-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computational Ship Design
Computational Ship Design
Author 
Roh, Myung-Il. author. Lee, Kyu-Yeul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4885-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
Author 
Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335081.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41263-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I
Author 
Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335082.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41266-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings
Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings
Author 
Kovács, George L. editor. Kochan, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41329-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and AR
The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and AR
Author 
Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331101.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4932-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Domain Decomposition Methods in Science and Engineering XX
Domain Decomposition Methods in Science and Engineering XX
Author 
Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333957.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35275-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Cooperative Design, Visualization, and Engineering 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings
Cooperative Design, Visualization, and Engineering 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335015.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40840-3
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for The Finite Element Method: Theory, Implementation, and Applications
The Finite Element Method: Theory, Implementation, and Applications
Author 
Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333689.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33287-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Author 
Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE(334682.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38853-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
Author 
Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334705.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38974-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
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 II
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:
54. 
Cover image for Computer Aided Surgery 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings
Computer Aided Surgery 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings
Author 
Dohi, Takeyoshi. editor. Liao, Hongen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54094-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Virtual Reality and Animation for MATLAB® and Simulink® Users Visualization of Dynamic Models and Control Simulations
Virtual Reality and Animation for MATLAB® and Simulink® Users Visualization of Dynamic Models and Control Simulations
Author 
Khaled, Nassim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2330-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Designing Inclusive Systems Designing Inclusion for Real-world Applications
Designing Inclusive Systems Designing Inclusion for Real-world Applications
Author 
Langdon, Patrick. editor. Clarkson, John. editor. Robinson, Peter. editor. Lazar, Jonathan. editor. Heylighen, Ann. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Guide to Computational Geometry Processing Foundations, Algorithms, and Methods
Guide to Computational Geometry Processing Foundations, Algorithms, and Methods
Author 
Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4075-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Automated Configuration Problem Solving
Automated Configuration Problem Solving
Author 
Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Similarity and Modeling in Science and Engineering
Similarity and Modeling in Science and Engineering
Author 
Kuneš, Josef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-907343-78-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for 3D-Druck/Rapid Prototyping Eine Zukunftstechnologie - kompakt erklärt
3D-Druck/Rapid Prototyping Eine Zukunftstechnologie - kompakt erklärt
Author 
Fastermann, Petra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29225-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Cooperative Design, Visualization, and Engineering 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings
Cooperative Design, Visualization, and Engineering 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32609-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
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:
63. 
Cover image for Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
Author 
Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33681-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Pro/MECHANICA® verstehen lernen für Pro/ENGINEER Wildfire® 4.0 und Creo Elements/Pro 5.0 (Wildfire® 5.0)
Pro/MECHANICA® verstehen lernen für Pro/ENGINEER Wildfire® 4.0 und Creo Elements/Pro 5.0 (Wildfire® 5.0)
Author 
Kloninger, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers
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:
66. 
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 I
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:
67. 
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:
68. 
Cover image for Computer Vision and Action Recognition A Guide for Image Processing and Computer Vision Community for Action Understanding
Computer Vision and Action Recognition A Guide for Image Processing and Computer Vision Community for Action Understanding
Author 
Ahad, Md. Atiqur Rahman. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-20-6
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Euclidean Shortest Paths Exact or Approximate Algorithms
Euclidean Shortest Paths Exact or Approximate Algorithms
Author 
Li, Fajie. author. Klette, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Evolutionary Optimization: the µGP toolkit
Evolutionary Optimization: the µGP toolkit
Author 
Sanchez, Ernesto. author. Schillaci, Massimiliano. author. Squillero, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09426-7
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Printing in Plastic Build Your Own 3D Printer
Printing in Plastic Build Your Own 3D Printer
Author 
Hood-Daniel, Patrick. author. Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3444-9
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Playing with the Past
Playing with the Past
Author 
Champion, Erik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Numerical Methods and Applications 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers
Numerical Methods and Applications 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers
Author 
Dimov, Ivan. editor. Dimova, Stefka. editor. Kolkovska, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18466-6
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Collaborative Design in Virtual Environments
Collaborative Design in Virtual Environments
Author 
Wang, Xiangyu. editor. Tsai, Jerry Jen-Hung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0605-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Advances on Modeling in Tissue Engineering
Advances on Modeling in Tissue Engineering
Author 
Fernandes, Paulo R. editor. Bártolo, Paulo Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1254-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Cartesian Genetic Programming
Cartesian Genetic Programming
Author 
Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Advances in Self-Organizing Maps 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings
Advances in Self-Organizing Maps 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings
Author 
Laaksonen, Jorma. editor. Honkela, Timo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21566-7
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
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:
79. 
Cover image for Holonic and Multi-Agent Systems for Manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings
Holonic and Multi-Agent Systems for Manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings
Author 
Mařík, Vladimír. editor. Vrba, Pavel. editor. Leitão, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23181-0
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Ontologies in Urban Development Projects
Ontologies in Urban Development Projects
Author 
Falquet, Gilles. author. Métral, Claudine. author. Teller, Jacques. author. Tweed, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-724-2
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Guide to Geometric Algebra in Practice
Guide to Geometric Algebra in Practice
Author 
Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-811-9
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Geometric Algebra Computing in Engineering and Computer Science
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:
83. 
Cover image for Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
Author 
Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-166-0
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
Author 
Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA
Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA
Author 
Draht, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04674-2
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
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:
87. 
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:
88. 
Cover image for Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
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:
89. 
Cover image for The Language of Design Theory and Computation
The Language of Design Theory and Computation
Author 
Dong, Andy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-021-0
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
Author 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Pro/MECHANICA® verstehen lernen ab Version Wildfire 4.0
Pro/MECHANICA® verstehen lernen ab Version Wildfire 4.0
Author 
Kloninger, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89018-8
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Geometric Algebra with Applications in Engineering
Geometric Algebra with Applications in Engineering
Author 
Perwass, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89068-3
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Motivated Reinforcement Learning Curious Characters for Multiuser Games
Motivated Reinforcement Learning Curious Characters for Multiuser Games
Author 
Merrick, Kathryn. author. Maher, Mary Lou. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89187-1
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
Author 
Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00269-4
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
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:
96. 
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:
97. 
Cover image for Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1
Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1
Author 
Zhou, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02466-5
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
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:
99. 
Cover image for Holonic and Multi-Agent Systems for Manufacturing 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings
Holonic and Multi-Agent Systems for Manufacturing 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings
Author 
Mařík, Vladimír. editor. Strasser, Thomas. editor. Zoitl, Alois. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03668-2
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Research and Education in Robotics — EUROBOT 2008 International Conference, Heidelberg, Germany, May 22-24, 2008. Revised Selected Papers
Research and Education in Robotics — EUROBOT 2008 International Conference, Heidelberg, Germany, May 22-24, 2008. Revised Selected Papers
Author 
Gottscheber, Achim. editor. Enderle, Stefan. editor. Obdrzalek, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03558-6
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
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:
102. 
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:
103. 
Cover image for Mixed Reality In Architecture, Design And Construction
Mixed Reality In Architecture, Design And Construction
Author 
Wang, Xiangyu. editor. Schnabel, Marc Aurel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9088-2
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
Author 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Design Computing and Cognition '08 Proceedings of the Third International Conference on Design Computing and Cognition
Design Computing and Cognition '08 Proceedings of the Third International Conference on Design Computing and Cognition
Author 
Gero, John S. editor. Goel, Ashok K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8728-8
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Line Drawing Interpretation
Line Drawing Interpretation
Author 
Cooper, Martin, 1910-1986 author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-229-6
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Writing mental ray® Shaders A Perceptual Introduction
Writing mental ray® Shaders A Perceptual Introduction
Author 
Kopra, Andy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-48965-9
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
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:
109. 
Cover image for Smart Graphics 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings
Smart Graphics 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings
Author 
Butz, Andreas. editor. Fisher, Brian. editor. Krüger, Antonio. editor. Olivier, Patrick. editor. Christie, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85412-8
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
Author 
Cascini, Gaetano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09697-1
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Interactive Curve Modeling With Applications to Computer Graphics, Vision and Image Processing
Interactive Curve Modeling With Applications to Computer Graphics, Vision and Image Processing
Author 
Sarfraz, M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-871-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Introduction to Geometric Computing
Introduction to Geometric Computing
Author 
Ghali, Sherif. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-115-2
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
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:
114. 
Cover image for The Art of Artificial Evolution A Handbook on Evolutionary Art and Music
The Art of Artificial Evolution A Handbook on Evolutionary Art and Music
Author 
Romero, Juan. editor. Machado, Penousal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72877-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
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:
116. 
Cover image for Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Author 
Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92719-8
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions
Author 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Hardware Verification with SystemVerilog An Object-Oriented Framework
Hardware Verification with SystemVerilog An Object-Oriented Framework
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Design for Manufacturability and Yield for Nano-Scale CMOS
Design for Manufacturability and Yield for Nano-Scale CMOS
Author 
Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Author 
Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Introduction to Scientific Visualization
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:
122. 
Cover image for Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers
Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers
Author 
Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
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:
124. 
Cover image for Holonic and Multi-Agent Systems for Manufacturing Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007
Holonic and Multi-Agent Systems for Manufacturing Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007
Author 
Mařík, Vladimír. editor. Vyatkin, Valeriy. editor. Colombo, Armando W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74481-8
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
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:
126. 
Cover image for Designing with video Focusing the user-centred design process
Designing with video Focusing the user-centred design process
Author 
Ylirisku, Salu. author. Buur, Jacob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-961-3
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
Author 
Diehl, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
Author 
Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
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:
130. 
Cover image for A Practical Introduction to PSL
A Practical Introduction to PSL
Author 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Author 
Carson, Tom. author. Baker, Donna L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-138-5
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Boundary Representation Modelling Techniques
Boundary Representation Modelling Techniques
Author 
Stroud, Ian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Transformations and Projections in Computer Graphics
Transformations and Projections in Computer Graphics
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
Author 
Smith, Ian F. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11888598
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Author 
Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34403-9
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Hardware Verification with C++ A Practitioner’s Handbook
Hardware Verification with C++ A Practitioner’s Handbook
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Author 
Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11686699
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
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:
139. 
Cover image for The Finite Element Method and Applications in Engineering Using Ansys®
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:
140. 
Cover image for Curves and Surfaces for Computer Graphics
Curves and Surfaces for Computer Graphics
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28452-4
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Embedded System Design
Embedded System Design
Author 
Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Differential Evolution A Practical Approach to Global Optimization
Differential Evolution A Practical Approach to Global Optimization
Author 
Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31306-0
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for System-Level Design Techniques for Energy-Efficient Embedded Systems
System-Level Design Techniques for Energy-Efficient Embedded Systems
Author 
Schmitz, Marcus T. author. Al-Hashimi, Bashir M. author. Eles, Petru. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106642
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO
Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO
Author 
G, H J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b99770
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
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:
147. 
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:
148. 
Cover image for Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings
Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings
Author 
Mařík, Vladimír. editor. Brennan, Robert. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537847
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings
Author 
Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11556930
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
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:
151. 
Cover image for Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Author 
Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11568421
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Distributed Network Systems From Concepts to Implementations
Distributed Network Systems From Concepts to Implementations
Author 
Jia, Weijia. author. Zhou, Wanlei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102545
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Design of Embedded Control Systems
Design of Embedded Control Systems
Author 
Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28327-7
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for An Introduction to Meshfree Methods and Their Programming
An Introduction to Meshfree Methods and Their Programming
Author 
Liu, G.R. author. Gu, Y.T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3468-7
Format: 
Availability 
Online Library~1
Available:
Copies: