Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.

Ergebnisse filtern
Fachgebiet
Medium
  • 230
Erscheinungsjahr
  • 4
  • 11
  • 9
  • 9
  • 6
  • 12
  • 6
  • 11
  • 15
  • 11
  • 23
  • 11
  • 23
  • 29
  • 25
  • 25
Autoren
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 15
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 9
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 18
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 12
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 15
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 17
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 226
  • 1
  • 3
Preis
  • 10
  • 167
  • 53
Sprachen
  • 230
Verfügbarkeit
  • 230
Katalog
  • 230

Software Engineering

230  Treffer  für „Theoretical Computer Science and General Issues“
    Arvind / Prasad | FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Arvind / Prasad FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

    27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77049-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawar / Veith | Computer Science Logic | Buch | Sack Fachmedien

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15204-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Relations and Kleene Algebra in Computer Science | Buch | Sack Fachmedien

    Schmidt Relations and Kleene Algebra in Computer Science

    9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37873-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    MacCaull / Winter / Düntsch | Relational Methods in Computer Science | Buch | Sack Fachmedien

    MacCaull / Winter / Düntsch Relational Methods in Computer Science

    8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33339-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bieliková / Charon-Bost / Sýkora | SOFSEM 2005: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Bieliková / Charon-Bost / Sýkora 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
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24302-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Leeuwen / Italiano / van der Hoek | SOFSEM 2007: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Leeuwen / Italiano / van der Hoek SOFSEM 2007: Theory and Practice of Computer Science

    33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69506-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedermann / Tel / Pokorný | SOFSEM 2006: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Wiedermann / Tel / Pokorný SOFSEM 2006: Theory and Practice of Computer Science

    32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31198-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatzigeorgiou / Dondi / Herodotou | SOFSEM 2020: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Chatzigeorgiou / Dondi / Herodotou SOFSEM 2020: Theory and Practice of Computer Science

    46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-38918-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freivalds / Engels / Catania | SOFSEM 2016: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Freivalds / Engels / Catania SOFSEM 2016: Theory and Practice of Computer Science

    42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49191-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geffert / Preneel / Rovan | SOFSEM 2014: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Geffert / Preneel / Rovan SOFSEM 2014: Theory and Practice of Computer Science

    40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04297-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geffert / Karhumäki / Bertoni | SOFSEM 2008: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Geffert / Karhumäki / Bertoni SOFSEM 2008: Theory and Practice of Computer Science

    34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77565-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pozdniakov / Dagiene | Informatics in Schools. Fundamentals of Computer Science and Software Engineering | Buch | Sack Fachmedien

    Pozdniakov / Dagiene Informatics in Schools. Fundamentals of Computer Science and Software Engineering

    11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02749-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillig / Tasiran | Computer Aided Verification | Buch | Sack Fachmedien

    Dillig / Tasiran Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25539-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

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

    Silva / Leino Computer Aided Verification

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

    Dillig / Tasiran Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25542-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parthasarathy / Seshia | Computer Aided Verification | Buch | Sack Fachmedien

    Parthasarathy / Seshia Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopalakrishnan / Qadeer | Computer Aided Verification | Buch | Sack Fachmedien

    Gopalakrishnan / Qadeer Computer Aided Verification

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

    Etessami / Rajamani Computer Aided Verification

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

    Damm / Hermanns Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Araki | Theoretical Aspects of Computing - ICTAC 2004 | Buch | Sack Fachmedien

    Liu / Araki Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plaat / van den Herik / Kosters | Advances in Computer Games | Buch | Sack Fachmedien

    Plaat / van den Herik / Kosters Advances in Computer Games

    14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27991-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Haxthausen / Yenigun | Theoretical Aspects of Computing - ICTAC 2008 | Buch | Sack Fachmedien

    Fitzgerald / Haxthausen / Yenigun Theoretical Aspects of Computing - ICTAC 2008

    5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85761-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker / Morgan | Theoretical Aspects of Computing - ICTAC 2009 | Buch | Sack Fachmedien

    Leucker / Morgan Theoretical Aspects of Computing - ICTAC 2009

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

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

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48815-6
    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