| 8541 |
"Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings"
|
International Conference on Integrated Formal Methods
|
2007 |
Okänt |
| 8542 |
"Integrated Formal Methods: 7th International Conference, IFM 2009, D©ơsseldorf, Germany, February 16-19, 2009, Proceedings"
|
International Conference on Integrated Formal Methods
|
2009 |
Okänt |
| 8543 |
"Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings"
|
International Conference on Integrated Formal Methods
|
2010 |
Okänt |
| 8544 |
"Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings"
|
International Conference on Integrated Formal Methods
|
2012 |
Okänt |
| 8545 |
"Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings"
|
International Conference on Integrated Formal Methods
|
2000 |
Okänt |
| 8546 |
Integrated Formal Methods electronic resource : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings / edited by Dominique Méry, Stephan Merz
|
France) 2010 : (8th International Conference on Integrated Formal Methods Nancy
|
uuuu-uuuu |
Okänt |
| 8547 |
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (editors)
|
England) 2007 : (6th International Conference on Integrated Formal Methods Oxford
|
uuuu-uuuu |
Okänt |
| 8548 |
Integrated Formal Methods electronic resource : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
|
Italy) 2012 : (9th International Conference on Integrated Formal Methods Pisa
|
uuuu-uuuu |
Okänt |
| 8549 |
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds
|
Finland) 2002 : (3rd International Conference on Integrated Formal Methods Turku
|
uuuu-uuuu |
Okänt |
| 8550 |
IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 / Keijiro Araki, Andy Galloway, and Kenji Taguchi (editors)
|
England) International Conference on Integrated Formal Methods York
|
uuuu-uuuu |
Okänt |
| 8551 |
11th International Conference on Optics and Optical Fibre Communications and 23rd European Conference on Optical Communication (IOOC/ECOC '97)
|
Scotland) 1997 : (11th International Conference on Integrated Optics and Optical Fiber Communication Edinburgh
|
uuuu-uuuu |
Okänt |
| 8552 |
5th International Conference on Integrated Power Electronics Systems : 11-13 March 2008
|
Germany) 2008 : (5th International Conference on Integrated Power Electronics Systems Nuremberg
|
uuuu-uuuu |
Okänt |
| 8553 |
CIPS 2014 : 8th International Conference on Integrated Power Electronics Systems : 25-27 February 2014
|
Germany) 2014 : (8th International Conference on Integrated Power Electronics Systems Nuremberg
|
uuuu-uuuu |
Okänt |
| 8554-8555 |
CIPS 2016 : 9th International Conference on Integrated Power Electronics Systems : 8-10 March 2016
(flera utgåvor)
|
Germany) 2016 : (9th International Conference on Integrated Power Electronics Systems Nuremberg
|
uuuu-uuuu |
Okänt |
| 8556-8557 |
CIPS 2018 : 10th International Conference on Integrated Power Electronics Systems March, 20-22, 2018 Stuttgart, Germany
(flera utgåvor)
|
Germany) 2018 : (10th International Conference on Integrated Power Electronics Systems Stuttgart
|
uuuu-uuuu |
Okänt |
| 8558 |
"Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings"
|
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
|
2008 |
Okänt |
| 8559 |
"Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems: 4th International Conference, CPAIOR 2007 Brussels, Belgium, May 23-26, 2007 Proceedings"
|
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
|
2007 |
Okänt |
| 8560 |
Integration of AI and OR Techniques in Constant Programming for Combinatorial Optimization Problems
|
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
|
2004 |
Okänt |