Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 113 Angewandte Informatik
- 39 Betriebssysteme
- 8 Business Application
- 148 Computerkommunikation & -vernetzung
- 141 Daten / Datenbanken
- 3 Digital Lifestyle
- 24 EDV & Informatik Allgemein
- 927 Informatik
- 43 Professionelle Anwendung
- 585 Programmierung | Softwareentwicklung
- 284 Technische Informatik
- Medium
-
- 1193
- Erscheinungsjahr
-
- 7
- 58
- 67
- 91
- 69
- 68
- 69
- 74
- 78
- 81
- 73
- 76
- 73
- 57
- 64
- 67
- 57
- 64
- Autoren
-
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 2
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 40
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 7
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 4
- 1
- 1
- 2
- 5
- 8
- 5
- 4
- 3
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 17
- 10
- 4
- 2
- 4
- 3
- 2
- 11
- 7
- 5
- 2
- 2
- 4
- 3
- 5
- 4
- 2
- 2
- 2
- 6
- 4
- 4
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 10
- 5
- 47
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 4
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 4
- 2
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 10
- 2
- 2
- 5
- 3
- 2
- 5
- 2
- 3
- 3
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 10
- 8
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 2
- 2
- 2
- 5
- 5
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 5
- 6
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 4
- 2
- 12
- 2
- 2
- 4
- 3
- 14
- 2
- 5
- 4
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 33
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 41
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 3
- 3
- 5
- 4
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 9
- 16
- 7
- 4
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 19
- 2
- 4
- 6
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 14
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 16
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 15
- 2
- 12
- 2
- 5
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 13
- 2
- 46
- 2
- 20
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 11
- 9
- 11
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 5
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 9
- 4
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 12
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- Verlag
-
- 1184
- 9
- Preis
-
- 57
- 933
- 203
- Sprachen
-
- 1193
- 1
- Verfügbarkeit
-
- 1193
- Katalog
-
- 1193
- 18
Der Inhalt wurde erfolgreich kopiert
-
Cook / Podelski Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-69735-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pugh / Tseng Languages and Compilers for Parallel Computing
15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30781-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gelbukh Computational Linguistics and Intelligent Text Processing
15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54905-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Woodcock / Zhu Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39697-7Medium: 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 -
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 -
Gelbukh Computational Linguistics and Intelligent Text Processing
12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19436-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Riekki / Ylianttila / Guo Advances in Grid and Pervasive Computing
6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20753-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gill / Hage Implementation and Application of Functional Languages
23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34406-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Xiang / Stojmenovic / Apduhan Algorithms and Architectures for Parallel Processing
12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33064-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Becker / Woods / Athanas Reconfigurable Computing: Architectures, Tools and Applications
5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00640-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gelbukh Computational Linguistics and Intelligent Text Processing
10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00381-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lerner / Wagner / Zweig Algorithmics of Large and Complex Networks
Design, Analysis, and Simulation1. Auflage 2009Verlag: SpringerISBN: 978-3-642-02093-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pande / Sarkar Languages and Compilers for Parallel Computing
32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72788-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fioravanti / Gallagher Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94459-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Finkbeiner / Wies Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-94582-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sun / Liu / Qu Algorithms and Architectures for Parallel Processing
14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11196-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Albert Logic-Based Program Synthesis and Transformation
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38196-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grelck / Huch / Michaelson Implementation and Application of Functional Languages
16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26094-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zsók / Butterfield Implementation and Application of Functional Languages
18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74129-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dediu / Martín-Vide / Truthe Theory and Practice of Natural Computing
Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45007-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wen / Zomaya / Yang Algorithms and Architectures for Parallel Processing
19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38990-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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: SpringerISBN: 978-3-319-58630-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baetens / Kutrib Cellular Automata and Discrete Complex Systems
24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92674-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Isokawa / Imai / Matsui Cellular Automata and Discrete Complex Systems
20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-18811-9Medium: 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