Ergebnisse filtern
Fachgebiet
Medium
  • 1866
  • 7
  • 3
Erscheinungsjahr
  • 7
  • 9
  • 19
  • 13
  • 18
  • 18
  • 25
  • 36
  • 18
  • 38
  • 25
  • 44
  • 31
  • 41
  • 30
  • 104
  • 44
  • 78
  • 159
  • 129
  • 147
  • 116
  • 116
  • 82
  • 76
  • 66
  • 47
  • 45
  • 38
  • 38
  • 36
  • 29
  • 31
  • 18
  • 33
  • 14
  • 19
  • 9
  • 9
  • 7
  • 4
  • 1
  • 4
  • 2
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 13
  • 7
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 15
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 7
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 16
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 6
  • 16
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
Verlag
  • 1
  • 2
  • 3
  • 3
  • 3
  • 9
  • 1
  • 22
  • 1
  • 2
  • 6
  • 1
  • 3
  • 1
  • 3
  • 1
  • 4
  • 4
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1625
  • 13
  • 7
  • 1
  • 22
  • 63
  • 19
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 14
  • 2
Preis
  • 2
  • 47
  • 1133
  • 694
Sprachen
  • 1865
  • 10
  • 2
Verfügbarkeit
  • 1871
  • 5
Katalog
  • 1876
  • 115
