Ergebnisse filtern
-
- 47
-
- 23
- 7
- 16
- 1
-
- 1
- 43
- 3
-
- 47
-
- 47
-
- 47
Mathematik Allgemein
-
Arumugam / Panda / Bagga Theoretical Computer Science and Discrete Mathematics
First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-64418-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fahrenberg / Winter / Gehrke Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88700-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-92686-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-93099-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paul / Habib Graph-Theoretic Concepts in Computer Science
35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised PapersErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-11408-3Medium: Buch53,49 € (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 -
Dediu / Martin-Vide / Ionescu Language and Automata Theory and Applications
Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-00981-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhu / Wang Computing and Combinatorics
24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94775-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Casadio / Scott / Coecke Categories and Types in Logic, Language, and Physics
Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday2014Verlag: SpringerISBN: 978-3-642-54788-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Xu / Du Computing and Combinatorics
21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-21397-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Du / Fu Computing and Combinatorics
17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings2011Verlag: SpringerISBN: 978-3-642-22684-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grossi / Huang / Roy Logic, Rationality, and Interaction
4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40947-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thai / Dinh Computing and Combinatorics
22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42633-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Du Computing and Combinatorics
19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38767-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
S. / Banerjee Logic and Its Applications
6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-662-45823-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodaya Logic and Its Applications
5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-36038-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lu / Kim / Du Combinatorial Optimization and Applications
9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26625-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Treinen Rewriting Techniques and Applications
20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02347-7Medium: 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, Proceedings2009Verlag: SpringerISBN: 978-3-642-02272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dowek Rewriting and Typed Lambda Calculi
Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08917-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Narayanaswamy / Gaur Algorithms and Discrete Applied Mathematics
Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-53006-2Medium: Buch53,49 € (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 -
Maheshwari / Govindarajan Algorithms and Discrete Applied Mathematics
Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29220-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mitchell / Hoos Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27829-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf / Franceschinis Applications and Theory of Petri Nets
30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gu / Yang / Hell Algorithmic Aspects in Information and Management
10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-07955-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Boca / Butler Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87602-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frappier / Glässer / Reeves Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11810-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhao / Kleine Büning Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kullmann Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-02776-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Le Berre / Creignou Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Coecke / Panangaden / Ong Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morrill / Richter / Muskens Formal Grammar
19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings2014Verlag: SpringerISBN: 978-3-662-44120-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Schürr / Rensink Graph Transformations
5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-15927-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
El Yacoubi / Bandini / Chopard Cellular Automata
7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40929-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nowotka / Manea Combinatorics on Words
10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23659-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jan / Froncek / Miller Combinatorial Algorithms
25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-19314-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gamboa / Klein Interactive Theorem Proving
5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08969-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yan / Garzon DNA Computing
13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77961-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blesa / Blum / Cangelosi Hybrid Metaheuristics
10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39635-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gudmundsson Algorithm Theory - SWAT 2008
11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-69900-2Medium: Buch99,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iliopoulos / Smyth Combinatorial Algorithms
21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19221-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kaufmann / Paulson Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14051-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fiala / Miller / Kratochvil Combinatorial Algorithms
20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-10216-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Toyama / Ito Developments in Language Theory
12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85779-2Medium: 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