Fachgebiet
Medium
  • 1195
  • 348
Erscheinungsjahr
  • 6
  • 92
  • 89
  • 109
  • 107
  • 95
  • 98
  • 98
  • 101
  • 124
  • 103
  • 104
  • 106
  • 57
  • 65
  • 67
  • 57
  • 65
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 50
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 7
  • 7
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 5
  • 4
  • 3
  • 3
  • 2
  • 3
  • 9
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 9
  • 9
  • 5
  • 4
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 22
  • 12
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 10
  • 2
  • 10
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 5
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 12
  • 2
  • 7
  • 57
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 9
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 13
  • 4
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 8
  • 3
  • 5
  • 2
  • 4
  • 4
  • 2
  • 8
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 8
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 10
  • 2
  • 3
  • 3
  • 8
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 15
  • 3
  • 3
  • 2
  • 7
  • 3
  • 2
  • 19
  • 5
  • 2
  • 9
  • 4
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 41
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 51
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 6
  • 5
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 7
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 7
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 17
  • 9
  • 4
  • 5
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 25
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 15
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 15
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 17
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 17
  • 2
  • 2
  • 14
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 14
  • 2
  • 2
  • 56
  • 2
  • 23
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 12
  • 11
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 9
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 12
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 3
  • 13
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
Verlag
  • 1323
  • 203
  • 8
  • 9
Preis
  • 71
  • 1262
  • 210
Sprachen
  • 1543
  • 1
Verfügbarkeit
  • 1543
Katalog
  • 1543
  • 20
1.543  Treffer  für „Theoretical Computer Science and General Issues“


    Lerner / Wagner / Zweig Algorithmics of Large and Complex Networks

    Design, Analysis, and Simulation
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02093-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fioravanti / Gallagher Logic-Based Program Synthesis and Transformation

    27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94459-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Albert Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38196-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zsók / Butterfield Implementation and Application of Functional Languages

    18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74129-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dediu / Martín-Vide / Truthe Theory and Practice of Natural Computing

    Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45007-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dennunzio / Formenti / Manzoni Cellular Automata and Discrete Complex Systems

    23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58630-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baetens / Kutrib Cellular Automata and Discrete Complex Systems

    24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92674-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Isokawa / Imai / Matsui Cellular Automata and Discrete Complex Systems

    20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-18811-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dediu / Magdalena / Martín-Vide Theory and Practice of Natural Computing

    Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26840-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27121-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27136-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Falaschi Logic-Based Program Synthesis and Transformation

    25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27435-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kristensen / Petrucci Application and Theory of Petri Nets

    32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21833-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Li / Cao / Bourgeois Advances in Grid and Pervasive Computing

    7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30766-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Haddad / Pomello Application and Theory of Petri Nets

    33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31130-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brisk / de Figueiredo Coutinho / Diniz Reconfigurable Computing: Architectures, Tools and Applications

    9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36811-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pande / Sarkar Languages and Compilers for Parallel Computing

    32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-72788-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Enea / Piskac Verification, Model Checking, and Abstract Interpretation

    20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-11244-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Felber / Garg Stabilization, Safety, and Security of Distributed Systems

    16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11763-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonato / Mitzenmacher / Pralat Algorithms and Models for the Web Graph

    10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03535-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonato / Janssen Algorithms and Models for the Web Graph

    9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II

    9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31499-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonato / Chung Graham / Pralat Algorithms and Models for the Web Graph

    14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15–16, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67809-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Duan Structured Object-Oriented Formal Language and Method

    4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17403-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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