Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational intelligence for engineering systems : emergent applications / Ana Madureira, Judite Ferreira, Zita Vale, editors por International Symposium on Computational Intelligence for Engineering Systems (2009 : Porto, Portugal) | Madureira, Ana (Ana Maria) [editor] | Ferreira, Judite [editor] | Vale, Zita [editor]. Series International series on intelligent systems, control and automation--science and engineering ; v. 46Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Dordrecht : Springer, c2011Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: TJ217.5 I584, ...
|
|
|
|
|
|
|
|
|
Computational methods in mechanical systems : mechanism analysis, synthesis, and optimization / edited by Jorge Angeles, Evtim Zakhariev por Angeles, Jorge, 1943- [editor] | Zakhariev, Evtim, 1951- [editor] | Organización del Tratado del Atlántico Norte. División de Asuntos Científicos | NATO Advanced Study Institute on Computational Methods in Mechanisms (1997 : Varna, Bulgaria). Series NATO ASI series. Series F, Computer and systems sciences ; vol. 161Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ175 C65.
|
|
|
|
|
|
|
|
|
|
|
|
Computer aided systems theory EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers / Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire, (eds.) por International Workshop Eurocast (8 : 2001 : Las Palmas de Gran Canaria, España) | Moreno-Diaz, Roberto [editor] | Buchberger, Bruno [editor] | Freire, Jose-Luis [editor]. Series Lecture notes in computer science ; v. 2178Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: TA345 I584 2001, ...
|
|
|
|
|
|
Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) por CAV Conference (16 : 2004 : Boston, Massachusetts) | Alur, Rajeev, 1966- [editor] | Peled, Doron A, 1962- [editor]. Series Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Otro título: CAV 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.76V47 C38 2004, ...
|
|
|
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones, eds. por CAV. Conference (18 : 2006 : Seattle, Washington) | Ball, Thomas, 1965- [editor] | Jones, Robert Brent, 1969- [editor]. Series Lecture notes in computer science ; 4144Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: CAV 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 C38 2006.
|
|
|
|
|
|
|
|
|
|
|
|
|