Results
|
1.
|
|
|
2.
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura. by
- Iyoda, Juliano [editor.]
- Moura, Leonardo de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8195
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
3.
|
Design and Modeling of Mechanical Systems [electronic resource] : Proceedings of the Fifth International Conference Design and Modeling of Mechanical Systems, CMSM´2013, Djerba, Tunisia, March 25-27, 2013 / edited by Mohamed Haddar, Lotfi Romdhane, Jamel Louati, Abdelmajid Ben Amara. by
- Haddar, Mohamed [editor.]
- Romdhane, Lotfi [editor.]
- Louati, Jamel [editor.]
- Ben Amara, Abdelmajid [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Mechanical Engineering
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Cross-Cultural Design. Methods, Practice, and Case Studies [electronic resource] : 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by P. L. Patrick Rau. by
- Rau, P. L. Patrick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8023
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
11.
|
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by
- Brocke, Jan vom [editor.]
- Hekkala, Riitta [editor.]
- Ram, Sudha [editor.]
- Rossi, Matti [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7939
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
Advances in Computing, Communication, and Control [electronic resource] : Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings / edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir. by
- Unnikrishnan, Srija [editor.]
- Surve, Sunil [editor.]
- Bhoir, Deepak [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 361
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|