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
    Bonuccelli / Petreschi / Crescenzi | Algorithms and Complexity | Buch | Sack Fachmedien

    Bonuccelli / Petreschi / Crescenzi Algorithms and Complexity

    Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57811-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pal | Advanced Techniques in Knowledge Discovery and Data Mining | Buch | Sack Fachmedien

    Pal Advanced Techniques in Knowledge Discovery and Data Mining

    2005
    Verlag: Springer
    ISBN: 978-1-4471-5752-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan / Krishnamurthi | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Ramakrishnan / Krishnamurthi Practical Aspects of Declarative Languages

    4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43092-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martínez / Adamatzky | Designing Beauty: The Art of Cellular Automata | Buch | Sack Fachmedien

    Martínez / Adamatzky Designing Beauty: The Art of Cellular Automata

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-80105-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grana / Duro / d'Anjou | Information Processing with Evolutionary Algorithms | Buch | Sack Fachmedien

    Grana / Duro / d'Anjou Information Processing with Evolutionary Algorithms

    From Industrial Applications to Academic Speculations
    2005. Auflage 2005
    Verlag: Springer Nature Singapore
    ISBN: 978-1-85233-866-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sassone / Montanari | CONCUR '96: Concurrency Theory | Buch | Sack Fachmedien

    Sassone / Montanari CONCUR '96: Concurrency Theory

    7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61604-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ceri / Tsur / Tanaka | Deductive and Object-Oriented Databases | Buch | Sack Fachmedien

    Ceri / Tsur / Tanaka Deductive and Object-Oriented Databases

    Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57530-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

    Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
    2012
    Verlag: Springer
    ISBN: 978-3-642-34031-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hong / Nishizeki / Quan | Graph Drawing | Buch | Sack Fachmedien

    Hong / Nishizeki / Quan Graph Drawing

    15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers
    2008
    Verlag: Springer
    ISBN: 978-3-540-77536-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tucci / Calzarossa | Performance Evaluation of Complex Systems: Techniques and Tools | Buch | Sack Fachmedien

    Tucci / Calzarossa Performance Evaluation of Complex Systems: Techniques and Tools

    Performance 2002. Tutorial Lectures
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44252-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kolaitis / Afrati | Database Theory - ICDT '97 | Buch | Sack Fachmedien

    Kolaitis / Afrati Database Theory - ICDT '97

    6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62222-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuich | Automata, Languages and Programming | Buch | Sack Fachmedien

    Kuich Automata, Languages and Programming

    19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55719-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Viola / Pardo | LATIN 2014: Theoretical Informatics | Buch | Sack Fachmedien

    Viola / Pardo LATIN 2014: Theoretical Informatics

    11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-642-54422-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahni / Shukla / Prasanna | High Performance Computing - HiPC 2002 | Buch | Sack Fachmedien

    Sahni / Shukla / Prasanna High Performance Computing - HiPC 2002

    9th International Conference Bangalore, India, December 18-21, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00303-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao / Chatterjee / Saha | Distributed Computing and Networking | Buch | Sack Fachmedien

    Rao / Chatterjee / Saha Distributed Computing and Networking

    9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77443-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Kaminski / Katz | Languages: From Formal to Natural | Buch | Sack Fachmedien

    Grumberg / Kaminski / Katz Languages: From Formal to Natural

    Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
    2009
    Verlag: Springer
    ISBN: 978-3-642-01747-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger Temporal Logic and State Systems

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67401-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuijk | Advances in Computer Graphics Hardware III | Buch | Sack Fachmedien

    Kuijk Advances in Computer Graphics Hardware III

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53488-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsudik / Jarecki | Public Key Cryptography - PKC 2009 | Buch | Sack Fachmedien

    Tsudik / Jarecki Public Key Cryptography - PKC 2009

    12th International Conference on Practice and Theory in Public Key Cryptography Irvine, CA, USA, March 18-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00467-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloch / Petrosino / Tettamanzi | Fuzzy Logic and Applications | Buch | Sack Fachmedien

    Bloch / Petrosino / Tettamanzi Fuzzy Logic and Applications

    6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-32529-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ruston / Peiris | How to Cheat at Designing Security for a Windows Server 2003 Network | Buch | Sack Fachmedien

    Ruston / Peiris How to Cheat at Designing Security for a Windows Server 2003 Network

    Erscheinungsjahr 2005
    Verlag: SYNGRESS MEDIA
    ISBN: 978-1-59749-243-0
    Medium: Buch
    43,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Byrski / Kisiel-Dorohinicki / Oplatková | Advances in Intelligent Modelling and Simulation | Buch | Sack Fachmedien

    Byrski / Kisiel-Dorohinicki / Oplatková Advances in Intelligent Modelling and Simulation

    Simulation Tools and Applications
    2012
    Verlag: Springer
    ISBN: 978-3-642-28887-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monniaux / Bouajjani | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Monniaux / Bouajjani Verification, Model Checking, and Abstract Interpretation

    18th International Conference, VMCAI 2017, Paris, France, January 15¿17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-52233-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Nivat Foundations of Software Science and Computation Structures

    First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64300-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Câmpeanu / Pighizzini | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Câmpeanu / Pighizzini Descriptional Complexity of Formal Systems

    19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-60251-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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