Ergebnisse filtern
Fachgebiet
Medium
  • 49
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 4
  • 5
  • 2
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 1
Autoren
  • 1
  • 2
  • 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
  • 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
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 49
Preis
  • 3
  • 44
  • 2
Sprachen
  • 49
Verfügbarkeit
  • 49
Katalog
  • 49

Mathematik Allgemein

49  Treffer  für „Theoretical Computer Science and General Issues“
    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
    Artemov / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Artemov / Nerode Logical Foundations of Computer Science

    International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-36754-1
    Medium: Buch
    53,49 € (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
    Marchetti-Spaccamela / Segal | Theory and Practice of Algorithms in (Computer) Systems | Buch | Sack Fachmedien

    Marchetti-Spaccamela / Segal Theory and Practice of Algorithms in (Computer) Systems

    First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19753-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hawblitzel / Miller | Certified Programs and Proofs | Buch | Sack Fachmedien

    Hawblitzel / Miller Certified Programs and Proofs

    Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35307-9
    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
    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
    Elbassioni / Makino | Algorithms and Computation | Buch | Sack Fachmedien

    Elbassioni / Makino Algorithms and Computation

    26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48970-3
    Medium: Buch
    94,16 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fu / Du | Computing and Combinatorics | Buch | Sack Fachmedien

    Fu / Du Computing and Combinatorics

    17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22684-7
    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
    Chen / Fomin | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Chen / Fomin Parameterized and Exact Computation

    4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11268-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bodlaender / Langston | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Bodlaender / Langston Parameterized and Exact Computation

    Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39098-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treinen | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Treinen Rewriting Techniques and Applications

    20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02347-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek | Rewriting and Typed Lambda Calculi | Buch | Sack Fachmedien

    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, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08917-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Govindarajan / Maheshwari | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Govindarajan / Maheshwari Algorithms and Discrete Applied Mathematics

    Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29220-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganguly / Krishnamurti | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Ganguly / Krishnamurti Algorithms and Discrete Applied Mathematics

    First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-14973-8
    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
    Ong | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Ong Typed Lambda Calculi and Applications

    10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21690-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaur / Narayanaswamy | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Gaur / Narayanaswamy Algorithms and Discrete Applied Mathematics

    Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-53006-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Bo / Kano | Computational Geometry, Graphs and Applications | Buch | Sack Fachmedien

    Akiyama / Bo / Kano Computational Geometry, Graphs and Applications

    International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24982-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronchi Della Rocca | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Ronchi Della Rocca Typed Lambda Calculi and Applications

    8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73227-3
    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
    Hoos / Mitchell | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Hoos / Mitchell Theory and Applications of Satisfiability Testing

    7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27829-0
    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
    Gu / Hell / Yang | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Gu / Hell / Yang Algorithmic Aspects in Information and Management

    10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07955-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