Ergebnisse filtern
-
- 25
- 16
-
- 16
- 6
- 9
- 10
-
- 33
- 6
- 1
- 1
-
- 40
- 1
-
- 1
-
- 41
- 1
-
Gaspers / Walsh Theory and Applications of Satisfiability Testing - SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66262-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Walsh / Giunchiglia SAT 2005
Satisfiability Research in the Year 20052006Verlag: Springer NetherlandsISBN: 978-94-007-8715-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gaspers / Walsh Theory and Applications of Satisfiability Testing – SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66263-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bacchus / Walsh Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-26276-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Choueiry / Walsh Abstraction, Reformulation, and Approximation
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings2000Verlag: SpringerISBN: 978-3-540-67839-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Choueiry / Walsh Abstraction, Reformulation, and Approximation
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings2000Verlag: SpringerISBN: 978-3-540-44914-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Giunchiglia / Glunchiglia / Walsh SAT 2005
Satisfiability Research in the Year 20052006Verlag: Springer NetherlandISBN: 978-1-4020-5571-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Kokuryo / Walsh / Maracke AI for Everyone
benefitting from and building trust in the technologyErscheinungsjahr 2020Verlag: Lulu Press, Inc.ISBN: 978-0-244-55730-0Medium: Buch13,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / van Maaren / Walsh Handbook of Satisfiability
Second Edition1. Auflage 2021Verlag: IOS PressISBN: 978-1-64368-160-3Medium: Buch303,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rossi / Venable / Walsh A Short Introduction to Preferences
Between AI and Social Choice1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-01556-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark28,88 € (inkl. MwSt.)
sofort verfügbar -
Biere / van Maaren / Walsh Handbook of Satisfiability
Second Edition1. Auflage 2021Verlag: SAGE PublicationsISBN: 978-1-64368-161-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark210,99 € (inkl. MwSt.)
sofort verfügbar -
Rossi / Walsh / Venable A Short Introduction to Preferences
Between AI and Social Choice1. Auflage 2011Verlag: Springer Nature SwitzerlandISBN: 978-3-031-00428-5Medium: Buch29,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rossi / van Beek / Walsh Handbook of Constraint Programming
Erscheinungsjahr 2006Verlag: Elsevier ScienceISBN: 978-0-444-52726-4Medium: Buch217,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / van Maaren / Walsh Handbook of Satisfiability
1. Auflage 2009Verlag: IOS PressISBN: 978-1-58603-929-5Medium: Buch132,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / van Maaren / Walsh Handbook of Satisfiability
1. Auflage 2009Verlag: SAGE PublicationsISBN: 978-1-60750-376-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark164,99 € (inkl. MwSt.)
sofort verfügbar -
Gent / Walsh / van Maaren Sat2000
Highlights of Satisfiability Research in the Year 20001. Auflage 2000Verlag: IOS PressISBN: 978-1-58603-061-2Medium: Buch107,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort