Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 11130 EDV | Informatik
- 1116 Mathematik
- Medium
-
- 11168
- Erscheinungsjahr
-
- 6
- 747
- 798
- 841
- 622
- 480
- 285
- 317
- 316
- 312
- 279
- 318
- 306
- 302
- 298
- 296
- 285
- 288
- 256
- 211
- 261
- 270
- 230
- 359
- 307
- 255
- 254
- 177
- 177
- 134
- 137
- 133
- 117
- 106
- 93
- 73
- 88
- 59
- 59
- 45
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 5
- 5
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 9
- 5
- 12
- 25
- 10
- 7
- 4
- 4
- 4
- 5
- 4
- 5
- 8
- 10
- 4
- 5
- 8
- 17
- 6
- 13
- 4
- 8
- 5
- 4
- 4
- 4
- 5
- 5
- 9
- 9
- 6
- 4
- 5
- 5
- 4
- 6
- 6
- 14
- 4
- 33
- 36
- 7
- 41
- 5
- 5
- 4
- 4
- 5
- 5
- 6
- 8
- 5
- 13
- 4
- 21
- 13
- 4
- 4
- 6
- 4
- 6
- 4
- 7
- 4
- 39
- 13
- 6
- 4
- 6
- 4
- 5
- 4
- 7
- 5
- 7
- 4
- 4
- 4
- 10
- 4
- 7
- 17
- 9
- 8
- 4
- 4
- 5
- 6
- 4
- 6
- 6
- 8
- 24
- 4
- 8
- 10
- 10
- 11
- 7
- 6
- 4
- 12
- 6
- 4
- 4
- 5
- 4
- 19
- 5
- 6
- 14
- 6
- 12
- 5
- 5
- 5
- 9
- 8
- 4
- 4
- 8
- 26
- 4
- 4
- 4
- 10
- 5
- 11
- 5
- 6
- 40
- 4
- 5
- 4
- 4
- 8
- 5
- 20
- 18
- 6
- 4
- 4
- 4
- 8
- 6
- 11
- 10
- 4
- 5
- 4
- 5
- 11
- 4
- 5
- 4
- 7
- 10
- 4
- 4
- 4
- 7
- 8
- 12
- 12
- 9
- 4
- 12
- 8
- 8
- 16
- 4
- 7
- 5
- 4
- 4
- 6
- 10
- 39
- 18
- 7
- 6
- 4
- 8
- 5
- 7
- 7
- 16
- 4
- 5
- 9
- 4
- 15
- 7
- 5
- 13
- 4
- 4
- 6
- 24
- 4
- 15
- 10
- 4
- 4
- 11
- 4
- 4
- 10
- 6
- 6
- 10
- 4
- 7
- 34
- 4
- 17
- 41
- 13
- 8
- 17
- 19
- 4
- 11
- 4
- 45
- 4
- 9
- 38
- 4
- 9
- 14
- 12
- 4
- 12
- 6
- 11
- 10
- 6
- 4
- 5
- 39
- 5
- 11
- 9
- 12
- 4
- 4
- 4
- 4
- 12
- 13
- 6
- 5
- 4
- 15
- 6
- 14
- 6
- 8
- 4
- 6
- 5
- 23
- 26
- 15
- 27
- 9
- 9
- 5
- 8
- 8
- 5
- 7
- 6
- 5
- 16
- 13
- 24
- 6
- 4
- 6
- 4
- 6
- 4
- 4
- 4
- 7
- 4
- 8
- 4
- 9
- 7
- 4
- 4
- 5
- 4
- 7
- 15
- 10
- 4
- 10
- 10
- 4
- 4
- 5
- 50
- 41
- 8
- 39
- 4
- 8
- 16
- 7
- 8
- 34
- 13
- 4
- 7
- 4
- 4
- 19
- 4
- 8
- 6
- 5
- 10
- 26
- 12
- 43
- 78
- 9
- 7
- 15
- 10
- 8
- 5
- 6
- 10
- 15
- 5
- 8
- 8
- 6
- 6
- 6
- 8
- 6
- 5
- 5
- 5
- 5
- 20
- 17
- 11
- 6
- 9
- 8
- 5
- 5
- 12
- 6
- 22
- 67
- 34
- 8
- 23
- 17
- 23
- 106
- 5
- 11
- 6
- 8
- 15
- 11
- 6
- 7
- 19
- 15
- 5
- 11
- 8
- 6
- 16
- 7
- 5
- 6
- 5
- 13
- 43
- 6
- 10
- 8
- 6
- 9
- 16
- 6
- 7
- 8
- 23
- 39
- 17
- 8
- 10
- 5
- 15
- 5
- 14
- 15
- 6
- 5
- 7
- 94
- 5
- 8
- 5
- 8
- 6
- 5
- 7
- 15
- 5
- 12
- 6
- 8
- 5
- 19
- 13
- 7
- 5
- 8
- 6
- 11
- 17
- 16
- 11
- 7
- 13
- 5
- 7
- 13
- 7
- 10
- 5
- 6
- 13
- 6
- 7
- 5
- 5
- 6
- 10
- 6
- 8
- 11
- 5
- 15
- 8
- 7
- 10
- 42
- 12
- 5
- 7
- 24
- 6
- 19
- 41
- 6
- 5
- 12
- 15
- 9
- 33
- 6
- 7
- 6
- 9
- 5
- 18
- 6
- 7
- 11
- 6
- 17
- 38
- 22
- 8
- 10
- 6
- 17
- 25
- 5
- 78
- 14
- 25
- 44
- 5
- 6
- 10
- 7
- 5
- 5
- 11
- 6
- 5
- 12
- 6
- 7
- 7
- 5
- 9
- 7
- 6
- 5
- 16
- 90
- 13
- 44
- 7
- 12
- 6
- 8
- 5
- 8
- 14
- 10
- 11
- 5
- 5
- 5
- 9
- 10
- 18
- 19
- 8
- 27
- 5
- 6
- 6
- 80
- 5
- 17
- 6
- 7
- 10
- 21
- 5
- 6
- 8
- 5
- 6
- 6
- 32
- 6
- 9
- 25
- 6
- 5
- 5
- 13
- 12
- 13
- 14
- 11
- 15
- 13
- 16
- 78
- 11
- 9
- 8
- 28
- 34
- 31
- 5
- 5
- 10
- 8
- 11
- 5
- 18
- 6
- 6
- 7
- 9
- 13
- 5
- 10
- 20
- 9
- 9
- 8
- 10
- 9
- 7
- 15
- 7
- 5
- 35
- 12
- 9
- 5
- 10
- 7
- 6
- 20
- 7
- 9
- 13
- 7
- 8
- 11
- 96
- 5
- 7
- 7
- 5
- 9
- 11
- 5
- 7
- 5
- 7
- 7
- 11
- 36
- 7
- 5
- 16
- 9
- 5
- 9
- 6
- 5
- 14
- 5
- 21
- 25
- 5
- 9
- 5
- 6
- 8
- 6
- 8
- 13
- 6
- 7
- 5
- 9
- 7
- 7
- 5
- 8
- 48
- 8
- 23
- 5
- 6
- 41
- 14
- 10
- 9
- 13
- 18
- 15
- 18
- 15
- 6
- 11
- 5
- 9
- 28
- 12
- 12
- 7
- 6
- 5
- 20
- 5
- 10
- 8
- 15
- 11
- 6
- 5
- 6
- 13
- 7
- 11
- 6
- 5
- 12
- 5
- 8
- 24
- 7
- 6
- 38
- 9
- 8
- 9
- 6
- 5
- 17
- 8
- 8
- 7
- 30
- 6
- 14
- 6
- 7
- 36
- 8
- 7
- 6
- 9
- 10
- 5
- 90
- 7
- 6
- 5
- 9
- 5
- 6
- 33
- 15
- 8
- 78
- 20
- 12
- 8
- 13
- 13
- 19
- 18
- 9
- 9
- 93
- 6
- 48
- 5
- 11
- 11
- 8
- 6
- 89
- 17
- 20
- 12
- 8
- 9
- 16
- 12
- 6
- 5
- 9
- 5
- 5
- 8
- 90
- 5
- 5
- 6
- 17
- 8
- 7
- 81
- 12
- 16
- 15
- 11
- 9
- 8
- 10
- 13
- 5
- 7
- 7
- 22
- 18
- 8
- 5
- 6
- 15
- 7
- 28
- 5
- 7
- 8
- 5
- 6
- 5
- 5
- 14
- 8
- 6
- 9
- 7
- 16
- 6
- 12
- 23
- 31
- 6
- 6
- 6
- 19
- 9
- 6
- 13
- 12
- 31
- 11
- 5
- 13
- 10
- 42
- 8
- 51
- 11
- 9
- 6
- 11
- 12
- 5
- 22
- 18
- 6
- 17
- 18
- 19
- 5
- 6
- 24
- 14
- 28
- 63
- 10
- 16
- 19
- 8
- 9
- 7
- 24
- 6
- 19
- 16
- 7
- 6
- 6
- 17
- 10
- 60
- 6
- 81
- 24
- 12
- 6
- 13
- 15
- 7
- 7
- 7
- 12
- 15
- 5
- 12
- 7
- 15
- 13
- 7
- 6
- 10
- 10
- 89
- 11
- 5
- 18
- 16
- 5
- 6
- 6
- 5
- 7
- 16
- 8
- 8
- 7
- 34
- 5
- 11
- 9
- 5
- 8
- 12
- 13
- 21
- 5
- 10
- 6
- 36
- 6
- 5
- 6
- 14
- 19
- 14
- 10
- 6
- 6
- 8
- 8
- 6
- 5
- 25
- 7
- 16
- 10
- 6
- 6
- 9
- 6
- 6
- 5
- 6
- 14
- 13
- 9
- 5
- 5
- 5
- 18
- 5
- 10
- 12
- 6
- 5
- 9
- 5
- 17
- 25
- 13
- 6
- 14
- 5
- 19
- 18
- 5
- 7
- 5
- 5
- 12
- 6
- 10
- 18
- 10
- 6
- 43
- 6
- 8
- 6
- 6
- 5
- 23
- 6
- 48
- 40
- 66
- 41
- 16
- 6
- 11
- 6
- 18
- 32
- 7
- 26
- 21
- 21
- 9
- 6
- 5
- 10
- 7
- 7
- 6
- 20
- Verlag
-
- 9
- 10996
- 3
- 5
- 1
- 100
- 4
- 1
- 12
- 37
- Preis
-
- 47
- 410
- 8466
- 2245
- Sprachen
-
- 11162
- 17
- 13
- Verfügbarkeit
-
- 10904
- 264
- Eigenschaften
-
- 2
- Katalog
-
- 11168
- 589
-
Leite / Son / Torroni Computational Logic in Multi-Agent Systems
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40623-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tan / Shi / Chai Advances in Swarm Intelligence, Part I
Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21514-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tan / Shi / Buarque Advances in Swarm and Computational Intelligence
6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III2015Verlag: SpringerISBN: 978-3-319-20468-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Patra Topics in Cryptology - CT-RSA 2025
Cryptographers' Track at the RSA Conference 2025, San Francisco, CA, USA, April 28-May 1, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-88660-7Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wolter / Schwalbe KI 2026: Advances in Artificial Intelligence
49th German Conference on AI, KI 2026, Bremen, Germany, August 11-14, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32334-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghosh / Zhang Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-981-97-7800-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berghofer / Nipkow / Urban Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03358-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fisher / van der Torre / Dastani Computational Logic in Multi-Agent Systems
13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32896-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li AI 2010: Advances in Artificial Intelligence
23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-17431-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Guesgen / Yeap PRICAI 2004: Trends in Artificial Intelligence
8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22817-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Corradini / Montanari Recent Trends in Algebraic Development Techniques
19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03428-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jarke / Bubenko / Jeffery Advances in Database Technology - EDBT '94
4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57818-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parisi-Presicce Recent Trends in Algebraic Development Techniques
12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64299-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mertsching / Hund / Aziz KI 2009: Advances in Artificial Intelligence
32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04616-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Slind / Bunker / Gopalakrishnan Theorem Proving in Higher Order Logics
17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23017-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Setubal / Verjovski-Almeida Advances in Bioinformatics and Computational Biology
Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28008-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lavrac / Gamberger / Blockeel Knowledge Discovery in Databases: PKDD 2003
7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20085-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Codescu / Diaconescu Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-28113-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aagaard / Harrison Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37443-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Basin / Wolff Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40664-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blockeel / van Leeuwen / Vinciotti Advances in Intelligent Data Analysis XIII
13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12570-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baader / Brewka / Eiter KI 2001: Advances in Artificial Intelligence
Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sidorov / Galicia-Haro Advances in Artificial Intelligence and Soft Computing
14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27059-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pichardo Lagunas / Herrera Alcántara / Arroyo Figueroa Advances in Artificial Intelligence and Its Applications
14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27100-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort