Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 58 Berechenbarkeitstheorie, Komplexitätstheorie
- 16 Bildsignalverarbeitung
- 332 Künstliche Intelligenz
- 410 Logik, formale Sprachen, Automaten
- 119 Mathematik für Informatiker
- 27 Mensch-Maschine-Interaktion
- 4 Natürliche Sprachen & Maschinelle Übersetzung
- 35 Rechnerarchitektur
- 159 Theoretische Informatik
- 2 Tonsignalverarbeitung
- 1 Virtuelle Realität, Erweiterte Realität
-
- 912
-
- 902
- 1
- 9
-
- 27
- 713
- 172
-
- 912
-
- 912
-
- 912
- 9
-
Câmpeanu Implementation and Application of Automata
23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94811-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31463-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cimatti / Sirjani Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66196-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jünger / Kaibel Integer Programming and Combinatorial Optimization
11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26199-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bemporad / Buttazzo / Bicchi Hybrid Systems: Computation and Control
10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71492-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Escobar Rewriting Logic and Its Applications
10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12903-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Di Giacomo / Lubiw Graph Drawing and Network Visualization
23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27260-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Eisenbrand / Koenemann Integer Programming and Combinatorial Optimization
19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-59249-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dobnikar / Lotric / Šter Adaptive and Natural Computing Algorithms
10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20281-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hespanha / Tiwari Hybrid Systems: Computation and Control
9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33170-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Yang / Yu / Challal Wireless Algorithms, Systems, and Applications
11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42835-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kochetov / Khachay / Beresnev Discrete Optimization and Operations Research
9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44913-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Suomela Structural Information and Communication Complexity
23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48313-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liò / Yoneki / Crowcroft Bio-Inspired Computing and Communication
First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92190-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Majumdar / Tabuada Hybrid Systems: Computation and Control
12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00601-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Durán Rewriting Logic and Its Applications
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34004-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mauri / Dennunzio / Manzoni Unconventional Computation and Natural Computation
12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39073-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pal / Vijayakumar Algorithms and Discrete Applied Mathematics
5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-11508-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Frati / Ma Graph Drawing and Network Visualization
25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-73914-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Ábrahám / Bonsangue / Johnsen Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday1. Auflage 2016Verlag: SpringerISBN: 978-3-319-30733-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ferrández / Álvarez / de la Paz Foundations on Natural and Artificial Computation
4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21343-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Agrawal / Cooper / Li Theory and Applications of Models of Computation
9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29951-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Gelbukh Computational Linguistics and Intelligent Text Processing
9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78134-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Helleseth / Sarwate / Song Sequences and Their Applications - SETA 2004
Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26084-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dediu / Martín-Vide / Truthe Theory and Practice of Natural Computing
First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33859-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
van Hee / Valk Applications and Theory of Petri Nets
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68745-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Murray-Smith / Shorten Switching and Learning in Feedback Systems
European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24457-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Proietti / Seki Logic-Based Program Synthesis and Transformation
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17821-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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 Werktage
-
Dorigo / Birattari / Blum Ant Colony Optimization and Swarm Intelligence
6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87526-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cérin / Li Advances in Grid and Pervasive Computing
Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72359-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Theis / Cichocki / Yeredor Latent Variable Analysis and Signal Separation
10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28550-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Butterfield / Grelck / Huch Implementation and Application of Functional Languages
17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-69174-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fagan / Martín-Vide / O'Neill Theory and Practice of Natural Computing
7th International Conference, TPNC 2018, Dublin, Ireland, December 12-14, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-04069-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Conte / Navarro / Hwu High Performance Embedded Architectures and Compilers
First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30317-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Qiu Algorithms and Architectures for Parallel Processing
20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60244-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kononov / Khachay / Kalyagin Mathematical Optimization Theory and Operations Research
19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-49987-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gelbukh Computational Linguistics and Intelligent Text Processing
16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II2015Verlag: SpringerISBN: 978-3-319-18116-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gelbukh Computational Linguistics and Intelligent Text Processing
15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54902-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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 Werktage
-
Gelbukh Computational Linguistics and Intelligent Text Processing
18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77115-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Mesnard / Stuckey Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-13837-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hill Logic Based Program Synthesis and Transformation
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32654-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sakallah / Simon Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21580-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Cardoso / Simpson / Arbel Bayesian and grAphical Models for Biomedical Imaging
First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12288-5Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 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 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 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 Werktage
-
Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27118-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Franceschinis / Wolf Applications and Theory of Petri Nets
30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ayguadé / Baumgartner / Ramanujam Languages and Compilers for Parallel Computing
18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected PapersErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-69329-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gong / Helleseth / Song Sequences and Their Applications - SETA 2006
4th International Conference, Beijing, China, September 24-28, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-44523-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stenström / Dubois / Katevenis High Performance Embedded Architectures and Compilers
Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77559-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Etalle Logic Based Program Synthesis and Transformation
14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26655-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zenil Cellular Automata and Discrete Complex Systems
26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61587-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dimov / Faragó / Vulkov Finite Difference Methods,Theory and Applications
6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-20238-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Adali / Jutten / Romano Independent Component Analysis and Signal Separation
8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00598-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 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 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 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 Werktage
-
Saunders / Grobelnik / Gunn Subspace, Latent Structure and Feature Selection
Statistical and Optimization Perspectives Workshop, SLSFS 2005 Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34137-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27136-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dediu / Magdalena / Martín-Vide Theory and Practice of Natural Computing
Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26840-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
De Bosschere / Kaeli / Stenström High Performance Embedded Architectures and Compilers
Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-69337-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Li / Cao / Bourgeois Advances in Grid and Pervasive Computing
7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30766-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Jain / Stephan Theory and Applications of Models of Computation
12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-17141-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pardalos / Khachay / Kazakov Mathematical Optimization Theory and Operations Research
20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-77875-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ferrández Vicente / Álvarez-Sánchez / de la Paz López Artificial Computation in Biology and Medicine
International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I2015Verlag: SpringerISBN: 978-3-319-18913-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
D'Souza / Lal / Larsen Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46080-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gupta / Peña Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-14124-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Khachay / Kochetov / Pardalos Mathematical Optimization Theory and Operations Research
18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22628-2Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Henglein / Shoham / Vizel Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-67066-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vidal Logic-Based Program Synthesis and Transformation
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32210-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Goehringer / Santambrogio / Cardoso Reconfigurable Computing: Architectures, Tools, and Applications
10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-05959-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Martín-Vide / Mizuki / Vega-Rodríguez Theory and Practice of Natural Computing
5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49000-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gelbukh Computational Linguistics and Intelligent Text Processing
17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-75486-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dillig / Palsberg Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-73720-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75220-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31499-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Abrial / Glässer Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11446-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fermüller / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16241-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guerraoui / Petit Stabilization, Safety, and Security of Distributed Systems
11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-05117-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31219-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Datta / Gradinariu Stabilization, Safety, and Security of Distributed Systems
8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-49018-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Panigraphi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing, Part II
Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-27241-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kumar / Sivakumar Algorithms and Models for the Web-Graph
7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-18008-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ogihara / Tarui Theory and Applications of Models of Computation
8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20876-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part I
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 20091. Auflage 2010Verlag: SpringerISBN: 978-3-642-14389-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mira / Ferrández / Alvarez Sanchez Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part IErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02263-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Giles / Smith / Yen Advances in Social Network Mining and Analysis
Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008. Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14928-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Farkaš / Masulli / Otte Artificial Neural Networks and Machine Learning - ICANN 2021
30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86339-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
