Resultados
|
|
|
|
|
|
|
|
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski, eds. por International Symposium of Formal Methods Europe (14 : 2006 : Hamilton, Canadá) | Misra, Jayadev [editor] | Nipkow, Tobias, 1958- [editor] | Sekerinski, Emil, 1963- [editor]. Series Lecture notes in computer science ; 4085 | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 2006.
|
|
|
|
|
|
|
|
|
|
|
|
The fuzzy systems handbook / Earl Cox por Cox, Earl [autor]. Edición: 2nd ed.Tipo de material: Texto; Forma literaria:
No es ficción Idioma: ENG Editor: Boston : AP Professional, 1998Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: QA76.9S88 C68 1998, ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information modelling and knowledge bases XXII / edited by Anneli Heimbürger, Yasushi Kiyoki, Takehiro Tokuda, Hannu Jaakkola and Naofumi Yoshida por European-Japanese Conference on Information Modelling and Knowledge Bases (20 : 2010) | Heimburger, Anneli [editor] | Kiyoki, Yasushi [editor] | Tokuda, Takehiro, 1951- [editor] | Jaakkola, Hannu [editor] | Yoshida, Naofumi [editor]. Series Frontiers in artificial intelligence and applications ; v. 225Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Amsterdam : IOS Press, [2011]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9S88 E87 2010.
|
|
|
Information modelling and knowledge bases XXIX / edited by Virach Sornlertlamvanich, Petchporn Chawakitchareon, Aran Hansuebsai, Chawan Koopipat, Bernhard Thalheim, Yasushi Kiyoki, Hannu Jaakkola and Naofumi Yoshida por International Conference on Information Modelling and Knowledge Bases (27 : 2017 : Krabi, Tailandia) | Sornlertlamvanich, Virach [editor] | Chawakitchareon, Petchporn [editor] | Hansuebsai, Aran [editor] | Koopipat, Chawan [editor] | Thalheim, B. (Bernhard), 1952- [editor] | Kiyoki, Yasushi [editor] | Jaakkola, Hannu [editor] | Yoshida, Naofumi [editor]. Series Frontiers in artificial intelligence and applications ; v. 301Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Amsterdam : IOS Press, [2018]Otro título: Information modelling and knowledge bases 29.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9S88 I5715 2017.
|
|
|
|
|
|
|
|
|
Information systems : modeling, development, and integration : third International United Information Systems Conference UNISCON 2009. Sydney, Australia, april 24-24, 2009, proceedings / Jianhua Yang [y otros tres], eds. por International United Information System Conference (3 : 2009 : Sydney, Australia) | Yang, Jianhua [editor]. Series Lecture notes in business information processing ; 20Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: New York : Springer Verlag, 2009Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9S88 I577 2009.
|
|
|
|
|
|
|