Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3219
- 1080
- 5
- 4
- Erscheinungsjahr
-
- 2
- 15
- 214
- 292
- 295
- 272
- 286
- 320
- 484
- 226
- 192
- 136
- 142
- 72
- 62
- 38
- 108
- 106
- 108
- 73
- 60
- 49
- 60
- 73
- 68
- 60
- 60
- 44
- 30
- 54
- 37
- 20
- 26
- 15
- 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
-
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 7
- 2
- 2
- 29
- 15
- 2
- 3
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 4
- 2
- 4
- 2
- 3
- 4
- 11
- 16
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 6
- 5
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 8
- 6
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 9
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 9
- 3
- 2
- 3
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 5
- 5
- 3
- 3
- 11
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 5
- 9
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 6
- 4
- 3
- 3
- 5
- 3
- 3
- 6
- 5
- 6
- 4
- 6
- 3
- 3
- 4
- 7
- 6
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 7
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 6
- 4
- 5
- 4
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 5
- 3
- 16
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 5
- 11
- 3
- 4
- 9
- 4
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 4
- 5
- 7
- 3
- 4
- 8
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 4
- Verlag
-
- 2
- 1
- 847
- 11
- 1
- 12
- 1
- 2
- 1
- 1
- 10
- 2
- 1
- 2
- 61
- 74
- 2
- 2
- 3
- 146
- 1007
- 1
- 1
- 3
- 1
- 14
- 53
- 1
- 15
- 14
- 2
- 3
- 1
- 3
- 2
- 2
- 46
- 2
- 14
- 14
- 2
- 2
- 1
- 6
- 5
- 7
- 1
- 2
- 8
- 1
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 5
- 4
- 1
- 1
- 3
- 1
- 1
- 2
- 5
- 12
- 98
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 302
- 1
- 376
- 203
- 3
- 85
- 22
- 14
- 1
- 62
- 5
- 3
- 16
- 1
- 1
- 1
- 66
- 23
- 219
- 29
- 7
- 1
- 8
- 1
- 9
- 2
- 1
- 5
- 1
- 2
- 2
- 115
- 1
- 1
- 1
- 2
- 84
- 4
- 12
- 2
- 1
- 23
- 5
- 1
- 1
- 2
- Preis
-
- 198
- 1769
- 1692
- 649
- Sprachen
-
- 3654
- 652
- 6
- Verfügbarkeit
-
- 4209
- 99
- Eigenschaften
-
- 6
- Katalog
-
- 4308
- 140
-
Champarnaud / Ziadi / Maurel Automata Implementation
Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66652-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tiuryn Foundation of Software Science and Computation Structures
Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67257-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
File / Cortesi Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66459-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fiadeiro Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66246-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing
5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57502-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71065-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Armando / Dowek / Baumgartner Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71069-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baldoni / Winikoff / Son Declarative Agent Languages and Technologies V
5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77563-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rosu / Meseguer Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79979-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wegener Complexity Theory
Exploring the Limits of Efficient AlgorithmsSoftcover Nachdruck of hardcover 1. Auflage 2005Verlag: SpringerISBN: 978-3-642-05914-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov / Parigot Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Blanck / Hertling / Brattka Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42197-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fribourg Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42554-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dwyer Model Checking Software
8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42124-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cousot Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42314-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Butler / Sere / Petre Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43703-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bradfield Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44240-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Adriaans / Zaanen / Fernau Grammatical Inference: Algorithms and Applications
6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44239-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ramakrishnan / Krishnamurthi Practical Aspects of Declarative Languages
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43092-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ahmed Programming Languages and Systems
27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-89883-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baader Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73447-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ruzicka / Privara Mathematical Foundations of Computer Science 1997
22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63437-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Müller-Olm Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63406-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Asplund Reliable Software Technologies - Ada-Europe '98
1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64536-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leeuwen / Watanabe / Ito Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67823-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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