| 7221 |
Formal Concept Analysis electronic resource : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / edited by Raoul Medina, Sergei Obiedkov
|
Canada) 2008 : (6th International Conference on Formal Concept Analysis Montreal
|
uuuu-uuuu |
Okänt |
| 7222 |
Formal Concept Analysis electronic resource : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings / edited by Petko Valtchev, Robert Jäschke
|
Cyprus) 2011 : (9th International Conference on Formal Concept Analysis Nicosia
|
uuuu-uuuu |
Okänt |
| 7223 |
Concept Lattices electronic resource : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings / edited by Peter Eklund
|
N.S.W.) 2004 : (2nd International Conference on Formal Concept Analysis Sydney
|
uuuu-uuuu |
Okänt |
| 7224 |
Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings / edited by Peter Eklund
|
N.S.W.) 2004 : (2nd International Conference on Formal Concept Analysis Sydney
|
uuuu-uuuu |
Okänt |
| 7225 |
Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (editors)
|
Fla.) 2007 : (9th International Conference on Formal Engineering Methods Boca Raton
|
uuuu-uuuu |
Okänt |
| 7226 |
Formal Methods and Software Engineering electronic resource : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu
|
England) 2011 : (13th International Conference on Formal Engineering Methods Durham
|
uuuu-uuuu |
Okänt |
| 7227 |
"Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings"
|
International Conference on Formal Engineering Methods
|
2008 |
Okänt |
| 7228 |
"Formal Methods and Software Engineering: 11th International Conference on Formal Engineering MethodsICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings"
|
International Conference on Formal Engineering Methods
|
2009 |
Okänt |
| 7229 |
"Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings"
|
International Conference on Formal Engineering Methods
|
2012 |
Okänt |
| 7230 |
"Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings"
|
International Conference on Formal Engineering Methods
|
2002 |
Okänt |
| 7231 |
"Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings"
|
International Conference on Formal Engineering Methods
|
2006 |
Okänt |
| 7232 |
"Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings"
|
International Conference on Formal Engineering Methods
|
2007 |
Okänt |
| 7233 |
Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki
|
Japan) 2008 : (10th International Conference on Formal Engineering Methods Kitakyūshū-shi
|
uuuu-uuuu |
Okänt |
| 7234 |
Formal Methods and Software Engineering electronic resource : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / edited by Toshiaki Aoki, Kenji Taguchi
|
Japan) 2012 : (14th International Conference on Formal Engineering Methods Kyoto
|
uuuu-uuuu |
Okänt |
| 7235 |
Formal Methods and Software Engineering electronic resource : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / edited by Zhiming Liu, Jifeng He
|
China) 2006 : (8th International Conference on Formal Engineering Methods Macau
|
uuuu-uuuu |
Okänt |
| 7236 |
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.)
|
England) 2005 : (7th International Conference on Formal Engineering Methods Manchester
|
uuuu-uuuu |
Okänt |
| 7237 |
Formal Methods and Software Engineering electronic resource : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / edited by Karin Breitman, Ana Cavalcanti
|
Brazil) 2009 : (11th International Conference on Formal Engineering Methods Rio de Janeiro
|
uuuu-uuuu |
Okänt |
| 7238 |
Formal Methods and Software Engineering electronic resource : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett
|
Wash.) 2004 : (6th International Conference on Formal Engineering Methods Seattle
|
uuuu-uuuu |
Okänt |
| 7239 |
Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett
|
Wash.) 2004 : (6th International Conference on Formal Engineering Methods Seattle
|
uuuu-uuuu |
Okänt |
| 7240 |
Formal Methods and Software Engineering electronic resource : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / edited by Jin Song Dong, Huibiao Zhu
|
China) 2010 : (12th International Conference on Formal Engineering Methods Shanghai
|
uuuu-uuuu |
Okänt |