Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3186
- 491
- 5
- 5
- Erscheinungsjahr
-
- 1
- 6
- 132
- 256
- 260
- 247
- 219
- 234
- 245
- 212
- 177
- 135
- 131
- 68
- 60
- 41
- 104
- 105
- 115
- 71
- 55
- 48
- 58
- 72
- 64
- 60
- 60
- 44
- 33
- 60
- 38
- 22
- 28
- 16
- 18
- 16
- 18
- 17
- 19
- 15
- 13
- 13
- 15
- 6
- 8
- 9
- 9
- 5
- 3
- 4
- 3
- 1
- 2
- 3
- 3
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 4
- 2
- 6
- 7
- 3
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 4
- 2
- 4
- 2
- 3
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 6
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 4
- 6
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 17
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 7
- 6
- 2
- 5
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 9
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 9
- 3
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 5
- 2
- 5
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 8
- 2
- 6
- 3
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 7
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 16
- 3
- 4
- 4
- 5
- 11
- 3
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 5
- 7
- 3
- 4
- 7
- 4
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- Verlag
-
- 2
- 1
- 1
- 834
- 11
- 1
- 14
- 1
- 2
- 1
- 1
- 10
- 6
- 1
- 2
- 49
- 70
- 1
- 2
- 1
- 3
- 90
- 489
- 1
- 1
- 2
- 1
- 14
- 61
- 1
- 1
- 13
- 12
- 2
- 3
- 1
- 1
- 3
- 3
- 2
- 48
- 1
- 2
- 1
- 13
- 16
- 2
- 2
- 2
- 4
- 4
- 6
- 1
- 2
- 8
- 1
- 12
- 14
- 1
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 5
- 5
- 3
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 5
- 9
- 100
- 1
- 1
- 2
- 2
- 2
- 296
- 1
- 376
- 202
- 3
- 70
- 21
- 14
- 5
- 62
- 5
- 3
- 33
- 1
- 1
- 1
- 1
- 19
- 22
- 169
- 56
- 17
- 1
- 1
- 8
- 1
- 1
- 9
- 2
- 5
- 1
- 2
- 2
- 115
- 1
- 1
- 1
- 76
- 6
- 20
- 3
- 23
- 1
- 1
- 6
- Preis
-
- 130
- 1314
- 1617
- 626
- Sprachen
-
- 3025
- 660
- 6
- Verfügbarkeit
-
- 3588
- 99
- Eigenschaften
-
- 7
- Katalog
-
- 3687
- 132
-
Paulin-Mohring / Audebaud Mathematics of Program Construction
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70593-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pettersson Compiling Natural Semantics
1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65968-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vitor / Pontelli Practical Aspects of Declarative Languages
Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66992-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nipkow Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64301-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Le Metayer / Garlan Coordination Languages and Models
Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63383-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hentenryck Static Analysis
4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63468-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Horimoto / Yoshida / Regensburger Algebraic Biology
Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85100-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Heering / Nipkow / Meinke Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58233-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Greenfield Distributed Programming Paradigms with Cryptography Applications
1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58496-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barthe / Saraiva / Dybjer Applied Semantics
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44044-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bancilhon / Tsichritzis / Thanos Advances in Database Technology - EDBT '90
International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings.1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52291-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Arts / Pena Implementation of Functional Languages
14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40190-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nieuwenhuis Rewriting Techniques and Applications
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40254-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pfenning Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-36834-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Callaghan / Pollack / Luo Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Akman / Young / Bouquet Modeling and Using Context
Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42379-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pierce / Kobayashi Theoretical Aspects of Computer Software
4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42736-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jürgensen / Boldt Automata Implementation
4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42812-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Deransart / Maluszynski / Lorho Programming Languages Implementation and Logic Programming
International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50820-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Richter / Kleine Büning CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51659-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Taha Semantics, Applications, and Implementation of Program Generation
International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41054-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Greaves / Dignum Issues in Agent Communication
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41144-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dzeroski / Cussens Learning Language in Logic
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41145-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ojeda-Aciego / Pereira / Guzman Logics in Artificial Intelligence
European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41131-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Coquand / Smith / Dybjer Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41517-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort