Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2107
- Erscheinungsjahr
-
- 46
- 150
- 141
- 111
- 39
- 17
- 26
- 32
- 28
- 27
- 51
- 41
- 30
- 52
- 41
- 41
- 72
- 58
- 64
- 77
- 71
- 61
- 120
- 105
- 95
- 78
- 59
- 51
- 40
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 6
- 2
- 2
- 4
- 3
- 3
- 7
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 3
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 9
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 2
- 2
- 9
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 7
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 4
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 8
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 5
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 4
- 6
- 3
- 2
- 4
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 15
- 25
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 7
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 20
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 5
- 2
- 3
- 5
- 4
- 2
- 6
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 8
- 2
- 3
- 4
- 3
- 2
- 3
- 4
- 4
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 6
- 5
- 2
- 4
- 4
- 5
- 2
- 3
- 2
- 2
- 7
- 2
- 4
- 2
- 7
- 2
- 12
- 2
- 2
- 2
- 6
- 6
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 6
- 7
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 5
- 2
- 12
- 24
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 9
- 2
- 2
- 4
- 5
- 2
- 2
- 5
- 5
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 5
- 3
- 15
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 5
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 21
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 6
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 7
- 3
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 11
- 9
- 2
- 3
- 2
- 2
- 2
- 4
- 11
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 13
- 14
- 2
- 3
- 3
- 9
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 34
- 2
- 3
- 5
- 5
- 6
- 2
- 2
- 4
- 3
- 3
- 6
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 16
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 4
- 11
- 4
- 6
- 3
- 3
- 4
- 8
- 3
- 5
- 5
- 6
- 5
- 6
- 4
- 5
- 3
- 4
- 5
- 4
- 3
- 17
- 4
- 9
- 3
- 3
- 6
- 5
- Verlag
-
- 2099
- 1
- 7
- Preis
-
- 4
- 90
- 1682
- 331
- Sprachen
-
- 2107
- Verfügbarkeit
-
- 2106
- 1
- Eigenschaften
-
- 5
- Katalog
-
- 2107
- 136
-
Bidoit / Choppy Recent Trends in Data Type Specification
8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected PapersErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akl / Fiala / Koczkodaj Advances in Computing and Information - ICCI '90
International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-53504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhao / Guibas Information Processing in Sensor Networks
Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-02111-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schiper / Shvartsman / Weatherspoon Future Directions in Distributed Computing
Research and Position Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00912-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Romanovsky / Dony / Lindskov Knudsen Advances in Exception Handling Techniques
Erscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41952-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruynooghe / Lau Program Development in Computational Logic
A Decade of Research Advances in Logic-Based Program Development1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22152-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grossniklaus / Wimmer Current Trends in Web Engineering
ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35622-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fiadeiro Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66246-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Borzemski / Grzech / Ali New Frontiers in Applied Artificial Intelligence
21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69045-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
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 -
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 -
Sloot / Hoekstra / Priol Advances in Grid Computing - EGC 2005
European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers1. Auflage 2005Verlag: Springer-Verlag GmbHISBN: 978-3-540-26918-2Medium: Buch124,12 € (inkl. MwSt.)
Kurzfristig nicht lieferbar124,12 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Dovier / Montanari / Orlandini AIxIA 2022 - Advances in Artificial Intelligence
XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-27180-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boulton / Jackson Theorem Proving in Higher Order Logics
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42525-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66463-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Astesiano / Reggio Recent Trends in Data Type Specification
10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59132-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peng / Ampatzoglou / Bhowmik Reuse in the Big Data Era
18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22887-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-71065-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fiadeiro / Schobbens Recent Trends in Algebraic Development Techniques
18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71997-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Omicini / Tolksdorf / Zambonelli Engineering Societies in the Agents World
First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41477-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schek / Saltor / Ramos Advances in Database Technology - EDBT '98
6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998.Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64264-0Medium: 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