Ergebnisse filtern
Fachgebiet
Medium
  • 4827
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 24
  • 67
  • 54
  • 50
  • 69
  • 117
  • 136
  • 99
  • 136
  • 91
  • 142
  • 104
  • 144
  • 107
  • 249
  • 92
  • 174
  • 339
  • 310
  • 320
  • 239
  • 245
  • 223
  • 198
  • 145
  • 119
  • 109
  • 101
  • 87
  • 91
  • 81
  • 58
  • 58
  • 64
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 17
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 5
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 3
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 10
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 18
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 3
  • 3
  • 8
  • 3
  • 9
  • 4
  • 6
  • 7
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 51
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 19
  • 4
  • 3
  • 7
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 9
  • 4
  • 6
  • 8
  • 6
  • 3
  • 3
  • 11
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4
  • 3
  • 3
  • 9
  • 5
  • 4
  • 11
  • 1
  • 1
  • 2
  • 21
  • 4
  • 1
  • 1
  • 10
  • 41
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 2
  • 1
  • 2
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 8
  • 1
  • 7
  • 1
  • 3
  • 4
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1131
  • 2167
  • 1
  • 659
  • 1
  • 6
  • 3
  • 102
  • 73
  • 127
  • 2
  • 223
  • 8
  • 39
  • 3
  • 2
  • 1
  • 6
  • 7
  • 4
  • 3
  • 1
  • 36
  • 2
  • 27
  • 1
  • 1
  • 2
Preis
  • 15
  • 211
  • 2994
  • 1642
Sprachen
  • 4719
  • 139
  • 13
Verfügbarkeit
  • 4840
  • 22
Katalog
  • 4862
  • 212
