Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 56 Berechenbarkeitstheorie, Komplexitätstheorie
- 14 Bildsignalverarbeitung
- 341 Künstliche Intelligenz
- 400 Logik, formale Sprachen, Automaten
- 125 Mathematik für Informatiker
- 31 Mensch-Maschine-Interaktion
- 2 Natürliche Sprachen & Maschinelle Übersetzung
- 41 Rechnerarchitektur
- 165 Theoretische Informatik
- 2 Tonsignalverarbeitung
- 1 Virtuelle Realität, Erweiterte Realität
-
- 909
-
- 898
- 2
- 9
-
- 28
- 711
- 170
-
- 909
-
- 909
-
- 909
- 12
-
Coello-Coello Learning and Intelligent Optimization
5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25565-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II2015Verlag: SpringerISBN: 978-3-662-47665-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I2015Verlag: SpringerISBN: 978-3-662-47671-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gopal / Jäger / Steila Theory and Applications of Models of Computation
14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-55910-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halbwachs / Zuck Tools and Algorithms for the Construction and Analysis of Systems
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25333-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems
13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71208-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud / Shao Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25378-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Silva / Staton / Sutton Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-662-59564-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rao / Chatterjee / Jayanti Distributed Computing and Networking
9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77443-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghosh / Tokuyama WALCOM: Algorithms and Computation
7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36064-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dick / Browne / Whigham Simulated Evolution and Learning
10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13562-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bugliesi / Preneel / Sassone Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35904-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wang / Li Simulated Evolution and Learning
6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47331-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Erlebach / Kaklamanis Approximation and Online Algorithms
4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-69513-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blum / Battiti Learning and Intelligent Optimization
4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13799-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Doty / Dietz DNA Computing and Molecular Programming
24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00029-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramakrishnan / Rehof Tools and Algorithms for the Construction and Analysis of Systems
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78799-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Groote / Larsen Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72012-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodi / Panconesi / Rinaldi Integer Programming and Combinatorial Optimization
13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68886-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goldreich Studies in Complexity and Cryptography
Miscellanea on the Interplay between Randomness and Computation1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22669-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics
6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers1. Auflage 2006Verlag: Springer NetherlandsISBN: 978-3-540-34141-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Panigrahi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing
5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-20293-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Woods / Compton / Bourganis Reconfigurable Computing: Architectures, Tools, and Applications
4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78609-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berardi / Damiani / de Liguoro Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02443-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gopal / Watada Theory and Applications of Models of Computation
15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-14811-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Wong / Mendis / Bouzerdoum Neural Information Processing. Models and Applications
17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II2010Verlag: SpringerISBN: 978-3-642-17533-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Baskoro / Kano Combinatorial Geometry and Graph Theory
Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24401-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dimov / Faragó / Vulkov Numerical Analysis and Its Applications
6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-57098-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goldreich Computational Complexity and Property Testing
On the Interplay Between Randomness and Computation1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43661-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Domaratzki / Okhotin / Salomaa Implementation and Application of Automata
9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24318-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mourrain / Schaefer / Xu Advances in Geometric Modeling and Processing
6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13410-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iemhoff / Moortgat / de Queiroz Logic, Language, Information, and Computation
26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-662-59532-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
SAKAKIBARA / Mi DNA Computing and Molecular Programming
16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers1. Auflage. 2011Verlag: SpringerISBN: 978-3-642-18304-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lai / Wang / Jiang Algorithms and Architectures for Parallel Processing
21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I1. Auflage 2022Verlag: SpringerISBN: 978-3-030-95383-6Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Watanabe / Zeugmann Stochastic Algorithms: Foundations and Applications
5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04943-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 -
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 -
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 -
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 -
Ziviani / Baeza-Yates String Processing and Information Retrieval
14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75529-6Medium: Buch53,49 € (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 -
Pelc / Raynal Structural Information and Communication Complexity
12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26052-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlenbach / Barceló / de Queiroz Logic, Language, Information, and Computation
21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44144-2Medium: Buch51,36 € (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 -
Dobnikar / Lotric / Šter Adaptive and Natural Computing Algorithms
10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20266-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Feld / Linnhoff-Popien Quantum Technology and Optimization Problems
First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-14081-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zeng Advances in Computation and Intelligence
Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74580-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ong Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21690-9Medium: 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 -
de Boer / Cerone Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58767-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gaur / Narayanaswamy Algorithms and Discrete Applied Mathematics
Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-53006-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hu / Nöllenburg Graph Drawing and Network Visualization
24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-50105-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Chen / Douglas High Performance Computing and Applications
Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-11841-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stepney / Verlan Unconventional Computation and Natural Computation
17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92434-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Consens / Navarro String Processing and Information Retrieval
12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29740-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Escobar / Martí-Oliet Rewriting Logic and Its Applications
13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-63594-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Konstantinidis Implementation and Application of Automata
18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39273-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Prencipe / Zaks Structural Information and Communication Complexity
14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72918-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Holub / Ždárek Implementation and Application of Automata
12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Takahashi / Phung-Duc / Wittevrongel Queueing Theory and Network Applications
13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93735-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kolehmainen / Toivanen / Beliczynski Adaptive and Natural Computing Algorithms
9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04920-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scheideler Structural Information and Communication Complexity
22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25257-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics
11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32148-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jurdzinski / Schmid Structural Information and Communication Complexity
28th International Colloquium, SIROCCO 2021, Wroc¿aw, Poland, June 28 - July 1, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-79526-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Amir / Turpin / Moffat String Processing and Information Retrieval
15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89096-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Curien Typed Lambda Calculi and Applications
9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Han / Salomaa Implementation and Application of Automata
21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40945-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Libkin / Kohlenbach / de Queiroz Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39991-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Das / Tixeuil Structural Information and Communication Complexity
24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-72049-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Louveaux / Skutella Integer Programming and Combinatorial Optimization
18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33460-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Flocchini / Gasieniec Structural Information and Communication Complexity
13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35474-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Inenaga / Sadakane / Sakai String Processing and Information Retrieval
23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46048-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sergeyev / Kvasov Numerical Computations: Theory and Algorithms
Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-39080-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maneth Implementation and Application of Automata
25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-79120-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balachandran / Inkulu Algorithms and Discrete Applied Mathematics
8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-95017-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreira / Reis Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31605-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eisenbrand / Shepherd Integer Programming and Combinatorial Optimization
14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13035-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calude / Dinneen Unconventional Computation and Natural Computation
14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21818-2Medium: 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 -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45230-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Cooper Theory and Applications of Models of Computation
6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-02016-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodi / Nagarajan Integer Programming and Combinatorial Optimization
20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17952-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gelbukh Computational Linguistics and Intelligent Text Processing
14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37246-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gelbukh Computational Linguistics and Intelligent Text Processing
7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32205-4Medium: Buch106,99 € (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 -
Govindarajan / Maheshwari Algorithms and Discrete Applied Mathematics
Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29220-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics
7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68105-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Vulkov / Wásniewski Numerical Analysis and Its Applications
Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24937-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics
11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32151-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganguly / Krishnamurti Algorithms and Discrete Applied Mathematics
First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-14973-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fischetti / Williamson Integer Programming and Combinatorial Optimization
12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72791-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckmann / Dimitracopoulos / Löwe Logic and Theory of Algorithms
4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69405-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cai / Hu / Kang Advances in Computation and Intelligence
5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16492-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chellappan / Choo / Phan Computational Data and Social Networks
9th International Conference, CSoNet 2020, Dallas, TX, USA, December 11-13, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-66045-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manea / Martin / Paulusma Computing with Foresight and Industry
15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22995-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hospodár / Jirásková Implementation and Application of Automata
24th International Conference, CIAA 2019, Ko¿ice, Slovakia, July 22-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23678-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Olderog / Steffen / Yi Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91383-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hasegawa Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38945-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort