Ergebnisse filtern
Fachgebiet
Medium
  • 44
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 6
  • 3
  • 1
  • 5
  • 6
  • 4
  • 3
  • 4
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 43
  • 1
Preis
  • 5
  • 35
  • 4
Sprachen
  • 44
Verfügbarkeit
  • 44
Katalog
  • 44

Mathematik Allgemein

44  Treffer  für „Theoretical Computer Science and General Issues“
    Arumugam / Bagga / Beineke | Theoretical Computer Science and Discrete Mathematics | Buch | Sack Fachmedien

    Arumugam / Bagga / Beineke Theoretical Computer Science and Discrete Mathematics

    First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64418-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duparc / Henzinger | Computer Science Logic | Buch | Sack Fachmedien

    Duparc / Henzinger Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ong | Computer Science Logic | Buch | Sack Fachmedien

    Ong Computer Science Logic

    19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28231-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grädel / Kahle | Computer Science Logic | Buch | Sack Fachmedien

    Grädel / Kahle Computer Science Logic

    23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04026-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahrenberg / Gehrke / Santocanale | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Fahrenberg / Gehrke / Santocanale Relational and Algebraic Methods in Computer Science

    19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88700-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artemov / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Artemov / Nerode Logical Foundations of Computer Science

    International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92686-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paul / Habib | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Paul / Habib Graph-Theoretic Concepts in Computer Science

    35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11408-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goubault-Larrecq / König | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Goubault-Larrecq / König Foundations of Software Science and Computation Structures

    23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45230-8
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Ito / Sakai | Discrete and Computational Geometry and Graphs | Buch | Sack Fachmedien

    Akiyama / Ito / Sakai Discrete and Computational Geometry and Graphs

    16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13286-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sommaruga | Formal Theories of Information | Buch | Sack Fachmedien

    Sommaruga Formal Theories of Information

    From Shannon to Semantic Information Theory and General Concepts of Information
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00658-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lodaya | Logic and Its Applications | Buch | Sack Fachmedien

    Lodaya Logic and Its Applications

    5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36038-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / S. | Logic and Its Applications | Buch | Sack Fachmedien

    Banerjee / S. Logic and Its Applications

    6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45823-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinh / Thai | Computing and Combinatorics | Buch | Sack Fachmedien

    Dinh / Thai Computing and Combinatorics

    22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42633-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zhu | Computing and Combinatorics | Buch | Sack Fachmedien

    Wang / Zhu Computing and Combinatorics

    24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94775-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezhanishvili / Löbner / Marra | Logic, Language, and Computation | Buch | Sack Fachmedien

    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 Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36975-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grossi / Roy / Huang | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Grossi / Roy / Huang Logic, Rationality, and Interaction

    4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40947-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ong / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Ong / de Queiroz Logic, Language, Information, and Computation

    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Curien Typed Lambda Calculi and Applications

    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02272-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aydinian / Cicalese / Deppe | Information Theory, Combinatorics, and Search Theory | Buch | Sack Fachmedien

    Aydinian / Cicalese / Deppe Information Theory, Combinatorics, and Search Theory

    In Memory of Rudolf Ahlswede
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36898-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franceschinis / Wolf | Applications and Theory of Petri Nets | Buch | Sack Fachmedien

    Franceschinis / Wolf Applications and Theory of Petri Nets

    30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Butler / Bowen | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Butler / Bowen Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frappier / Glässer / Khurshid | Abstract State Machines, Alloy, B and Z | Buch | Sack Fachmedien

    Frappier / Glässer / Khurshid Abstract State Machines, Alloy, B and Z

    Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11810-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heule / Weaver | Theory and Applications of Satisfiability Testing -- SAT 2015 | Buch | Sack Fachmedien

    Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015

    18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24317-7
    Medium: Buch
    68,48 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marques-Silva / Sakallah | Theory and Applications of Satisfiability Testing - SAT 2007 | Buch | Sack Fachmedien

    Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007

    10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72787-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Szeider | Theory and Applications of Satisfiability Testing - SAT 2010 | Buch | Sack Fachmedien

    Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010

    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14185-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coecke / Ong / Panangaden | Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky | Buch | Sack Fachmedien

    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 Birthday
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38163-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El Yacoubi / Chopard / Bandini | Cellular Automata | Buch | Sack Fachmedien

    El Yacoubi / Chopard / Bandini Cellular Automata

    7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-40929-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jan / Miller / Froncek | Combinatorial Algorithms | Buch | Sack Fachmedien

    Jan / Miller / Froncek Combinatorial Algorithms

    25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-19314-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carbone / Pierce | DNA Computing | Buch | Sack Fachmedien

    Carbone / Pierce DNA Computing

    11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34161-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferretti / Mauri / Zandron | DNA Computing | Buch | Sack Fachmedien

    Ferretti / Mauri / Zandron DNA Computing

    10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26174-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karhumäki / Lepistö / Zamboni | Combinatorics on Words | Buch | Sack Fachmedien

    Karhumäki / Lepistö / Zamboni Combinatorics on Words

    9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40578-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albers / Alt / Näher | Efficient Algorithms | Buch | Sack Fachmedien

    Albers / Alt / Näher Efficient Algorithms

    Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-03455-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gudmundsson | Algorithm Theory - SWAT 2008 | Buch | Sack Fachmedien

    Gudmundsson Algorithm Theory - SWAT 2008

    11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-69900-2
    Medium: Buch
    99,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mao / Yokomori | DNA Computing | Buch | Sack Fachmedien

    Mao / Yokomori DNA Computing

    12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49024-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garzon / Yan | DNA Computing | Buch | Sack Fachmedien

    Garzon / Yan DNA Computing

    13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-77961-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Márquez / Ramos / Urrutia | Computational Geometry | Buch | Sack Fachmedien

    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 Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34190-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eppstein / Gansner | Graph Drawing | Buch | Sack Fachmedien

    Eppstein / Gansner Graph Drawing

    17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11804-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lipták / Smyth | Combinatorial Algorithms | Buch | Sack Fachmedien

    Lipták / Smyth Combinatorial Algorithms

    26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29515-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Symth / Arumugam | Combinatorial Algorithms | Buch | Sack Fachmedien

    Symth / Arumugam Combinatorial Algorithms

    23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35925-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harju / Karhumäki / Lepistö | Developments in Language Theory | Buch | Sack Fachmedien

    Harju / Karhumäki / Lepistö Developments in Language Theory

    11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73207-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iliopoulos / Smyth | Combinatorial Algorithms | Buch | Sack Fachmedien

    Iliopoulos / Smyth Combinatorial Algorithms

    21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19221-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Paulson | Interactive Theorem Proving | Buch | Sack Fachmedien

    Kaufmann / Paulson Interactive Theorem Proving

    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14051-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiala / Kratochvil / Miller | Combinatorial Algorithms | Buch | Sack Fachmedien

    Fiala / Kratochvil / Miller Combinatorial Algorithms

    20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10216-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibarra / Dang | Developments in Language Theory | Buch | Sack Fachmedien

    Ibarra / Dang Developments in Language Theory

    10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35428-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular