Ergebnisse filtern
-
- 1146
-
- 1134
- 2
- 10
-
- 49
- 903
- 194
-
- 1146
-
- 1146
-
- 1146
- 16
Mathematik | Informatik
-
Baeten / Ball / de Boer Theoretical Computer Science
7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33474-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grumbach / Sui / Vianu Advances in Computer Science - ASIAN 2005. Data Management on the Web
10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30767-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Arvind / Prasad FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
27th International Conference, New Delhi, India, December 12-14, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77049-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fomin / Podolskii Computer Science - Theory and Applications
13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-90529-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grigoriev / Harrison / Hirsch Computer Science -- Theory and Applications
First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34166-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Bevern / Kucherov Computer Science - Theory and Applications
14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19954-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ésik Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45458-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dawar / Veith Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15204-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fernau Computer Science - Theory and Applications
15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-50025-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frid / Morozov / Rybalchenko Computer Science - Theory and Applications
Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03350-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Weil Computer Science - Theory and Applications
12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-58746-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Corradini / Klin / Cîrstea Algebra and Coalgebra in Computer Science
4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22943-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heckel / Milius Algebra and Coalgebra in Computer Science
5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40205-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calude / Rozenberg / Salomaa Rainbow of Computer Science
Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19390-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cervesato Advances in Computer Science - ASIAN 2007. Computer and Network Security
12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76927-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt Relations and Kleene Algebra in Computer Science
9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37873-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kahl / Winter / Oliveira Relational and Algebraic Methods in Computer Science
15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24703-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Swart Relational and Algebraic Methods in Computer Science
12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21069-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fahrenberg / Gehrke / Santocanale Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88700-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berghammer / Möller / Struth Relations and Kleene Algebra in Computer Science
10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, ProceedingsErscheinungsjahr 2008Verlag: Springer NetherlandsISBN: 978-3-540-78912-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Höfner / Jipsen / Kahl Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06250-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Artemov / Nerode Logical Foundations of Computer Science
International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-27682-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Artemov / Nerode Logical Foundations of Computer Science
International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-72055-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
MacCaull / Winter / Düntsch Relational Methods in Computer Science
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33339-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cîrstea Coalgebraic Methods in Computer Science
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00388-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Artemov / Nerode Logical Foundations of Computer Science
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35721-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonsangue Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44123-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wiedermann / Tel / Pokorný SOFSEM 2006: Theory and Practice of Computer Science
32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31198-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bieliková / Charon-Bost / Sýkora SOFSEM 2005: Theory and Practice of Computer Science
31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24302-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Geffert / Karhumäki / Bertoni SOFSEM 2008: Theory and Practice of Computer Science
34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77565-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Freivalds / Engels / Catania SOFSEM 2016: Theory and Practice of Computer Science
42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49191-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nielsen / Kucera / Bro Miltersen SOFSEM 2009: Theory and Practice of Computer Science
35th Conference on Current Trends in Theory and Practice of Computer Science, ¿pindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-540-95890-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tjoa / Bellatreche / Biffl SOFSEM 2018: Theory and Practice of Computer Science
44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-73116-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Csuhaj-Varjú / Dietzfelbinger / Ésik Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44464-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cai / Vetta Web and Internet Economics
12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-54109-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thilikos Graph-Theoretic Concepts in Computer Science
36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16925-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jedrzejowicz / Szepietowski Mathematical Foundations of Computer Science 2005
30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28702-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brandstädt / Köhler / Meer Graph-Theoretic Concepts in Computer Science
44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00255-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sau / Thilikos Graph-Theoretic Concepts in Computer Science
45th International Workshop, WG 2019, Vall de Núria, Spain, June 19-21, 2019, Revised Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30785-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kowalik / Pilipczuk / Rzazewski Graph-Theoretic Concepts in Computer Science
47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86837-6Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kucera Mathematical Foundations of Computer Science 2007
32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74455-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adler / Müller Graph-Theoretic Concepts in Computer Science
46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60439-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hlineny / Kucera Mathematical Foundations of Computer Science 2010
35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15154-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heggernes Graph-Theoretic Concepts in Computer Science
42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-662-53535-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kratsch Graph-Theoretic Concepts in Computer Science
31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-31000-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Broersma / Erlebach / Friedetzky Graph-Theoretic Concepts in Computer Science
34th International Workshop, WG 2008, Durham, UK, June 30 -- July 2, 2008, Revised PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92247-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rovan / Sassone / Widmayer Mathematical Foundations of Computer Science 2012
37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32588-5Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ochmanski / Tyszkiewicz Mathematical Foundations of Computer Science 2008
33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85237-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Csuhaj-Varjú / Dietzfelbinger / Ésik Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44521-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bodlaender / Woeginger Graph-Theoretic Concepts in Computer Science
43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68704-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Heutte / Loog Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodological Issues
Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74170-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Al-Sharhan / Simintiras / Dwivedi Challenges and Opportunities in the Digital Era
17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 - November 1, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02130-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Snoeyink / Lu / Su Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29699-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Burke / Trick Practice and Theory of Automated Timetabling V
5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30705-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kar / Ilavarasan / Gupta Digital Nations - Smart Cities, Innovation, and Sustainability
16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68556-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Burke / Rudová Practice and Theory of Automated Timetabling VI
6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77344-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Correa / Hevia / Kiwi LATIN 2006: Theoretical Informatics
7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32755-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beck / Smith Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34306-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Hoeve / Hooker Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01928-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Atig / Bensalem / Bliudze Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ben Hedia / Chen / Liu Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65954-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25539-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lahiri / Wang Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53287-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganty / Kaâniche Verification and Evaluation of Computer and Communication Systems
13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-35091-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Silva / Leino Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81687-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25542-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chockler / Weissenbacher Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96144-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gasteratos / Vincze / Tsotsos Computer Vision Systems
6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79546-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Majumdar / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63386-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gopalakrishnan / Qadeer Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Chockler / Weissenbacher Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fritz / Schiele / Piater Computer Vision Systems
7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04666-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Etessami / Rajamani Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27231-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Touili / Cook / Jackson Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14294-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kotsireas / Rump / Yap Mathematical Aspects of Computer and Information Sciences
6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32858-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Damm / Hermanns Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73367-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nalpantidis / Krüger / Eklundh Computer Vision Systems
10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-20903-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertels / Dimopoulos / Silvano Embedded Computer Systems: Architectures, Modeling, and Simulation
9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03137-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pnevmatikatos / Pelcat / Jung Embedded Computer Systems: Architectures, Modeling, and Simulation
19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-27561-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vassiliadis / Berekovic / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73622-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berekovic / Dimopoulos / Wong Embedded Computer Systems: Architectures, Modeling, and Simulation
8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70549-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hämäläinen / Pimentel / Takala Embedded Computer Systems: Architectures, Modeling, and Simulation
5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26969-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vassiliadis / Wong / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36410-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ciobanu / Méry Theoretical Aspects of Computing - ICTAC 2014
11th International Colloquium, Bucharest, Romania, September 17-19, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10881-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Liu / Araki Theoretical Aspects of Computing - ICTAC 2004
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25304-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cazenave / van den Herik / Saffidine Advances in Computer Games
16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65882-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitzgerald / Haxthausen / Yenigun Theoretical Aspects of Computing - ICTAC 2008
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85761-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van den Herik / Spronck Advances in Computer Games
12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12992-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hung / Kapur Theoretical Aspects of Computing - ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67728-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adam / Buša / Hnatic Mathematical Modeling and Computational Science
International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28211-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plaat / van den Herik / Kosters Advances in Computer Games
14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27991-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van den Herik / Plaat Advances in Computer Games
13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31865-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Falsafi / Vijaykumar Power-Aware Computer Systems
4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29790-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leucker / Morgan Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03465-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Herik / Hsu / Donkers Advances in Computer Games
11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48887-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marchetti-Spaccamela / Segal Theory and Practice of Algorithms in (Computer) Systems
First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19753-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Liu / Woodcock Theoretical Aspects of Computing - ICTAC 2007
4th International Colloquium, Macau, China, September 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75290-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bravetti / Kloul / Zavattaro Formal Techniques for Computer Systems and Business Processes
European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28701-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort