Ergebnisse filtern
-
- 50
-
- 50
-
- 3
- 45
- 2
-
- 50
-
- 50
-
- 50
Mathematik Allgemein
-
Grädel / Kahle Computer Science Logic
23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04026-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Artemov / Nerode Logical Foundations of Computer Science
International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-36754-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Artemov / Nerode Logical Foundations of Computer Science
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92686-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 -
Hawblitzel / Miller Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35307-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodaya Logic and Its Applications
5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36038-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dinh / Thai Computing and Combinatorics
22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42633-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Elbassioni / Makino Algorithms and Computation
26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48970-3Medium: Buch94,16 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fu / Du Computing and Combinatorics
17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22684-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bezhanishvili / Löbner / Marra Logic, Language, and Computation
9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36975-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Fomin Parameterized and Exact Computation
4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11268-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bodlaender / Langston Parameterized and Exact Computation
Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39098-5Medium: 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 -
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, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08917-1Medium: 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 -
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 -
Ong / de Queiroz Logic, Language, Information, and Computation
2. Auflage 2012Verlag: SpringerISBN: 978-3-642-32620-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ronchi Della Rocca Typed Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73227-3Medium: 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 -
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 -
Akiyama / Bo / Kano Computational Geometry, Graphs and Applications
International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aydinian / Cicalese / Deppe Information Theory, Combinatorics, and Search Theory
In Memory of Rudolf Ahlswede1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36898-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hoos / Mitchell Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27829-0Medium: Buch53,49 € (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 -
Carlet / Pott Sequences and Their Applications - SETA 2010
6th International Conference, Paris, France, September 13-17, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15873-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Butler / Bowen Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87602-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gu / Hell / Yang Algorithmic Aspects in Information and Management
10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07955-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frappier / Glässer / Khurshid 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 -
Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24317-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40969-6Medium: 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 -
Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Coecke / Ong / Panangaden Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moot / Retore The Logic of Categorial Grammars
A deductive account of natural language syntax and semantics1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31554-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ferreira / Mendes / Menghi Formal Methods Teaching
4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91549-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
El Yacoubi / Chopard / Bandini Cellular Automata
7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-40929-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manea / Nowotka Combinatorics on Words
10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23659-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jan / Miller / Froncek Combinatorial Algorithms
25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-19314-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mao / Yokomori DNA Computing
12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49024-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Garzon / Yan DNA Computing
13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers1. Auflage 2008Verlag: SpringerISBN: 978-3-540-77961-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eppstein / Gansner Graph Drawing
17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11804-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Márquez / Ramos / Urrutia Computational Geometry
XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34190-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Symth / Arumugam Combinatorial Algorithms
23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35925-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lipták / Smyth Combinatorial Algorithms
26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29515-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fiala / Kratochvil / Miller Combinatorial Algorithms
20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-10216-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ibarra / Dang Developments in Language Theory
10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35428-4Medium: 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: SpringerISBN: 978-3-319-39635-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harju / Karhumäki / Lepistö Developments in Language Theory
11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73207-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lecroq / Mouchard Combinatorial Algorithms
24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45277-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