Fachgebiet
Medium
  • 47
Erscheinungsjahr
  • 2
  • 1
  • 2
  • 4
  • 4
  • 6
  • 4
  • 4
  • 5
  • 6
  • 6
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 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
Verlag
  • 23
  • 7
  • 16
  • 1
Preis
  • 1
  • 43
  • 3
Sprachen
  • 47
Verfügbarkeit
  • 47
Katalog
  • 47

Mathematik Allgemein

47  Treffer  für „Theoretical Computer Science and General Issues“


    Arumugam / Panda / Bagga 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 International Publishing
    ISBN: 978-3-319-64418-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88700-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nerode / Artemov Logical Foundations of Computer Science

    International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-92686-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nerode / Artemov Logical Foundations of Computer Science

    International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-93099-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Dediu / Martin-Vide / Ionescu Language and Automata Theory and Applications

    Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhu / Wang Computing and Combinatorics

    24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-94775-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Casadio / Scott / Coecke Categories and Types in Logic, Language, and Physics

    Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
    2014
    Verlag: Springer
    ISBN: 978-3-642-54788-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Xu / Du Computing and Combinatorics

    21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21397-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Du / Fu Computing and Combinatorics

    17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-22684-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grossi / Huang / Roy Logic, Rationality, and Interaction

    4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40947-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thai / Dinh Computing and Combinatorics

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

    Zhang / Du Computing and Combinatorics

    19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38767-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    S. / Banerjee Logic and Its Applications

    6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-45823-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lodaya Logic and Its Applications

    5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36038-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lu / Kim / Du Combinatorial Optimization and Applications

    9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26625-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Curien Typed Lambda Calculi and Applications

    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02272-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08917-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Narayanaswamy / Gaur Algorithms and Discrete Applied Mathematics

    Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53006-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Maheshwari / Govindarajan Algorithms and Discrete Applied Mathematics

    Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29220-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mitchell / Hoos Theory and Applications of Satisfiability Testing

    7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27829-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wolf / Franceschinis Applications and Theory of Petri Nets

    30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gu / Yang / Hell Algorithmic Aspects in Information and Management

    10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07955-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Frappier / Glässer / Reeves 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

    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

    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

    Zhao / Kleine Büning Theory and Applications of Satisfiability Testing - SAT 2008

    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kullmann Theory and Applications of Satisfiability Testing - SAT 2009

    12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02776-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Le Berre / Creignou Theory and Applications of Satisfiability Testing - SAT 2016

    19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40969-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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 Birthday
    2013
    Verlag: Springer
    ISBN: 978-3-642-38163-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Morrill / Richter / Muskens Formal Grammar

    19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-44120-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Schürr / Rensink Graph Transformations

    5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-15927-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    El Yacoubi / Bandini / Chopard Cellular Automata

    7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40929-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nowotka / Manea Combinatorics on Words

    10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23659-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jan / Froncek / Miller Combinatorial Algorithms

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

    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, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08969-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yan / Garzon DNA Computing

    13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77961-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blesa / Blum / Cangelosi Hybrid Metaheuristics

    10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39635-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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 / Miller / Kratochvil Combinatorial Algorithms

    20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-10216-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Toyama / Ito Developments in Language Theory

    12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85779-2
    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