Ergebnisse filtern
Fachgebiet
Medium
  • 1160
  • 371
Erscheinungsjahr
  • 7
  • 85
  • 97
  • 101
  • 101
  • 92
  • 95
  • 92
  • 108
  • 106
  • 110
  • 100
  • 114
  • 65
  • 61
  • 71
  • 58
  • 68
Autoren
  • 2
  • 4
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 53
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 8
  • 15
  • 2
  • 3
  • 2
  • 2
  • 13
  • 4
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 7
  • 9
  • 4
  • 4
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 19
  • 17
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 13
  • 2
  • 8
  • 2
  • 56
  • 5
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 5
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 9
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 6
  • 2
  • 3
  • 7
  • 9
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 3
  • 2
  • 20
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 3
  • 15
  • 12
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 10
  • 2
  • 2
  • 5
  • 4
  • 2
  • 4
  • 6
  • 3
  • 5
  • 4
  • 2
  • 3
  • 16
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 15
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 45
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 52
  • 2
  • 4
  • 4
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 6
  • 2
  • 2
  • 5
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 6
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 5
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 15
  • 16
  • 11
  • 2
  • 6
  • 2
  • 10
  • 4
  • 3
  • 3
  • 4
  • 2
  • 5
  • 4
  • 19
  • 2
  • 2
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 10
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 11
  • 14
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 16
  • 16
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 8
  • 11
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 14
  • 3
  • 55
  • 2
  • 22
  • 2
  • 6
  • 4
  • 4
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 15
  • 16
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 11
  • 2
  • 10
  • 6
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 6
  • 7
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1322
  • 196
  • 1
  • 1
  • 11
Preis
  • 67
  • 1265
  • 199
Sprachen
  • 1531
Verfügbarkeit
  • 1531
Katalog
  • 1531
  • 15
1.531  Treffer  für „Theoretical Computer Science and General Issues“
    Colom / Desel | Application and Theory of Petri Nets and Concurrency | eBook | Sack Fachmedien
    E-Book

    Colom / Desel Application and Theory of Petri Nets and Concurrency

    34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38697-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ciardo / Kindler | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Ciardo / Kindler Application and Theory of Petri Nets and Concurrency

    35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07733-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Jansen / Rolim | Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Gupta / Jansen / Rolim Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

    15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32511-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Becker / Xing | Green, Pervasive, and Cloud Computing | Buch | Sack Fachmedien

    Yu / Becker / Xing Green, Pervasive, and Cloud Computing

    15th International Conference, GPC 2020, Xi'an, China, November 13-15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64242-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dams / Hannemann / Steffen | Concurrency, Compositionality, and Correctness | eBook | Sack Fachmedien
    E-Book

    Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness

    Essays in Honor of Willem-Paul de Roever
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11512-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hobbs / Goscinski / Zhou | Distributed and Parallel Computing | Buch | Sack Fachmedien

    Hobbs / Goscinski / Zhou Distributed and Parallel Computing

    6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29235-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Jansen / Kenyon | Efficient Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Jansen / Kenyon Efficient Approximation and Online Algorithms

    Recent Progress on Classical Combinatorial Optimization Problems and New Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32212-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Daescu | Combinatorial Optimization and Applications | eBook | Sack Fachmedien
    E-Book

    Wu / Daescu Combinatorial Optimization and Applications

    4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-17458-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chen / Pan / Guo | Parallel and Distributed Processing and Applications - ISPA 2005 Workshops | Buch | Sack Fachmedien

    Chen / Pan / Guo Parallel and Distributed Processing and Applications - ISPA 2005 Workshops

    ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29770-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Fong / Zhang | Hybrid Learning and Education | Buch | Sack Fachmedien

    Wang / Fong / Zhang Hybrid Learning and Education

    Second International Conference, ICHL 2009, Macau, China, August 25-27, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03696-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / McDermott / Carballal | Evolutionary and Biologically Inspired Music, Sound, Art and Design | Buch | Sack Fachmedien

    Machado / McDermott / Carballal Evolutionary and Biologically Inspired Music, Sound, Art and Design

    Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36954-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qiu | Algorithms and Architectures for Parallel Processing | eBook | Sack Fachmedien
    E-Book

    Qiu Algorithms and Architectures for Parallel Processing

    20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-60245-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Johnson / Ciesielski / Correia | Evolutionary and Biologically Inspired Music, Sound, Art and Design | Buch | Sack Fachmedien

    Johnson / Ciesielski / Correia Evolutionary and Biologically Inspired Music, Sound, Art and Design

    5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31007-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Becker / Xing | Green, Pervasive, and Cloud Computing | eBook | Sack Fachmedien
    E-Book

    Yu / Becker / Xing Green, Pervasive, and Cloud Computing

    15th International Conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64243-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Heckel / Taentzer | Graph Transformation, Specifications, and Nets | Buch | Sack Fachmedien

    Heckel / Taentzer Graph Transformation, Specifications, and Nets

    In Memory of Hartmut Ehrig
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-75395-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischlin / Katzenbeisser | Number Theory and Cryptography | Buch | Sack Fachmedien

    Fischlin / Katzenbeisser Number Theory and Cryptography

    Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-42000-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Majumdar | Tools and Algorithms for the Construction and Analysis of Systems | eBook | Sack Fachmedien
    E-Book

    Esparza / Majumdar Tools and Algorithms for the Construction and Analysis of Systems

    16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-12002-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Wu / Das | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Liu / Wu / Das Wireless Algorithms, Systems, and Applications

    16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-85927-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Daescu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Wu / Daescu Combinatorial Optimization and Applications

    4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17460-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallagher / Sulzmann | Functional and Logic Programming | eBook | Sack Fachmedien
    E-Book

    Gallagher / Sulzmann Functional and Logic Programming

    14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-90686-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Boreale / Corradini / Loreti | Models, Languages, and Tools for Concurrent and Distributed Programming | Buch | Sack Fachmedien

    Boreale / Corradini / Loreti Models, Languages, and Tools for Concurrent and Distributed Programming

    Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-21484-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dima / Shirmohammadi | Formal Modeling and Analysis of Timed Systems | eBook | Sack Fachmedien
    E-Book

    Dima / Shirmohammadi Formal Modeling and Analysis of Timed Systems

    19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85037-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Filliatre / Paulin-Mohring / Werner | Types for Proofs and Programs | Buch | Sack Fachmedien

    Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs

    International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31428-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cygan / Heggernes | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Cygan / Heggernes Parameterized and Exact Computation

    9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13523-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panigrahi / Das / Suganthan | Swarm, Evolutionary, and Memetic Computing | eBook | Sack Fachmedien
    E-Book

    Panigrahi / Das / Suganthan Swarm, Evolutionary, and Memetic Computing

    Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-35380-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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