Did you mean: technology

search result

Cover von Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7298
Media group: MONOGRAPHIE
Cover von Efficiency and effectiveness of XML tools and techniques and data integration over the web
VLDB 2002 workshop EEXTT and CAiSe 2002 workshop DIWeb, revised papers
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2590
Media group: MONOGRAPHIE
Cover von 12th international conference on parallel architectures and compilation techniques
proceedings, 27 September - 1 October 2003, New Orleans, Louisiana
Search for this author
Year: 2003
Publisher: Piscataway, IEEE
Media group: KONGRESSBERICHT
Cover von 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
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5015
Media group: MONOGRAPHIE
Cover von Formal techniques in real-time and fault-tolerant systems
5th international symposium : Lyngby, Denmark, September 14 - 18, 1998 : proceedings
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1486
Media group: MONOGRAPHIE
Cover von Formal techniques in real-time and fault-tolerant systems
4th international symposium : Uppsala, Sweden, September 9 - 13, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1135
Media group: MONOGRAPHIE
Cover von Formal techniques in real-time and fault-tolerant systems
third international symposium : organized jointly with the working group provably correct Systems : Lübeck, Germany, September 19 - 23, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 863
Media group: MONOGRAPHIE
Cover von Formal techniques in real-time and fault-tolerant systems
second international symposium : Nijmegen, the Netherlands, January 8 - 10, 1992 : proceedings
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 571
Media group: MONOGRAPHIE
Cover von Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18 - 22, 2013 : Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7874
Media group: MONOGRAPHIE
Cover von Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
8th International Conference, Berlin, Germany, May 23 - 27, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6697
Media group: MONOGRAPHIE
OPEN V 11.1.0.0