Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1146
- Erscheinungsjahr
-
- 5
- 56
- 71
- 70
- 73
- 60
- 65
- 65
- 66
- 75
- 78
- 71
- 67
- 66
- 62
- 68
- 59
- 69
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 34
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 3
- 1
- 1
- 1
- 8
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 6
- 3
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 3
- 14
- 11
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 6
- 4
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 7
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 9
- 6
- 2
- 40
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 5
- 3
- 5
- 2
- 4
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 13
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 5
- 2
- 3
- 4
- 3
- 2
- 2
- 10
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 8
- 4
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 6
- 6
- 2
- 3
- 3
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 11
- 6
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 28
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 5
- 35
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 6
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 6
- 10
- 9
- 2
- 3
- 6
- 2
- 3
- 3
- 3
- 2
- 3
- 4
- 14
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 11
- 4
- 2
- 6
- 8
- 11
- 2
- 2
- 2
- 5
- 4
- 3
- 3
- 2
- 2
- 3
- 6
- 2
- 39
- 2
- 11
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 8
- 10
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 8
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 4
- 2
- 3
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- Verlag
-
- 1134
- 2
- 10
- Preis
-
- 49
- 903
- 194
- Sprachen
-
- 1146
- Verfügbarkeit
-
- 1146
- Katalog
-
- 1146
- 16
Der Inhalt wurde erfolgreich kopiert
-
Beyer / Zufferey Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-39321-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gabbrielli Logic-Based Program Synthesis and Transformation
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-45259-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38960-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wu / Du Algorithmic Aspects in Information and Management
15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-93175-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Montesinos Languages and Compilers for Parallel Computing
26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09966-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Floater / Lyche / Mazure Mathematical Methods for Curves and Surfaces
8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54381-4Medium: 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 -
Cabestany / Sandoval / Prieto Bio-Inspired Systems: Computational and Ambient Intelligence
10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part IErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02477-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 Werktage -
Gelbukh Computational Linguistics and Intelligent Text Processing
18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77112-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hanus Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00514-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diniz / Marques / Bertels Reconfigurable Computing: Architectures, Tools and Applications
Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-71430-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dediu / Lozano / Martín-Vide Theory and Practice of Natural Computing
Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13748-3Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yeo / Park / Yang Algorithms and Architectures for Parallel Processing
10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13135-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cooper / Mellor-Crummey / Sarkar Languages and Compilers for Parallel Computing
23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19594-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kuncak / Rybalchenko Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-27939-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Golomb / Parker / Pott Sequences and Their Applications - SETA 2008
5th International Conference Lexington, KY, USA, September 14-18, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85911-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tichavský / Babaie-Zadeh / Michel Latent Variable Analysis and Signal Separation
13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-53546-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Borrione / Paul Correct Hardware Design and Verification Methods
13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29105-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kasahara / Kimura Languages and Compilers for Parallel Computing
25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37657-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Logozzo / Peled / Zuck Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78162-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cook / Neary Cellular Automata and Discrete Complex Systems
22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39299-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolodziej / Di Martino / Talia Algorithms and Architectures for Parallel Processing
13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part IErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03858-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yeo / Park / Yang Algorithms and Architectures for Parallel Processing
10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13118-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 III1. Auflage 2018Verlag: SpringerISBN: 978-3-030-05056-6Medium: 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