Ergebnisse filtern
Fachgebiet
Medium
  • 243
Erscheinungsjahr
  • 6
  • 9
  • 9
  • 7
  • 3
  • 6
  • 13
  • 8
  • 15
  • 12
  • 11
  • 26
  • 20
  • 24
  • 32
  • 18
  • 24
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 15
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 11
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 11
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 13
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 114
  • 79
  • 46
  • 3
  • 1
Preis
  • 7
  • 177
  • 59
Sprachen
  • 243
Verfügbarkeit
  • 242
  • 1
Katalog
  • 243

Software Engineering

243  Treffer  für „Theoretical Computer Science and General Issues“
    Fiadeiro / Rutten / Harman | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Fiadeiro / Rutten / Harman Algebra and Coalgebra in Computer Science

    First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mossakowski / Haveraaen / Montanari | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Mossakowski / Haveraaen / Montanari Algebra and Coalgebra in Computer Science

    Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73857-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bieliková / Vojtás / Charon-Bost | SOFSEM 2005: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Bieliková / Vojtás / Charon-Bost SOFSEM 2005: Theory and Practice of Computer Science

    31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24302-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Italiano / Margaria-Steffen / Wattenhofer | SOFSEM 2015: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Italiano / Margaria-Steffen / Wattenhofer SOFSEM 2015: Theory and Practice of Computer Science

    41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn¿¿kou, Czech Republic, January 24-29, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46077-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Leeuwen / Muscholl / Rumpe | SOFSEM 2010: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Leeuwen / Muscholl / Rumpe SOFSEM 2010: Theory and Practice of Computer Science

    36th Conference on Current Trends in Theory and Practice of Computer Science, ¿pindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11265-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Emde Boas / Groen / Sack | SOFSEM 2013: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Emde Boas / Groen / Sack SOFSEM 2013: Theory and Practice of Computer Science

    39th International Conference on Current Trends in Theory and Practice of Computer Science, ¿pindler¿v Mlýn, Czech Republic, January 26-31, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-35842-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yolum / Güngör / Gürgen | Computer and Information Sciences - ISCIS 2005 | Buch | Sack Fachmedien

    Yolum / Güngör / Gürgen Computer and Information Sciences - ISCIS 2005

    20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29414-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Lahiri | Computer Aided Verification | Buch | Sack Fachmedien

    Wang / Lahiri Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seshia / Parthasarathy | Computer Aided Verification | Buch | Sack Fachmedien

    Seshia / Parthasarathy Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkaoui / Tahar / Boucheneb | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Barkaoui / Tahar / Boucheneb Verification and Evaluation of Computer and Communication Systems

    11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66175-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leino / Silva | Computer Aided Verification | Buch | Sack Fachmedien

    Leino / Silva Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-81684-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veith / Sharygina | Computer Aided Verification | Buch | Sack Fachmedien

    Veith / Sharygina Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qadeer / Gopalakrishnan | Computer Aided Verification | Buch | Sack Fachmedien

    Qadeer / Gopalakrishnan Computer Aided Verification

    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-22109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maler / Bouajjani | Computer Aided Verification | Buch | Sack Fachmedien

    Maler / Bouajjani Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajamani / Etessami | Computer Aided Verification | Buch | Sack Fachmedien

    Rajamani / Etessami Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27231-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Touili / Cook / Jackson | Computer Aided Verification | Buch | Sack Fachmedien

    Touili / Cook / Jackson Computer Aided Verification

    22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14294-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woeginger / Steffen | Computing and Software Science | Buch | Sack Fachmedien

    Woeginger / Steffen Computing and Software Science

    State of the Art and Perspectives
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91907-2
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morgan / Leucker | Theoretical Aspects of Computing - ICTAC 2009 | Buch | Sack Fachmedien

    Morgan / Leucker Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03465-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Araki / Liu | Theoretical Aspects of Computing - ICTAC 2004 | Buch | Sack Fachmedien

    Araki / Liu Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkaoui / Cerone / Cavalcanti | Theoretical Aspects of Computing - ICTAC 2006 | Buch | Sack Fachmedien

    Barkaoui / Cerone / Cavalcanti Theoretical Aspects of Computing - ICTAC 2006

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48815-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Woodcock / Liu | Theoretical Aspects of Computing - ICTAC 2007 | Buch | Sack Fachmedien

    Jones / Woodcock / Liu Theoretical Aspects of Computing - ICTAC 2007

    4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75290-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Zavattaro / Kloul | Formal Techniques for Computer Systems and Business Processes | Buch | Sack Fachmedien

    Bravetti / Zavattaro / Kloul Formal Techniques for Computer Systems and Business Processes

    European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28701-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Torre / Murgante | Computational Science and Its Applications - ICCSA 2020 | Buch | Sack Fachmedien

    Gervasi / Torre / Murgante Computational Science and Its Applications - ICCSA 2020

    20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part III
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58807-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi | Computational Science and Its Applications - ICCSA 2007 | Buch | Sack Fachmedien

    Gervasi Computational Science and Its Applications - ICCSA 2007

    International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74482-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi | Computational Science and Its Applications - ICCSA 2007 | Buch | Sack Fachmedien

    Gervasi Computational Science and Its Applications - ICCSA 2007

    International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74468-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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