4.862  Titel
    Weingartner | Alternative Logics. Do Sciences Need Them? | Buch | Sack Fachmedien

    Weingartner Alternative Logics. Do Sciences Need Them?

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40744-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutrib / Holzer | Implementation and Application of Automata | Buch | Sack Fachmedien

    Kutrib / Holzer Implementation and Application of Automata

    19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08845-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradfield | Computer Science Logic | Buch | Sack Fachmedien

    Bradfield Computer Science Logic

    16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44240-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guttman / Pavlovic / Landwehr | Foundations of Security, Protocols, and Equational Reasoning | Buch | Sack Fachmedien

    Guttman / Pavlovic / Landwehr Foundations of Security, Protocols, and Equational Reasoning

    Essays Dedicated to Catherine A. Meadows
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-19051-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonnans / Sagastizábal / Gilbert | Numerical Optimization | Buch | Sack Fachmedien

    Bonnans / Sagastizábal / Gilbert Numerical Optimization

    Theoretical and Practical Aspects
    2. Auflage 2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35445-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonato / Pralat / Graham | Algorithms and Models for the Web Graph | Buch | Sack Fachmedien

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

    11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13122-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Storer | An Introduction to Data Structures and Algorithms | Buch | Sack Fachmedien

    Storer An Introduction to Data Structures and Algorithms

    2002. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-8176-4253-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Li | Simulated Evolution and Learning | Buch | Sack Fachmedien

    Wang / Li Simulated Evolution and Learning

    6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-47331-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Núnez / Maamar / Rubio | Applying Formal Methods: Testing, Performance, and M/E-Commerce | Buch | Sack Fachmedien

    Núnez / Maamar / Rubio Applying Formal Methods: Testing, Performance, and M/E-Commerce

    FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Queiroz / Leivant | Logic, Language, Information and Computation | Buch | Sack Fachmedien

    de Queiroz / Leivant Logic, Language, Information and Computation

    14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73443-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bishop | Component Deployment | Buch | Sack Fachmedien

    Bishop Component Deployment

    IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43847-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capello / Dongarra / Herault | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Capello / Dongarra / Herault Recent Advances in Parallel Virtual Machine and Message Passing Interface

    14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75415-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rolim / Ferreira | Parallel Algorithms for Irregular Problems: State of the Art | Buch | Sack Fachmedien

    Rolim / Ferreira Parallel Algorithms for Irregular Problems: State of the Art

    1. Auflage. Softcover version of original hardcover Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4419-4747-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nishizeki / Saito | Graph Theory and Algorithms | Buch | Sack Fachmedien

    Nishizeki / Saito Graph Theory and Algorithms

    17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10704-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Unger / Mikler / Boehme | Innovative Internet Computing Systems | Buch | Sack Fachmedien

    Unger / Mikler / Boehme Innovative Internet Computing Systems

    Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43790-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thuraisingham / Tari / van de Riet | Data and Application Security | Buch | Sack Fachmedien

    Thuraisingham / Tari / van de Riet Data and Application Security

    Developments and Directions
    2001
    Verlag: Springer US
    ISBN: 978-0-7923-7514-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowman / Gomez | Concurrency Theory | Buch | Sack Fachmedien

    Bowman / Gomez Concurrency Theory

    Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84996-951-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boyle / Möller / Parvin | Advances in Visual Computing | Buch | Sack Fachmedien

    Boyle / Möller / Parvin Advances in Visual Computing

    Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76857-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schreck / Narboux / Richter-Gebert | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Schreck / Narboux / Richter-Gebert Automated Deduction in Geometry

    8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
    2011
    Verlag: Springer
    ISBN: 978-3-642-25069-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta / Gabbay | A New Perspective on Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta / Gabbay A New Perspective on Nonmonotonic Logics

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46815-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murawski / Esparza | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Murawski / Esparza Foundations of Software Science and Computation Structures

    20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54457-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morik / Siebes / Boulicaut | Local Pattern Detection | Buch | Sack Fachmedien

    Morik / Siebes / Boulicaut Local Pattern Detection

    International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26543-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno / Cosp / Madrenas | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Moreno / Cosp / Madrenas Evolvable Systems: From Biology to Hardware

    6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28736-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmid | Inductive Synthesis of Functional Programs | Buch | Sack Fachmedien

    Schmid Inductive Synthesis of Functional Programs

    Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40174-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    den Hertog | Interior Point Approach to Linear, Quadratic and Convex Programming | Buch | Sack Fachmedien

    den Hertog Interior Point Approach to Linear, Quadratic and Convex Programming

    Algorithms and Complexity
    1994
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-2734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coppo / Pinna / Lodi | Theoretical Computer Science | Buch | Sack Fachmedien

    Coppo / Pinna / Lodi Theoretical Computer Science

    9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29106-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levene | The Nested Universal Relation Database Model | Buch | Sack Fachmedien

    Levene The Nested Universal Relation Database Model

    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55493-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chekuri / Trevisan / Jansen | Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Chekuri / Trevisan / Jansen Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques

    8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28239-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sokolsky / Hung | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Sokolsky / Hung Automated Technology for Verification and Analysis

    18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19¿23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59151-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coello Coello / Battistutti / Albornoz | MICAI 2002: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Coello Coello / Battistutti / Albornoz MICAI 2002: Advances in Artificial Intelligence

    Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43475-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1991 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1991

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54398-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Wasniewski / Margenov | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Wasniewski / Margenov Large-Scale Scientific Computing

    6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78825-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boccara / Picco / Goles | Cellular Automata and Cooperative Systems | Buch | Sack Fachmedien

    Boccara / Picco / Goles Cellular Automata and Cooperative Systems

    1993
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-2272-6
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plasil / Grosky | SOFSEM 2002: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Plasil / Grosky SOFSEM 2002: Theory and Practice of Informatics

    29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00145-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meineche Schmidt / Penttonen | Algorithm Theory - SWAT 2002 | Buch | Sack Fachmedien

    Meineche Schmidt / Penttonen Algorithm Theory - SWAT 2002

    8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43866-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scholl | Functional Decomposition with Applications to FPGA Synthesis | Buch | Sack Fachmedien

    Scholl Functional Decomposition with Applications to FPGA Synthesis

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4419-4929-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ng / Leong / Kan | Information Retrieval Technology | Buch | Sack Fachmedien

    Ng / Leong / Kan Information Retrieval Technology

    Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-45780-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dai | Learn Java with Math | Buch | Sack Fachmedien

    Dai Learn Java with Math

    Using Fun Projects and Games
    1. Auflage 2019
    Verlag: Apress
    ISBN: 978-1-4842-5208-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Test und Testbarkeit digitaler Schaltungen | Buch | Sack Fachmedien

    Test und Testbarkeit digitaler Schaltungen

    1988
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02263-3
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42314-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonoska / Durand-Lose | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Jonoska / Durand-Lose Unconventional Computation and Natural Computation

    11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-32893-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic / Widmayer | Stochastic Algorithms: Foundations and Applications | Buch | Sack Fachmedien

    Hromkovic / Hromkovic / Widmayer Stochastic Algorithms: Foundations and Applications

    4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74870-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbez / Birta | Modelling and Simulation | Buch | Sack Fachmedien

    Arbez / Birta Modelling and Simulation

    Exploring Dynamic System Behaviour
    3rd Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-18868-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simone / Sangiorgi | CONCUR '98 Concurrency Theory | Buch | Sack Fachmedien

    Simone / Sangiorgi CONCUR '98 Concurrency Theory

    9th International Conference, Nice, France, September 8-11, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64896-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Betten / Fripertinger / Zimmermann | Codierungstheorie | Buch | Sack Fachmedien

    Betten / Fripertinger / Zimmermann Codierungstheorie

    Konstruktion und Anwendung linearer Codes
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64502-3
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Möhring | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Möhring Graph-Theoretic Concepts in Computer Science

    23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63757-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freund / Paun / Rozenberg | Membrane Computing | Buch | Sack Fachmedien

    Freund / Paun / Rozenberg Membrane Computing

    6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-30948-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goble / Meyer | Deontic Logic and Artificial Normative Systems | Buch | Sack Fachmedien

    Goble / Meyer Deontic Logic and Artificial Normative Systems

    8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-35842-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thiagarajan / Donatelli | Petri Nets and Other Models of Concurrency - ICATPN 2006 | Buch | Sack Fachmedien

    Thiagarajan / Donatelli Petri Nets and Other Models of Concurrency - ICATPN 2006

    27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34699-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuhn / Timpf / Worboys | Spatial Information Theory. Foundations of Geographic Information Science | Buch | Sack Fachmedien

    Kuhn / Timpf / Worboys Spatial Information Theory. Foundations of Geographic Information Science

    International Conference, COSIT 2003, Ittingen, Switzerland, September 24-28, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20148-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adam / Buša / Hnatic | Mathematical Modeling and Computational Science | Buch | Sack Fachmedien

    Adam / Buša / Hnatic Mathematical Modeling and Computational Science

    International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-28211-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srinathan / Yung / Pandu Rangan | Progress in Cryptology ¿ INDOCRYPT 2007 | Buch | Sack Fachmedien

    Srinathan / Yung / Pandu Rangan Progress in Cryptology ¿ INDOCRYPT 2007

    8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77025-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martino | Intuitionistic Proof Versus Classical Truth | Buch | Sack Fachmedien

    Martino Intuitionistic Proof Versus Classical Truth

    The Role of Brouwer¿s Creative Subject in Intuitionistic Mathematics
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74356-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerndt / Kranzlmüller | High Performance Computing and Communications | Buch | Sack Fachmedien

    Gerndt / Kranzlmüller High Performance Computing and Communications

    Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-39368-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spector / Simons | Fault-Tolerant Distributed Computing | Buch | Sack Fachmedien

    Spector / Simons Fault-Tolerant Distributed Computing

    1990
    Verlag: Springer
    ISBN: 978-0-387-97385-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sastry / Henzinger | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Sastry / Henzinger Hybrid Systems: Computation and Control

    First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64358-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foret / Pogodalla / Kobele | Formal Grammar 2018 | Buch | Sack Fachmedien

    Foret / Pogodalla / Kobele Formal Grammar 2018

    23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-57783-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levy / Kanchanasut | Algorithms, Concurrency and Knowledge | Buch | Sack Fachmedien

    Levy / Kanchanasut Algorithms, Concurrency and Knowledge

    1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60688-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aberer / Choi / Noy | The Semantic Web | Buch | Sack Fachmedien

    Aberer / Choi / Noy The Semantic Web

    6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-76297-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Rajsbaum / Brasileiro | Dependable Computing | Buch | Sack Fachmedien

    Bondavalli / Rajsbaum / Brasileiro Dependable Computing

    Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75293-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butterfield / Huch / Grelck | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Butterfield / Huch / Grelck Implementation and Application of Functional Languages

    17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69174-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adriaans / Zaanen / Fernau | Grammatical Inference: Algorithms and Applications | Buch | Sack Fachmedien

    Adriaans / Zaanen / Fernau Grammatical Inference: Algorithms and Applications

    6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44239-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Agent-Based Hybrid Intelligent Systems | Buch | Sack Fachmedien

    Zhang Agent-Based Hybrid Intelligent Systems

    An Agent-Based Framework for Complex Problem Solving
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20908-9
    Medium: Buch
    80,24 € (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
    2006
    Verlag: Springer
    ISBN: 978-3-540-33056-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ho / Basu | Data Complexity in Pattern Recognition | Buch | Sack Fachmedien

    Ho / Basu Data Complexity in Pattern Recognition

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84996-557-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parent / Schewe / Storey | Conceptual Modeling - ER 2007 | Buch | Sack Fachmedien

    Parent / Schewe / Storey Conceptual Modeling - ER 2007

    26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-75562-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramalho / Bittencourt | Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Ramalho / Bittencourt Advances in Artificial Intelligence

    16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00124-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shyamasundar / Joseph | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Shyamasundar / Joseph Foundations of Software Technology and Theoretical Computer Science

    Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
    1984
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-13883-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Hurd | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Melham / Hurd Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

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

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Supinski / Eigenmann | OpenMP in a New Era of Parallelism | Buch | Sack Fachmedien

    de Supinski / Eigenmann OpenMP in a New Era of Parallelism

    4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79560-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Selman | Structure in Complexity Theory | Buch | Sack Fachmedien

    Selman Structure in Complexity Theory

    Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16486-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovacs | Strength or Accuracy: Credit Assignment in Learning Classifier Systems | Buch | Sack Fachmedien

    Kovacs Strength or Accuracy: Credit Assignment in Learning Classifier Systems

    1. Auflage. 2004
    Verlag: Springer
    ISBN: 978-1-85233-770-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Yin / Tino | Intelligent Data Engineering and Automated Learning - IDEAL 2007 | Buch | Sack Fachmedien

    Yao / Yin / Tino Intelligent Data Engineering and Automated Learning - IDEAL 2007

    8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-77225-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fülöp / Ésik | Developments in Language Theory | Buch | Sack Fachmedien

    Fülöp / Ésik Developments in Language Theory

    7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40434-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fenstad | Structures and Algorithms | Buch | Sack Fachmedien

    Fenstad Structures and Algorithms

    Mathematics and the Nature of Knowledge
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-10294-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mogensen / Sudborough / Schmidt | The Essence of Computation | Buch | Sack Fachmedien

    Mogensen / Sudborough / Schmidt The Essence of Computation

    Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00326-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plump / de Lara | Graph Transformation | Buch | Sack Fachmedien

    Plump / de Lara Graph Transformation

    10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61469-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiener | Advances in Cryptology - CRYPTO '99 | Buch | Sack Fachmedien

    Wiener Advances in Cryptology - CRYPTO '99

    19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66347-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vanderperren / Lumpe | Software Composition | Buch | Sack Fachmedien

    Vanderperren / Lumpe Software Composition

    6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77350-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerone / Pihlajasaari | Theoretical Aspects of Computing -- ICTAC 2011 | Buch | Sack Fachmedien

    Cerone / Pihlajasaari Theoretical Aspects of Computing -- ICTAC 2011

    8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-23282-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bird / Woodcock / Morgan | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bird / Woodcock / Morgan Mathematics of Program Construction

    Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56625-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yung / Chae | Information Security Applications | Buch | Sack Fachmedien

    Yung / Chae Information Security Applications

    4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20827-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dal Lago / Baier | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Dal Lago / Baier Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14¿20, 2018. Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-89365-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Parigot | Logic for Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov / Parigot Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41285-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Erlebach | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Erlebach Approximation and Online Algorithms

    4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69513-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Privara / Ruzicka / Rovan | Mathematical Foundations of Computer Science 1994 | Buch | Sack Fachmedien

    Privara / Ruzicka / Rovan Mathematical Foundations of Computer Science 1994

    19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58338-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    2006
    Verlag: Springer
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Inoue / Yamamoto / Ohwada | Inductive Logic Programming | Buch | Sack Fachmedien

    Inoue / Yamamoto / Ohwada Inductive Logic Programming

    25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40565-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Damm | Computer Aided Verification | Buch | Sack Fachmedien

    Hermanns / Damm Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roman | Coding and Information Theory | Buch | Sack Fachmedien

    Roman Coding and Information Theory

    1992
    Verlag: Springer
    ISBN: 978-0-387-97812-3
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosin / Sun / Adamatzky | Cellular Automata in Image Processing and Geometry | Buch | Sack Fachmedien

    Rosin / Sun / Adamatzky Cellular Automata in Image Processing and Geometry

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35632-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leivant | Logic and Computational Complexity | Buch | Sack Fachmedien

    Leivant Logic and Computational Complexity

    International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60178-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Seghrouchni / Dastani | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Seghrouchni / Dastani Programming Multi-Agent Systems

    Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24559-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hao / Lutton / Snyers | Artificial Evolution | Buch | Sack Fachmedien

    Hao / Lutton / Snyers Artificial Evolution

    Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64169-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bongiovanni / Gambosi / Petreschi | Algorithms and Complexity | Buch | Sack Fachmedien

    Bongiovanni / Gambosi / Petreschi Algorithms and Complexity

    4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings
    2000
    Verlag: Springer
    ISBN: 978-3-540-67159-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fox / Biundo | Recent Advances in AI Planning | Buch | Sack Fachmedien

    Fox / Biundo Recent Advances in AI Planning

    5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67866-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lupanov / Kasim-Zade / Chaskin | Stochastic Algorithms: Foundations and Applications | Buch | Sack Fachmedien

    Lupanov / Kasim-Zade / Chaskin Stochastic Algorithms: Foundations and Applications

    Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
    2005
    Verlag: Springer
    ISBN: 978-3-540-29498-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Okamoto | Topics in Cryptology -- CT-RSA 2004 | Buch | Sack Fachmedien

    Okamoto Topics in Cryptology -- CT-RSA 2004

    The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20996-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strzalkowski | Reversible Grammar in Natural Language Processing | Buch | Sack Fachmedien

    Strzalkowski Reversible Grammar in Natural Language Processing

    1994
    Verlag: Springer US
    ISBN: 978-0-7923-9416-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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