نتایج جستجو
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.), 2000
Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part I
David Rozado, Francisco B. Rodriguez, Pablo Varona (auth.), Joan Cabestany, Ignacio Rojas, Gonzalo Joya (eds.), 2011
Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part I
David Rozado, Francisco B. Rodriguez, Pablo Varona (auth.), Joan Cabestany, Ignacio Rojas, Gonzalo Joya (eds.), 2011
Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II
E. J. Palomo, E. Domínguez, R. M. Luque, J. Muñoz (auth.), Joan Cabestany, Ignacio Rojas, Gonzalo Joya (eds.), 2011
Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II
E. J. Palomo, E. Domínguez, R. M. Luque, J. Muñoz (auth.), Joan Cabestany, Ignacio Rojas, Gonzalo Joya (eds.), 2011
Advances in Computational Intelligence: 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011, Proceedings, Part II
E. J. Palomo, E. Domínguez, R. M. Luque, J. Muñoz (auth.), Joan Cabestany, Ignacio Rojas, Gonzalo Joya (eds.), 2011
Advances in Computational Intelligence: 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I
John N. A. Brown (auth.), Ignacio Rojas, Gonzalo Joya, Joan Gabestany (eds.), 2013
Advances in Computational Intelligence: 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II
Anastassia Angelopoulou, Alexandra Psarrou, José García-Rodríguez (auth.), Ignacio Rojas, Gonzalo Joya, Joan Cabestany (eds.), 2013
Advances in Computational Intelligence: 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I
Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.), 2015
Advances in Computational Intelligence: 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II
Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.), 2015
Black & decker The complete guide to plumbing : modern materials and current codes all new guide to working with gas pipe
Black & Decker Corporation (Towson, Md.); Creative Publishing International, 2008
Four Seminal Thinkers in International Theory: Machiavelli, Grotius, Kant, and Mazzini
Martin Wight, Gabriele Wight, Brian Porter, David S. Yost, Sir Michael Howard, 2005
International Employer Brand Management: A Multilevel Analysis and Segmentation of Students' Preferences
Lena Christiaans (auth.), 2013
Molecular Biology of the Gene (International Ed.)
James D. Watson, Tania A. Baker, Stephen P. Bell, Alexander Gann, Michael Levine, Richard Losick, 2004
Molecular Biology of the Gene (International Ed.)
James D. Watson, Tania A. Baker, Stephen P. Bell, Alexander Gann, Michael Levine, Richard Losick, 2003
Dissentient judgment of Justice Pal = 東京裁判・原典・英文版パール判決書 : International Military Tribunal for the Far East
Araki, Sadao; Nakamura, Akira; Pal, Radhabinod, 1999
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.), 2003
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.), 2003
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008
High Performance Computing: International Symposium, ISHPC'97 Fukuoka, Japan, November 4–6, 1997 Proceedings
Bret A. Marsolf, Aart J. C. Bik, Kyle A. Gallivan (auth.), Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya (eds.), 1997
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc,BSc(Hons), Kenji Taguchi MA (eds.), 1999
International Symposium on Mathematical Problems in Theoretical Physics: January 23–29, 1975, Kyoto University, Kyoto/Japan
D. Iagolnitzer (auth.), Prof. Huzihiro Araki (eds.), 1975
Myocardial Infarction at Young Age: International Symposium Held in Bad Krozingen January 30 and 31, 1981
H. Roskamm (auth.), Professor Dr. Helmut Roskamm (eds.), 1981
