Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1179
- 357
- Erscheinungsjahr
-
- 7
- 88
- 97
- 94
- 93
- 93
- 84
- 97
- 104
- 116
- 114
- 97
- 122
- 63
- 55
- 74
- 69
- 69
- Autoren
-
- 2
- 4
- 1
- 1
- 2
- 2
- 2
- 4
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 6
- 1
- 3
- 2
- 1
- 7
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 5
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 2
- 48
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 9
- 15
- 4
- 2
- 12
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 6
- 7
- 8
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 4
- 4
- 2
- 3
- 4
- 3
- 2
- 18
- 14
- 7
- 2
- 2
- 3
- 2
- 2
- 12
- 2
- 2
- 6
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 5
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 15
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 7
- 2
- 2
- 14
- 2
- 6
- 52
- 5
- 4
- 7
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 5
- 3
- 2
- 4
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 9
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 4
- 2
- 4
- 7
- 8
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 6
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 13
- 9
- 3
- 4
- 4
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 7
- 2
- 2
- 2
- 5
- 4
- 2
- 6
- 6
- 3
- 5
- 4
- 2
- 2
- 2
- 14
- 3
- 3
- 3
- 4
- 2
- 2
- 14
- 2
- 2
- 2
- 5
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 42
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 48
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 2
- 8
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 7
- 2
- 5
- 3
- 4
- 3
- 3
- 2
- 4
- 4
- 2
- 4
- 8
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 4
- 2
- 15
- 13
- 11
- 3
- 3
- 2
- 10
- 5
- 2
- 3
- 2
- 2
- 4
- 3
- 19
- 2
- 3
- 4
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 10
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 11
- 13
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 13
- 2
- 13
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 10
- 10
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 16
- 3
- 51
- 2
- 19
- 2
- 6
- 4
- 2
- 2
- 5
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 10
- 13
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 3
- 9
- 2
- 9
- 8
- 4
- 5
- 2
- 2
- 2
- 5
- 2
- 6
- 4
- 4
- 2
- 2
- 3
- 11
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 3
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 3
- 5
- 4
- 2
- 2
- 3
- 5
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 4
- 3
- 4
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- Verlag
-
- 1341
- 181
- 1
- 1
- 12
- Preis
-
- 71
- 1256
- 209
- Sprachen
-
- 1536
- Verfügbarkeit
-
- 1536
- Katalog
-
- 1536
- 18
-
George / Liu / Woodcock Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74963-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Castillo-Ramirez / de Oliveira Cellular Automata and Discrete Complex Systems
25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-20981-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Chitil Implementation and Application of Functional Languages
19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85373-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar74,89 € (inkl. MwSt.)
sofort verfügbar -
Gelbukh Computational Linguistics and Intelligent Text Processing
16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part IErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-18111-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Lilius / Penczek Applications and Theory of Petri Nets
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13675-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Hermenegildo / Lopez-Garcia Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63138-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martín-Vide / Neruda / Vega-Rodríguez Theory and Practice of Natural Computing
6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-71068-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chatterjee / Henzinger Formal Modeling and Analysis of Timed Systems
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15296-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Duan / Tian Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-57707-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beyersdorff / Wintersteiger Theory and Applications of Satisfiability Testing – SAT 2018
21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-94144-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Castillo-Ramirez / de Oliveira Cellular Automata and Discrete Complex Systems
25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-20980-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vaidya / Li Algorithms and Architectures for Parallel Processing
18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-05050-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vaidya / Li Algorithms and Architectures for Parallel Processing
18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-05062-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dimov / Faragó / Vulkov Finite Difference Methods,Theory and Applications
6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected PapersErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-20239-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gelbukh Computational Linguistics and Intelligent Text Processing
17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-75477-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Sakallah / Simon Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-21581-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Fernández Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-68445-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dediu / Martín-Vide / Truthe Theory and Practice of Natural Computing
First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-33860-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Rauchwerger Languages and Compilers for Parallel Computing
30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-35224-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Korošec / Melab / Talbi Bioinspired Optimization Methods and Their Applications
8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-91640-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ding / Criswell / Wu Languages and Compilers for Parallel Computing
29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-52709-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Dennunzio / Formenti / Manzoni Cellular Automata and Discrete Complex Systems
23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-58631-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Helleseth / Jedwab Sequences and Their Applications -- SETA 2012
7th International Conference, SETA 2012, Waterloo, ON, Canada, June 4-8, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30614-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lilius / Penczek Applications and Theory of Petri Nets
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13674-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Butler / Bowen Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87602-1Medium: 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