Ergebnisse filtern
Fachgebiet
Medium
  • 52
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 6
  • 3
  • 7
  • 1
  • 5
  • 8
  • 4
  • 4
  • 2
  • 3
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
  • 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
  • 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
Verlag
  • 51
  • 1
Preis
  • 2
  • 48
  • 2
Sprachen
  • 52
Verfügbarkeit
  • 52
Katalog
  • 52
52  Treffer  für „Theoretical Computer Science and General Issues“
    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
    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
    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
    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
    Kullmann | Theory and Applications of Satisfiability Testing - SAT 2009 | Buch | Sack Fachmedien

    Kullmann Theory and Applications of Satisfiability Testing - SAT 2009

    12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02776-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleine Büning / Zhao | Theory and Applications of Satisfiability Testing - SAT 2008 | Buch | Sack Fachmedien

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

    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Creignou / Le Berre | Theory and Applications of Satisfiability Testing - SAT 2016 | Buch | Sack Fachmedien

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

    19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40969-6
    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
    Kleijn / Yakovlev | Petri Nets and Other Models of Concurrency - ICATPN 2007 | Buch | Sack Fachmedien

    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, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73093-4
    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
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Mendes / Menghi | Formal Methods Teaching | Buch | Sack Fachmedien

    Ferreira / Mendes / Menghi Formal Methods Teaching

    4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91549-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Rensink / Rozenberg | Graph Transformations | Buch | Sack Fachmedien

    Ehrig / Rensink / Rozenberg Graph Transformations

    5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15927-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manea / Nowotka | Combinatorics on Words | Buch | Sack Fachmedien

    Manea / Nowotka Combinatorics on Words

    10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23659-9
    Medium: Buch
    53,49 € (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
    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
    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
    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
    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
    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
    Blesa / Blum / Cangelosi | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Blesa / Blum / Cangelosi Hybrid Metaheuristics

    10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39635-4
    Medium: Buch
    53,49 € (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
    Brankovic / Ryan / Smyth | Combinatorial Algorithms | Buch | Sack Fachmedien

    Brankovic / Ryan / Smyth Combinatorial Algorithms

    28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78824-1
    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
    Klein / Gamboa | Interactive Theorem Proving | Buch | Sack Fachmedien

    Klein / Gamboa 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
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08969-0
    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