Thin impedance vibrators theory and applications /

per Nesterenko, Mikhail V., Katrich, Victor A., Penkin, Yuriy M., Dakhov, Victor M., Berdnik, Sergey L.
Publicat 2011.

Conceptual structures knowledge architectures for smart applications : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedi...

per International Conference on Conceptual Structures, Priss, Uta., Polovina, Simon., Hill, Richard.
Publicat 2007.

Scale space and PDE methods in computer vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005 : proceedings /

per Scale-Space 2005, Kimmel, Ron., Sochen, Nir., Weickert, Joachim.
Publicat c2005

Digital terrain modelling development and applications in a policy support environment /

per Peckham, Robert Joseph., Jordan, Gyozo.
Publicat c2007

Research trends in geographic information science

per Navratil, Gerhard.
Publicat c2009

Transactions on rough sets X

per Peters, James F.
Publicat 2009.

AI approaches to the complexity of legal systems models andeEthical challenges for legal systems, legal language and legal ontologies, argumentation and software agents : Internati...

per AICOL (Conferência), Palmirani, Monica.
Publicat 2012.

Unconventional computation 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008 : proceedings /

per UC (Conferência), Calude, Cristian S.
Publicat c2008

Big data analytics first International Conference, BDA 2012, New Delhi, India, December 24-26, 2012, proceedings /

per BDA (Conferência), Srinivasa, Srinath, Bhatnagar, Vasudha.
Publicat 2012.

Formal concept analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings /

per International Conference, ICFCA 2013, Cellier, Peggy., Distel, Felix., Ganter, Bernhard.
Publicat 2013.

Fundamentals of computational geoscience numerical methods and algorithms /

per Zhao, Chongbin., Hobbs, Bruce E., Ord, Alison.
Publicat c2009

Foundations of fuzzy logic and soft computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007 : proceedings /

per IFSA World Congress, Melin, Patricia.
Publicat 2007.

Learning and intelligent optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007 : selected papers /

per LION (Conferência), Maniezzo, Vittorio., Battiti, Roberto., Watson, Jean-Paul.
Publicat c2008

Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday /

per Abrial, Jean-Raymond., Glässer, Uwe
Publicat 2009.

Algorithmic decision theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, proceedings /

per International Conference, ADT 2013, Perny, Patrice, Pirlot, M., Tsoukiàs, Alexis.
Publicat 2013.

Statistical challenges in modern astronomy V

per Feigelson, Eric D., Babu, Jogesh.
Publicat 2012.

Verification, model checking, and abstract interpretation 6th International Conference, VMCAI 2005, Paris, France, january 17-19, 2005 : proceedings /

per VMCAI 2005, Cousot, Radhia.
Publicat 2005.

Theorem proving in higher order logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /

per TPHOLs, Ait Mohamed, Otmane., Muñoz, César A., Tahar, Sofiène
Publicat c2008

Formal modeling actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /

per Agha, Gul A., Danvy, Olivier., Meseguer, José.
Publicat 2011.

Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006: proceedings /

per WS-FM 2006, Bravetti, Mario., Núñez, Manuel., Zavattaro, Gianluigi.
Publicat 2006.