Did you mean: technology

search result

Cover von New trends in software methodologies, tools and techniques
proceedings of the fourth SoMeT_W05
Search for this author
Year: 2005
Publisher: Amsterdam, IOS Press
Series: Frontiers in artificial intelligence and applications; 129
Media group: MONOGRAPHIE
Cover von 1999 international conference on parallel architectures and compilation techniques
proceedings, October 12 - 16, 1999, Newport Beach, California
Search for this author
Year: 1999
Publisher: Piscataway, IEEE
Media group: KONGRESSBERICHT
Cover von Integration of AI and OR Techniques in Constraint Programming
14th International Conference, CPAIOR 2017, Padua, Italy, June 5 - 8, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10335
Media group: MONOGRAPHIE
Cover von Integration of AI and OR Techniques in Constraint Programming
13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9676
Media group: MONOGRAPHIE
Cover von Integration of AI and OR Techniques in Constraint Programming
12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18 - 22, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9075
Media group: MONOGRAPHIE
Cover von Integration of AI and OR Techniques in Constraint Programming
11th International Conference, CPAIOR 2014, Cork, Ireland, May 19 - 23, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8451
Media group: MONOGRAPHIE
Cover von Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis

Year: 2025
Media group: LIPIcs
Cover von Modern Techniques For Querying Graph-structured Databases
Author: Mhedhbi, Amine; Deshpande, Amol; Salihoğlu, Semih Search for this author
Year: 2024
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Databases; 14. 2024, 2
Media group: MONOGRAPHIE
Cover von Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions

Author: Orejas, Fernando
Year: 2024
Media group: LIPIcs
Cover von Deep Cooperation of Local Search and Unit Propagation Techniques

Deep Cooperation of Local Search and Unit Propagation Techniques

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0