1.876  Treffer  für „Design“
    Madarász / Székely | Hajnal Andréka and István Németi on Unity of Science | Buch | Sack Fachmedien

    Madarász / Székely Hajnal Andréka and István Németi on Unity of Science

    From Computing to Relativity Theory Through Algebraic Logic
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-64189-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Counsell / Núñez | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Counsell / Núñez Software Engineering and Formal Methods

    SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-05031-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budach / Bukharajev / Lupanov | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Budach / Bukharajev / Lupanov Fundamentals of Computation Theory

    International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18740-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerhard | Modular Algorithms in Symbolic Summation and Symbolic Integration | Buch | Sack Fachmedien

    Gerhard Modular Algorithms in Symbolic Summation and Symbolic Integration

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24061-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Villa / Yevtushenko / Brayton | The Unknown Component Problem | Buch | Sack Fachmedien

    Villa / Yevtushenko / Brayton The Unknown Component Problem

    Theory and Applications
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-0-387-34532-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sanchez / Tomassini | Towards Evolvable Hardware | Buch | Sack Fachmedien

    Sanchez / Tomassini Towards Evolvable Hardware

    The Evolutionary Engineering Approach
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61093-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khosrovshahi / Shokoufandeh / Shokrollahi | Theoretical Aspects of Computer Science | Buch | Sack Fachmedien

    Khosrovshahi / Shokoufandeh / Shokrollahi Theoretical Aspects of Computer Science

    Advanced Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43328-6
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Egecioglu / Egecioglu / Garsia | Lessons in Enumerative Combinatorics | Buch | Sack Fachmedien

    Egecioglu / Egecioglu / Garsia Lessons in Enumerative Combinatorics

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-71249-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonsangue / Johnsen | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems

    9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72919-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / van der Aalst / Balbo | Transactions on Petri Nets and Other Models of Concurrency VII | Buch | Sack Fachmedien

    Jensen / van der Aalst / Balbo Transactions on Petri Nets and Other Models of Concurrency VII

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38142-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / Podelski | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems

    10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21299-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weber / Simons / Lafontaine | The Generic Development Language Deva | Buch | Sack Fachmedien

    Weber / Simons / Lafontaine The Generic Development Language Deva

    Presentation and Case Studies
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahlswede / Bäumer / Cai | General Theory of Information Transfer and Combinatorics | Buch | Sack Fachmedien

    Ahlswede / Bäumer / Cai General Theory of Information Transfer and Combinatorics

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46244-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adamatzky | Reaction-Diffusion Automata: Phenomenology, Localisations, Computation | Buch | Sack Fachmedien

    Adamatzky Reaction-Diffusion Automata: Phenomenology, Localisations, Computation

    2013
    Verlag: Springer
    ISBN: 978-3-642-43572-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kreinovich / Lakeyev / Rohn | Computational Complexity and Feasibility of Data Processing and Interval Computations | Buch | Sack Fachmedien

    Kreinovich / Lakeyev / Rohn Computational Complexity and Feasibility of Data Processing and Interval Computations

    1. Auflage. Softcover version of original hardcover Auflage 1998
    Verlag: Springer
    ISBN: 978-1-4419-4785-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Margraf / Mastrolilli | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Jansen / Margraf / Mastrolilli Experimental and Efficient Algorithms

    Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40205-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manea / Miller / Nowotka | Sailing Routes in the World of Computation | Buch | Sack Fachmedien

    Manea / Miller / Nowotka Sailing Routes in the World of Computation

    14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94417-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eigenmann / Voss | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Eigenmann / Voss OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nash | Compact Numerical Methods for Computers | Buch | Sack Fachmedien

    Nash Compact Numerical Methods for Computers

    Linear Algebra and Function Minimisation
    2. Auflage 1990
    Verlag: Routledge
    ISBN: 978-0-85274-319-5
    Medium: Buch
    72,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arai | Ordinal Analysis with an Introduction to Proof Theory | Buch | Sack Fachmedien

    Arai Ordinal Analysis with an Introduction to Proof Theory

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-981-15-6461-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Euzenat / Domingue | Artificial Intelligence: Methodology, Systems, and Applications | Buch | Sack Fachmedien

    Euzenat / Domingue Artificial Intelligence: Methodology, Systems, and Applications

    12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-40930-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McCune / Padmanabhan | Automated Deduction in Equational Logic and Cubic Curves | Buch | Sack Fachmedien

    McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61398-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Wong | Computing and Combinatorics | Buch | Sack Fachmedien

    Cai / Wong Computing and Combinatorics

    Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61332-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blundo / Cimato | Security in Communication Networks | Buch | Sack Fachmedien

    Blundo / Cimato Security in Communication Networks

    4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24301-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chee / Li / Ling | Coding and Cryptology | Buch | Sack Fachmedien

    Chee / Li / Ling Coding and Cryptology

    Second International Workshop, IWCC 2009
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01813-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meduna / Zemek | Regulated Grammars and Automata | Buch | Sack Fachmedien

    Meduna / Zemek Regulated Grammars and Automata

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-1-4939-0368-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan | Cryptanalytic Attacks on RSA | Buch | Sack Fachmedien

    Yan Cryptanalytic Attacks on RSA

    Softcover Nachdruck of hardcover 1. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4419-4310-1
    Medium: Buch
    112,34 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler | Formal System Verification | Buch | Sack Fachmedien

    Drechsler Formal System Verification

    State-of the-Art and Future Trends
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Birkhäuser
    ISBN: 978-3-319-86223-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knebl | Algorithmen und Datenstrukturen | Buch | Sack Fachmedien

    Knebl Algorithmen und Datenstrukturen

    Grundlagen und probabilistische Methoden für den Entwurf und die Analyse
    2. aktualisierte Auflage 2021
    Verlag: Springer
    ISBN: 978-3-658-32713-2
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Egecioglu / Garsia | Lessons in Enumerative Combinatorics | Buch | Sack Fachmedien

    Egecioglu / Garsia Lessons in Enumerative Combinatorics

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-71252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ning | Security for Wireless Sensor Networks | Buch | Sack Fachmedien

    Liu / Ning Security for Wireless Sensor Networks

    2007. Auflage 2006
    Verlag: Springer Us
    ISBN: 978-0-387-32723-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Kreinovich / Lakeyev / Rohn | Computational Complexity and Feasibility of Data Processing and Interval Computations | Buch | Sack Fachmedien

    Kreinovich / Lakeyev / Rohn Computational Complexity and Feasibility of Data Processing and Interval Computations

    1998
    Verlag: Springer US
    ISBN: 978-0-7923-4865-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fountain | Semigroups, Formal Languages and Groups | Buch | Sack Fachmedien

    Fountain Semigroups, Formal Languages and Groups

    1995
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-3540-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen | Progress on Cryptography | Buch | Sack Fachmedien

    Chen Progress on Cryptography

    25 Years of Cryptography in China
    2004. Auflage 2004
    Verlag: Springer Us
    ISBN: 978-1-4020-7986-3
    Medium: Buch
    106,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Li / Wang | Artificial Intelligence Applications and Innovations II | Buch | Sack Fachmedien

    Li / Wang Artificial Intelligence Applications and Innovations II

    Ifip Tc12 and Wg12.5 - Second Ifip Conference on Artificial Intelligence Applications and Innovations (Aiai-2005), Sept. 7-9, 2005, Beijing, China
    2005. Auflage 2005
    Verlag: Springer Us
    ISBN: 978-0-387-28318-0
    Medium: Buch
    213,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Liu / Ning | Security for Wireless Sensor Networks | Buch | Sack Fachmedien

    Liu / Ning Security for Wireless Sensor Networks

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer US
    ISBN: 978-1-4419-4098-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higuchi / Yao | Evolvable Hardware | Buch | Sack Fachmedien

    Higuchi / Yao Evolvable Hardware

    2006. Auflage 2006
    Verlag: Springer Us
    ISBN: 978-0-387-24386-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Villa / Yevtushenko / Brayton | The Unknown Component Problem | Buch | Sack Fachmedien

    Villa / Yevtushenko / Brayton The Unknown Component Problem

    Theory and Applications
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-1-4899-7394-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maragria / Steffen | Leveraging Applications of Formal Methods | Buch | Sack Fachmedien

    Maragria / Steffen Leveraging Applications of Formal Methods

    First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48928-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jain / Sood / Paul | Advances in Computational Intelligence Techniques | Buch | Sack Fachmedien

    Jain / Sood / Paul Advances in Computational Intelligence Techniques

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-981-15-2622-0
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martí-Oliet / Palomino | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Martí-Oliet / Palomino Recent Trends in Algebraic Development Techniques

    21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37634-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pei / Yung / Lin | Information Security and Cryptology | Buch | Sack Fachmedien

    Pei / Yung / Lin Information Security and Cryptology

    Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79498-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harper | Types in Compilation | Buch | Sack Fachmedien

    Harper Types in Compilation

    Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42196-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gagniuc | Coding Examples from Simple to Complex | Buch | Sack Fachmedien

    Gagniuc Coding Examples from Simple to Complex

    Applications in MATLAB®
    2024
    Verlag: Springer
    ISBN: 978-3-031-53804-9
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poli / Nordin / Langdon | Genetic Programming | Buch | Sack Fachmedien

    Poli / Nordin / Langdon Genetic Programming

    Second European Workshop, EuroGP'99, Göteborg, Sweden, May 26-27, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65899-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shyamasundar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Shyamasundar Foundations of Software Technology and Theoretical Computer Science

    12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-56287-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hildebrandt / Ravara / van der Werf | Web Services, Formal Methods, and Behavioral Types | Buch | Sack Fachmedien

    Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types

    11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33611-4
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tixeuil / Herman | Self-Stabilizing Systems | Buch | Sack Fachmedien

    Tixeuil / Herman Self-Stabilizing Systems

    7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29814-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Aalst | Transactions on Petri Nets and Other Models of Concurrency II | Buch | Sack Fachmedien

    van der Aalst Transactions on Petri Nets and Other Models of Concurrency II

    Special Issue on Concurrency in Process-Aware Information Systems
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00898-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleine Büning / Zhao | Theory and Applications of Satisfiability Testing - SAT 2008 | Buch | Sack Fachmedien

    Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008

    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arai | Ordinal Analysis with an Introduction to Proof Theory | Buch | Sack Fachmedien

    Arai Ordinal Analysis with an Introduction to Proof Theory

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-981-15-6458-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benson / Page | Algorithms in Bioinformatics | Buch | Sack Fachmedien

    Benson / Page Algorithms in Bioinformatics

    Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20076-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibarra / Dang | Implementation and Application of Automata | Buch | Sack Fachmedien

    Ibarra / Dang Implementation and Application of Automata

    8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40561-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Eijk / Huget / Dignum | Agent Communication | Buch | Sack Fachmedien

    van Eijk / Huget / Dignum Agent Communication

    International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25015-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Turjman | Real-Time Intelligence for Heterogeneous Networks | Buch | Sack Fachmedien

    Al-Turjman Real-Time Intelligence for Heterogeneous Networks

    Applications, Challenges, and Scenarios in IoT HetNets
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-75616-1
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mundici | Logic: a Brief Course | Buch | Sack Fachmedien

    Mundici Logic: a Brief Course

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-88-470-2360-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Jha / Mavridou | NASA Formal Methods | Buch | Sack Fachmedien

    Lee / Jha / Mavridou NASA Formal Methods

    12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-55753-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Hähnle / Schmitt | Verification of Object-Oriented Software. The KeY Approach | Buch | Sack Fachmedien

    Beckert / Hähnle / Schmitt Verification of Object-Oriented Software. The KeY Approach

    Foreword by K. Rustan M. Leino
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-68977-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pelc / Raynal | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Pelc / Raynal Structural Information and Communication Complexity

    12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26052-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nait Abdallah | The Logic of Partial Information | Buch | Sack Fachmedien

    Nait Abdallah The Logic of Partial Information

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-78162-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cramer | Public Key Cryptography - PKC 2008 | Buch | Sack Fachmedien

    Cramer Public Key Cryptography - PKC 2008

    11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-78439-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poulakis / Rahonis | Algebraic Informatics | Buch | Sack Fachmedien

    Poulakis / Rahonis Algebraic Informatics

    9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19684-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Turjman | Real-Time Intelligence for Heterogeneous Networks | Buch | Sack Fachmedien

    Al-Turjman Real-Time Intelligence for Heterogeneous Networks

    Applications, Challenges, and Scenarios in IoT HetNets
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-75613-0
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johansson | Fast Software Encryption | Buch | Sack Fachmedien

    Johansson Fast Software Encryption

    10th International Workshop, FSE 2003, LUND, Sweden, February 24-26, 2003, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20449-7
    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
    Xu / Ruan / Qin | Lattice-Valued Logic | Buch | Sack Fachmedien

    Xu / Ruan / Qin Lattice-Valued Logic

    An Alternative Approach to Treat Fuzziness and Incomparability
    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-07279-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frintrop | VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search | Buch | Sack Fachmedien

    Frintrop VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32759-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Pagnoni / Rammig | Biologically-Inspired Collaborative Computing | Buch | Sack Fachmedien

    Hinchey / Pagnoni / Rammig Biologically-Inspired Collaborative Computing

    IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-0-387-09654-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ivanov | Model Development and Optimization | Buch | Sack Fachmedien

    Ivanov Model Development and Optimization

    1999. Auflage 1999
    Verlag: Springer Us
    ISBN: 978-0-7923-5610-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Paoli | Substructural Logics: A Primer | Buch | Sack Fachmedien

    Paoli Substructural Logics: A Primer

    2002. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4020-0605-0
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Colmenarez / Xiong / Huang | Facial Analysis from Continuous Video with Applications to Human-Computer Interface | Buch | Sack Fachmedien

    Colmenarez / Xiong / Huang Facial Analysis from Continuous Video with Applications to Human-Computer Interface

    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-1-4020-7802-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rendell | Turing Machine Universality of the Game of Life | Buch | Sack Fachmedien

    Rendell Turing Machine Universality of the Game of Life

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-37044-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atzeni / Lioy | Public Key Infrastructure | Buch | Sack Fachmedien

    Atzeni / Lioy Public Key Infrastructure

    Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35151-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek | Proofs and Algorithms | Buch | Sack Fachmedien

    Dowek Proofs and Algorithms

    An Introduction to Logic and Computability
    2011. Auflage 2011
    Verlag: Springer
    ISBN: 978-0-85729-120-2
    Medium: Buch
    37,40 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Pardalos | Mathematical Theory of Optimization | Buch | Sack Fachmedien

    Pardalos Mathematical Theory of Optimization

    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-1-4020-0015-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Soulat | The Inverse Method | Buch | Sack Fachmedien

    André / Soulat The Inverse Method

    Parametric Verification of Real-Time Unbedded Systems
    1. Auflage 2013
    Verlag: Wiley
    ISBN: 978-1-84821-447-7
    Medium: Buch
    164,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

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