Ergebnisse filtern
Fachgebiet
Medium
  • 243
Erscheinungsjahr
  • 9
  • 11
  • 8
  • 9
  • 4
  • 4
  • 20
  • 8
  • 13
  • 15
  • 9
  • 30
  • 16
  • 19
  • 26
  • 21
  • 21
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 14
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 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
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 9
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 18
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 12
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 15
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 2
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 7
  • 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
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 17
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 240
  • 3
Preis
  • 13
  • 176
  • 54
Sprachen
  • 243
Verfügbarkeit
  • 243
Katalog
  • 243
243  Treffer  für „Theoretical Computer Science and General Issues“
    Alexandrov / van Albada / Sloot | Computational Science - ICCS 2006 | Buch | Sack Fachmedien

    Alexandrov / van Albada / Sloot Computational Science - ICCS 2006

    6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34379-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Albada / Dongarra | Computational Science - ICCS 2007 | Buch | Sack Fachmedien

    Shi / Albada / Dongarra Computational Science - ICCS 2007

    7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72587-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexandrov / van Albada / Sloot | Computational Science - ICCS 2006 | Buch | Sack Fachmedien

    Alexandrov / van Albada / Sloot Computational Science - ICCS 2006

    6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34385-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daydé / Palma / Couthino | High Performance Computing for Computational Science - VECPAR 2006 | Buch | Sack Fachmedien

    Daydé / Palma / Couthino High Performance Computing for Computational Science - VECPAR 2006

    7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71350-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guo / Yang / Di Martino | Parallel and Distributed Processing and Applications | Buch | Sack Fachmedien

    Guo / Yang / Di Martino Parallel and Distributed Processing and Applications

    4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68067-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayala / Shang / Yakovlev | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Ayala / Shang / Yakovlev Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36156-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albers / Marchetti-Spaccamela / Matias | Automata, Languages and Programming | Buch | Sack Fachmedien

    Albers / Marchetti-Spaccamela / Matias Automata, Languages and Programming

    36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02929-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albers / Marchetti-Spaccamela / Matias | Automata, Languages and Programming | Buch | Sack Fachmedien

    Albers / Marchetti-Spaccamela / Matias Automata, Languages and Programming

    36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02926-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Bacci / Ingólfsdóttir | Models, Algorithms, Logics and Tools | Buch | Sack Fachmedien

    Aceto / Bacci / Ingólfsdóttir Models, Algorithms, Logics and Tools

    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63120-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colom / Desel | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Colom / Desel Application and Theory of Petri Nets and Concurrency

    34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38696-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Dams / Hannemann / Steffen | Concurrency, Compositionality, and Correctness | Buch | Sack Fachmedien

    Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness

    Essays in Honor of Willem-Paul de Roever
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11511-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Devillers / Valmari | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Devillers / Valmari Application and Theory of Petri Nets and Concurrency

    36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Gavoille / Kirchner | Automata, Languages and Programming | Buch | Sack Fachmedien

    Abramsky / Gavoille / Kirchner Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14161-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagiv | Programming Languages and Systems | Buch | Sack Fachmedien

    Sagiv Programming Languages and Systems

    14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25435-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Huth | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71208-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Ölveczky Rewriting Logic and Its Applications

    8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16309-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Guo / Chen | Embedded Software and Systems | Buch | Sack Fachmedien

    Wu / Guo / Chen Embedded Software and Systems

    First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28128-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Programming Languages and Systems | Buch | Sack Fachmedien

    Gordon Programming Languages and Systems

    19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11956-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piterman / Smolka | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Piterman / Smolka Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36741-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flanagan / König | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Flanagan / König Tools and Algorithms for the Construction and Analysis of Systems

    18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28755-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Hermanns / Palsberg | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Hermanns / Palsberg Tools and Algorithms for the Construction and Analysis of Systems

    12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33056-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan / Rehof | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Ramakrishnan / Rehof Tools and Algorithms for the Construction and Analysis of Systems

    14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78799-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Tinelli | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems

    21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46680-3
    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