Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3184
- 491
- 5
- 5
- Erscheinungsjahr
-
- 1
- 4
- 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
- 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
- 2
- 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
- 12
- 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
- 7
- 1
- 2
- 49
- 70
- 1
- 2
- 1
- 3
- 93
- 489
- 1
- 1
- 2
- 1
- 14
- 61
- 1
- 1
- 13
- 12
- 2
- 3
- 1
- 1
- 3
- 3
- 2
- 48
- 2
- 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
- 295
- 1
- 376
- 202
- 3
- 69
- 21
- 14
- 5
- 62
- 5
- 3
- 33
- 1
- 1
- 1
- 1
- 19
- 22
- 167
- 48
- 22
- 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
- 1615
- 626
- Sprachen
-
- 3023
- 660
- 6
- Verfügbarkeit
-
- 3588
- 97
- Eigenschaften
-
- 7
- Katalog
-
- 3685
- 130
-
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 -
Ofenloch Web Dynpro ABAP - 100 Tipps & Tricks
1. Auflage 2013Verlag: Rheinwerk Verlag GmbHISBN: 978-3-8362-2274-7Medium: Buch49,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,90 € (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 -
Martin-Vide / Dediu / Fernau Language and Automata Theory and Applications
4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-13088-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ong Foundations of Software Science and Computational Structures
13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-12031-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
De Schreye Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-12591-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Puppis Automata for Branching and Layered Temporal Structures
An Investigation into Regularities of Infinite Transition Systems1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11880-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Goto / Yuasa / Araki RIMS Symposium on Software Science and Engineering II
Proceedings of the Symposia 1983 and 1984, Kyoto, Japan1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16470-8Medium: 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