Ergebnisse filtern
Fachgebiet
Medium
  • 328
Erscheinungsjahr
  • 11
  • 46
  • 30
  • 5
  • 1
  • 3
  • 6
  • 3
  • 2
  • 3
  • 5
  • 3
  • 1
  • 1
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 7
  • 9
  • 10
  • 15
  • 12
  • 10
  • 9
  • 16
  • 9
  • 4
  • 11
  • 3
  • 4
  • 2
  • 4
  • 11
  • 6
  • 13
  • 8
  • 6
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 13
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 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
  • 1
  • 2
  • 2
  • 2
  • 4
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 13
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 4
  • 2
  • 1
  • 5
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 13
  • 13
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
Verlag
  • 328
Preis
  • 3
  • 11
  • 276
  • 38
Sprachen
  • 328
  • 1
  • 1
Verfügbarkeit
  • 328
Katalog
  • 328
  • 5

Rechnerarchitektur

328  Treffer  für „Lecture Notes in Computer Science“
    Nielsen / Thomas | Computer Science Logic | Buch | Sack Fachmedien

    Nielsen / Thomas Computer Science Logic

    11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64570-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clote / Schwichtenberg | Computer Science Logic | Buch | Sack Fachmedien

    Clote / Schwichtenberg Computer Science Logic

    14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67895-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deussen | Theoretical Computer Science | Buch | Sack Fachmedien

    Deussen Theoretical Computer Science

    5th GI-Conference Karlsruhe, March 23-25, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10576-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleine Buening | Computer Science Logic | Buch | Sack Fachmedien

    Kleine Buening Computer Science Logic

    9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61377-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalen / Bezem | Computer Science Logic | Buch | Sack Fachmedien

    Dalen / Bezem Computer Science Logic

    10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63172-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Leeuwen Graph-Theoretic Concepts in Computer Science

    International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50728-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycielski / Rozenberg / Salomaa | Structures in Logic and Computer Science | Buch | Sack Fachmedien

    Mycielski / Rozenberg / Salomaa Structures in Logic and Computer Science

    A Selection of Essays in Honor of A. Ehrenfeucht
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63246-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moggi / Rosolini | Category Theory and Computer Science | Buch | Sack Fachmedien

    Moggi / Rosolini Category Theory and Computer Science

    7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63455-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maheshwari | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Maheshwari Foundations of Software Technology and Theoretical Computer Science

    Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16042-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheng / Bi / Kim | Advances in Computer Graphics | Buch | Sack Fachmedien

    Sheng / Bi / Kim Advances in Computer Graphics

    40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50068-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nori / Kumar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Nori / Kumar Foundations of Software Technology and Theoretical Computer Science

    Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50517-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheng / Bi / Kim | Advances in Computer Graphics | Buch | Sack Fachmedien

    Sheng / Bi / Kim Advances in Computer Graphics

    40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50077-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheng / Bi / Kim | Advances in Computer Graphics | Buch | Sack Fachmedien

    Sheng / Bi / Kim Advances in Computer Graphics

    40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50071-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheng / Bi / Kim | Advances in Computer Graphics | Buch | Sack Fachmedien

    Sheng / Bi / Kim Advances in Computer Graphics

    40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50074-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omondi / Sedukhin | Advances in Computer Systems Architecture | Buch | Sack Fachmedien

    Omondi / Sedukhin Advances in Computer Systems Architecture

    8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20122-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yew / Xue | Advances in Computer Systems Architecture | Buch | Sack Fachmedien

    Yew / Xue Advances in Computer Systems Architecture

    9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23003-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choi / Paek / Cho | Advances in Computer Systems Architecture | Buch | Sack Fachmedien

    Choi / Paek / Cho Advances in Computer Systems Architecture

    12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74308-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Varbanescu / Molnos / van Nieuwpoort | Computer Architecture | Buch | Sack Fachmedien

    Varbanescu / Molnos / van Nieuwpoort Computer Architecture

    ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24321-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Maler | Computer Aided Verification | Buch | Sack Fachmedien

    Bouajjani / Maler Computer Aided Verification

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

    Balsamo / Knottenbelt / Marin Computer Performance Engineering

    10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40724-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reinecke / Di Marco | Computer Performance Engineering | Buch | Sack Fachmedien

    Reinecke / Di Marco Computer Performance Engineering

    14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66582-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Skou | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Skou Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55179-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsudik / Conti / Liang | Computer Security - ESORICS 2023 | Buch | Sack Fachmedien

    Tsudik / Conti / Liang Computer Security - ESORICS 2023

    28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51478-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsudik / Conti / Liang | Computer Security - ESORICS 2023 | Buch | Sack Fachmedien

    Tsudik / Conti / Liang Computer Security - ESORICS 2023

    28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51475-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsudik / Conti / Liang | Computer Security - ESORICS 2023 | Buch | Sack Fachmedien

    Tsudik / Conti / Liang Computer Security - ESORICS 2023

    28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51481-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsudik / Conti / Liang | Computer Security - ESORICS 2023 | Buch | Sack Fachmedien

    Tsudik / Conti / Liang Computer Security - ESORICS 2023

    28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50593-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choi / Singh / Tiwary | Intelligent Human Computer Interaction | Buch | Sack Fachmedien

    Choi / Singh / Tiwary Intelligent Human Computer Interaction

    15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-53826-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falsafi / Vijaykumar | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Falsafi / Vijaykumar Power-Aware Computer Systems

    First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42329-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramani / Chandrasekar / Anjaneyulu | Knowledge Based Computer Systems | Buch | Sack Fachmedien

    Ramani / Chandrasekar / Anjaneyulu Knowledge Based Computer Systems

    International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52850-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choi / Singh / Tiwary | Intelligent Human Computer Interaction | Buch | Sack Fachmedien

    Choi / Singh / Tiwary Intelligent Human Computer Interaction

    15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-53829-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falsafi / Vijaykumar | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Falsafi / Vijaykumar Power-Aware Computer Systems

    Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24031-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falsafi / Vijaykumar | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Falsafi / Vijaykumar Power-Aware Computer Systems

    Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-01028-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nah / Siau | HCI in Business, Government and Organizations | Buch | Sack Fachmedien

    Nah / Siau HCI in Business, Government and Organizations

    10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35968-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nah / Siau | HCI in Business, Government and Organizations | Buch | Sack Fachmedien

    Nah / Siau HCI in Business, Government and Organizations

    10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-36048-0
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8536-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8542-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8431-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8434-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8428-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8461-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8554-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8468-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8539-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8551-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bochmann / Klein | Architecture of Distributed Computer Systems | Buch | Sack Fachmedien

    Bochmann / Klein Architecture of Distributed Computer Systems

    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09723-5
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8548-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8545-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8557-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Jouannaud Functional Programming Languages and Computer Architecture

    Proceedings, Nancy, France, September 16-19, 1985
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15975-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hughes | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Hughes Functional Programming Languages and Computer Architecture

    5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54396-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Paul | The Complexity of Simple Computer Architectures | Buch | Sack Fachmedien

    Müller / Paul The Complexity of Simple Computer Architectures

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60580-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iacono / Scarpa / Barbierato | Computer Performance Engineering and Stochastic Modelling | Buch | Sack Fachmedien

    Iacono / Scarpa / Barbierato Computer Performance Engineering and Stochastic Modelling

    19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43184-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahn | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Kahn Functional Programming Languages and Computer Architecture

    Portland, Oregon, USA, September 14-16, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18317-4
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orailoglu / Jung / Reichenbach | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Orailoglu / Jung / Reichenbach Embedded Computer Systems: Architectures, Modeling, and Simulation

    21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-04579-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovic / Dimopoulos / Wong | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Berekovic / Dimopoulos / Wong Embedded Computer Systems: Architectures, Modeling, and Simulation

    8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70549-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silvano / Pilato / Reichenbach | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Silvano / Pilato / Reichenbach Embedded Computer Systems: Architectures, Modeling, and Simulation

    23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-46076-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orailoglu / Reichenbach / Jung | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Orailoglu / Reichenbach / Jung Embedded Computer Systems: Architectures, Modeling, and Simulation

    22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15073-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orailoglu / Jung / Reichenbach | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Orailoglu / Jung / Reichenbach Embedded Computer Systems: Architectures, Modeling, and Simulation

    20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60938-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Osaki / Nishio | Reliability Evaluation of Some Fault-Tolerant Computer Architectures | Buch | Sack Fachmedien

    Osaki / Nishio Reliability Evaluation of Some Fault-Tolerant Computer Architectures

    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10274-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicosia / Ojha / La Malfa | Machine Learning, Optimization, and Data Science | Buch | Sack Fachmedien

    Nicosia / Ojha / La Malfa Machine Learning, Optimization, and Data Science

    9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-53968-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicosia / Ojha / La Malfa | Machine Learning, Optimization, and Data Science | Buch | Sack Fachmedien

    Nicosia / Ojha / La Malfa Machine Learning, Optimization, and Data Science

    9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-53965-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montello | Spatial Information Theory: Foundations of Geographic Information Science | Buch | Sack Fachmedien

    Montello Spatial Information Theory: Foundations of Geographic Information Science

    International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42613-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Worrell | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Kobayashi / Worrell Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-57227-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Worrell | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Kobayashi / Worrell Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-57230-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofmann | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Hofmann Foundations of Software Science and Computational Structures

    14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19804-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Murgante / Rocha | Computational Science and Its Applications - ICCSA 2023 Workshops | Buch | Sack Fachmedien

    Gervasi / Murgante / Rocha Computational Science and Its Applications - ICCSA 2023 Workshops

    Athens, Greece, July 3-6, 2023, Proceedings, Part IX
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37128-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Murgante / Rocha | Computational Science and Its Applications - ICCSA 2023 Workshops | Buch | Sack Fachmedien

    Gervasi / Murgante / Rocha Computational Science and Its Applications - ICCSA 2023 Workshops

    Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37125-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Kleine Büning / Richter | CSL'88 | Buch | Sack Fachmedien

    Börger / Kleine Büning / Richter CSL'88

    2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Kleine Büning / Richter | CSL '87 | Buch | Sack Fachmedien

    Börger / Kleine Büning / Richter CSL '87

    1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50241-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cori / Wirsing | STACS 88 | Buch | Sack Fachmedien

    Cori / Wirsing STACS 88

    5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18834-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monien / Vidal-Naquet | STACS 86 | Buch | Sack Fachmedien

    Monien / Vidal-Naquet STACS 86

    3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16078-6
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frankel | Financial Cryptography | Buch | Sack Fachmedien

    Frankel Financial Cryptography

    4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42700-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knuth | MMIXware | Buch | Sack Fachmedien

    Knuth MMIXware

    A RISC Computer for the Third Millennium
    1999
    Verlag: Springer
    ISBN: 978-3-540-66938-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Endler / Schmidt | Middleware 2003 | Buch | Sack Fachmedien

    Endler / Schmidt Middleware 2003

    ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40317-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamb | Studies of Software Design | Buch | Sack Fachmedien

    Lamb Studies of Software Design

    ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61285-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eijck | Logics in AI | Buch | Sack Fachmedien

    Eijck Logics in AI

    European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53686-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pedreschi / Zaniolo | Logic in Databases | Buch | Sack Fachmedien

    Pedreschi / Zaniolo Logic in Databases

    International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61814-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rojas / Joya / Catala | Advances in Computational Intelligence | Buch | Sack Fachmedien

    Rojas / Joya / Catala Advances in Computational Intelligence

    17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43077-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Current Trends in Concurrency | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Current Trends in Concurrency

    Overviews and Tutorials
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16488-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Trends in Functional Programming | Buch | Sack Fachmedien

    Chang Trends in Functional Programming

    24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38937-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rojas / Joya / Catala | Advances in Computational Intelligence | Buch | Sack Fachmedien

    Rojas / Joya / Catala Advances in Computational Intelligence

    17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43084-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beech / Gram / Kugler | Concepts in User Interfaces | Buch | Sack Fachmedien

    Beech / Gram / Kugler Concepts in User Interfaces

    A Reference Model for Command and Response Languages
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16791-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Constraints in Computational Logics | Buch | Sack Fachmedien

    Jouannaud Constraints in Computational Logics

    First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58403-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1988 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1988

    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50580-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ambler / Calo / Kar | Services Management in Intelligent Networks | Buch | Sack Fachmedien

    Ambler / Calo / Kar Services Management in Intelligent Networks

    11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41427-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiper / Shvartsman / Weatherspoon | Future Directions in Distributed Computing | Buch | Sack Fachmedien

    Schiper / Shvartsman / Weatherspoon Future Directions in Distributed Computing

    Research and Position Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00912-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pang / Niehren | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Pang / Niehren Computational Methods in Systems Biology

    21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42696-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1993 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1993

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56689-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gunter / Felty | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Gunter / Felty Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jagatheesan / Levandoski / Neumann | In Memory Data Management and Analysis | Buch | Sack Fachmedien

    Jagatheesan / Levandoski / Neumann In Memory Data Management and Analysis

    First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-13959-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1992 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1992

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55610-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carreno / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Carreno / Munoz / Tahar Theorem Proving in Higher Order Logics

    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44039-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mulkers | Live Data Structures in Logic Programs | Buch | Sack Fachmedien

    Mulkers Live Data Structures in Logic Programs

    Derivation by Means of Abstract Interpretation
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56694-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grundy / Newey | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Grundy / Newey Theorem Proving in Higher Order Logics

    11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64987-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli / Reggio | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Cerioli / Reggio Recent Trends in Algebraic Development Techniques

    15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
    2002
    Verlag: Springer
    ISBN: 978-3-540-43159-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slind / Bunker / Gopalakrishnan | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Slind / Bunker / Gopalakrishnan Theorem Proving in Higher Order Logics

    17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23017-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aagaard / Harrison | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Aagaard / Harrison Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67863-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon / Marche / Treinen | Constraints in Computational Logics: Theory and Applications | Buch | Sack Fachmedien

    Comon / Marche / Treinen Constraints in Computational Logics: Theory and Applications

    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41950-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hurd / Melham | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Hurd / Melham Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28372-0
    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