Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4836
- 24
- 9
- Erscheinungsjahr
-
- 1
- 5
- 31
- 64
- 54
- 51
- 69
- 117
- 135
- 98
- 135
- 91
- 142
- 105
- 145
- 108
- 250
- 92
- 174
- 339
- 310
- 319
- 238
- 244
- 224
- 198
- 142
- 119
- 109
- 102
- 87
- 91
- 81
- 58
- 58
- 64
- 39
- 48
- 28
- 18
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 4
- 3
- 6
- 6
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 13
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 9
- 3
- 2
- 2
- 3
- 3
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 5
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 4
- 10
- 2
- 2
- 2
- 3
- 5
- 8
- 8
- 6
- 4
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 5
- 31
- 11
- 3
- 3
- 4
- 3
- 3
- 19
- 5
- 3
- 2
- 9
- 8
- 6
- 4
- 3
- 3
- 16
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 8
- 4
- 3
- 6
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 17
- 4
- 3
- 3
- 5
- 3
- 7
- 3
- 6
- 10
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 3
- 4
- 4
- 6
- 5
- 6
- 6
- 5
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 5
- 4
- 5
- 3
- 4
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 8
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 9
- 5
- 5
- 3
- 3
- 4
- 6
- 5
- 3
- 4
- 4
- 4
- 5
- 3
- 6
- 14
- 7
- 4
- 8
- 5
- 5
- 3
- 5
- 3
- 5
- 7
- 3
- 5
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 6
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 3
- 5
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 4
- 3
- 5
- 6
- 5
- 5
- 5
- 3
- 5
- 10
- 3
- 4
- 4
- 8
- 7
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 4
- 3
- 3
- 11
- 5
- 9
- 5
- 4
- 4
- 3
- 8
- 5
- 5
- 3
- 10
- 9
- 3
- 9
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 7
- 3
- 6
- 5
- 9
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 5
- 4
- 12
- 3
- 11
- 5
- 3
- 4
- 3
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 7
- 4
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 7
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 6
- 3
- 7
- 3
- 15
- 7
- 7
- 3
- 3
- 3
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 6
- 5
- 6
- 4
- 8
- 3
- 3
- 11
- 4
- 8
- 4
- 3
- 5
- 3
- 4
- 7
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 7
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 12
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 18
- 5
- 3
- 3
- 7
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 12
- 3
- 3
- 3
- 3
- 5
- 5
- 4
- 3
- 3
- 3
- 7
- 4
- 7
- 3
- 6
- 9
- 4
- 3
- 6
- 11
- 3
- 10
- 7
- 3
- 7
- 3
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 5
- 4
- 3
- 4
- 4
- 3
- 9
- 3
- 8
- 3
- 9
- 4
- 6
- 7
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 51
- 11
- 3
- 3
- 5
- 5
- 7
- 3
- 19
- 4
- 3
- 7
- 5
- 5
- 7
- 4
- 7
- 4
- 3
- 4
- 9
- 15
- 7
- 4
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 4
- 10
- 3
- 6
- 8
- 6
- 3
- 3
- 10
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 25
- 6
- 5
- 6
- 3
- 16
- 8
- 4
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 6
- 4
- 3
- 4
- 9
- 5
- 4
- 5
- 8
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 5
- 3
- 3
- 9
- 5
- 4
- 5
- 11
- 1
- 1
- 2
- 24
- 4
- 1
- 3
- 7
- 41
- 6
- 3
- 2
- 3
- 8
- 7
- 1
- 2
- 2
- 10
- 2
- 2
- 9
- 1
- 3
- 1
- 7
- 1
- 3
- 3
- 2
- 1
- 1
- 6
- 1
- 2
- 1
- 2
- 7
- 2
- 1125
- 2167
- 1
- 621
- 1
- 6
- 3
- 53
- 100
- 127
- 77
- 221
- 8
- 37
- 3
- 2
- 1
- 1
- 8
- 3
- 4
- 36
- 2
- 27
- 1
- 1
- 3
- Preis
-
- 16
- 204
- 3003
- 1646
- Sprachen
-
- 4727
- 137
- 9
- 3
- 1
- Verfügbarkeit
-
- 4852
- 17
- Katalog
-
- 4869
- 212
-
Schneider / Fricker Requirements Engineering: Foundation for Software Quality
21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-16100-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Naumann Unifying Theories of Programming
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-14805-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Martí-Oliet / Talcott / Ölveczky Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23164-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Safranek / Abate Hybrid Systems Biology
Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26915-3Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Roscoe / Cornélio Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29472-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dediu / Truthe / Janoušek Language and Automata Theory and Applications
10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29999-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pasareanu / Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nagy / Durand-Lose Machines, Computations, and Universality
7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23110-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Drewes Implementation and Application of Automata
20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22359-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Geldenhuys / Fischer Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23403-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ranise / Lutz Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24245-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-27682-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Suda / Sattler Frontiers of Combining Systems
14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43368-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Norrish / Gonthier Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03544-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dediu / Truthe / Martín-Vide Language and Automata Theory and Applications
8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-04920-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Danger / Debbabi / Zincir Heywood Foundations and Practice of Security
6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-05301-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Katoen / König CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23216-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Du / Fu Computing and Combinatorics
17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings2011Verlag: SpringerISBN: 978-3-642-22684-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bouchou-Markhoff / Caron / Champarnaud Implementation and Application of Automata
16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22255-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Degano / Etalle / Guttman Formal Aspects of Security and Trust
7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19750-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Malloy / Staab / van den Brand Software Language Engineering
Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19439-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Valtchev / Jäschke Formal Concept Analysis
9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20513-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pogodalla / Quatrini / Retoré Logic and Grammar
Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21489-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jain / Sinha / Vitharana Service-Oriented Perspectives in Design Science Research
6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20632-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Alpuente Logic-Based Program Synthesis and Transformation
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20550-7Medium: 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