Ergebnisse filtern
Fachgebiet
Medium
  • 1314
  • 30
Erscheinungsjahr
  • 1
  • 3
  • 10
  • 4
  • 1
  • 7
  • 13
  • 5
  • 6
  • 6
  • 9
  • 17
  • 17
  • 12
  • 18
  • 16
  • 64
  • 27
  • 41
  • 85
  • 72
  • 99
  • 118
  • 81
  • 62
  • 74
  • 56
  • 60
  • 29
  • 32
  • 42
  • 38
  • 37
  • 26
  • 20
  • 39
  • 21
  • 22
  • 12
  • 9
  • 6
  • 5
  • 5
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 5
  • 2
  • 3
Verlag
  • 135
  • 2
  • 13
  • 1
  • 2
  • 52
  • 4
  • 2
  • 6
  • 1
  • 7
  • 6
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 6
  • 1
  • 1
  • 1
  • 922
  • 10
  • 2
  • 5
  • 14
  • 31
  • 30
  • 3
  • 1
  • 6
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 4
  • 34
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
Preis
  • 12
  • 191
  • 805
  • 336
Sprachen
  • 1184
  • 158
  • 2
Verfügbarkeit
  • 1330
  • 14
Eigenschaften
  • 1
Katalog
  • 1344
  • 51
1.344  Titel
    Padget | Collaboration between Human and Artificial Societies | Buch | Sack Fachmedien

    Padget Collaboration between Human and Artificial Societies

    Coordination and Agent-Based Distributed Computing
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66930-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katoen | Formal Methods for Real-Time and Probabilistic Systems | Buch | Sack Fachmedien

    Katoen Formal Methods for Real-Time and Probabilistic Systems

    5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66010-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57502-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky | ECOOP 2004 - Object-Oriented Programming | Buch | Sack Fachmedien

    Odersky ECOOP 2004 - Object-Oriented Programming

    18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22159-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Jones / Romanovsky | Methods, Models and Tools for Fault Tolerance | Buch | Sack Fachmedien

    Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance

    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00866-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vene / Uustalu | Advanced Functional Programming | Buch | Sack Fachmedien

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beaumont / Gupta | Parallel Execution of Logic Programs | Buch | Sack Fachmedien

    Beaumont / Gupta Parallel Execution of Logic Programs

    ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55038-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkaoui / Cavalcanti / Cerone | Theoretical Aspects of Computing - ICTAC 2006 | Buch | Sack Fachmedien

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

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48815-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gentzsch / Harms | High-Performance Computing and Networking | Buch | Sack Fachmedien

    Gentzsch / Harms High-Performance Computing and Networking

    International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57980-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Corradini | Formal Methods for the Design of Real-Time Systems | Buch | Sack Fachmedien

    Bernardo / Corradini Formal Methods for the Design of Real-Time Systems

    International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23068-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noriega / Vázquez-Salceda / Boella | Coordination, Organizations, Institutions, and Norms in Agent Systems II | Buch | Sack Fachmedien

    Noriega / Vázquez-Salceda / Boella Coordination, Organizations, Institutions, and Norms in Agent Systems II

    AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74457-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Sampaio / Woodcock | Refinement Techniques in Software Engineering | Buch | Sack Fachmedien

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montanari / Sassone | CONCUR '96: Concurrency Theory | Buch | Sack Fachmedien

    Montanari / Sassone CONCUR '96: Concurrency Theory

    7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61604-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Real-Time Object Uniform Design Methodology with UML | Buch | Sack Fachmedien

    Real-Time Object Uniform Design Methodology with UML

    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-5976-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Bouyssounouse / Sifakis | Embedded Systems Design | Buch | Sack Fachmedien

    Bouyssounouse / Sifakis Embedded Systems Design

    The ARTIST Roadmap for Research and Development
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25107-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Bosschere / Kaeli / Stenström | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    De Bosschere / Kaeli / Stenström High Performance Embedded Architectures and Compilers

    Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-69337-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uhl / Schmid | A Systematic Catalogue of Reusable Abstract Data Types | Buch | Sack Fachmedien

    Uhl / Schmid A Systematic Catalogue of Reusable Abstract Data Types

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53229-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lumpe / Vanderperren | Software Composition | Buch | Sack Fachmedien

    Lumpe / Vanderperren Software Composition

    6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77350-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32616-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sventek / Coulson | Middleware 2000 | Buch | Sack Fachmedien

    Sventek / Coulson Middleware 2000

    IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67352-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenkirch / Naraschewski / Reus | Types for Proofs and Programs | Buch | Sack Fachmedien

    Altenkirch / Naraschewski / Reus Types for Proofs and Programs

    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66537-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Endriss | Declarative Agent Languages and Technologies IV | Buch | Sack Fachmedien

    Baldoni / Endriss Declarative Agent Languages and Technologies IV

    4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68959-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutvonen | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Kutvonen Distributed Applications and Interoperable Systems

    5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergstra / Feijs | Algebraic Methods II: Theory, Tools and Applications | Buch | Sack Fachmedien

    Bergstra / Feijs Algebraic Methods II: Theory, Tools and Applications

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53912-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Son / van Riemsdijk | Declarative Agent Languages and Technologies V | Buch | Sack Fachmedien

    Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies V

    5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77563-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Privara / Rovan / Ruzicka | Mathematical Foundations of Computer Science 1994 | Buch | Sack Fachmedien

    Privara / Rovan / Ruzicka Mathematical Foundations of Computer Science 1994

    19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58338-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wallace | Principles and Practice of Constraint Programming - CP 2004 | Buch | Sack Fachmedien

    Wallace Principles and Practice of Constraint Programming - CP 2004

    10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23241-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butterfield / Grelck / Huch | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Butterfield / Grelck / Huch Implementation and Application of Functional Languages

    17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69174-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nichols / Simpson | ESEC '87 | Buch | Sack Fachmedien

    Nichols / Simpson ESEC '87

    1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18712-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lowes / Paulik | Programmieren mit C | Buch | Sack Fachmedien

    Lowes / Paulik Programmieren mit C

    Ansi Standard
    3. Auflage 1990
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-22286-6
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christodoulakis | Ada: The Choice for '92 | Buch | Sack Fachmedien

    Christodoulakis Ada: The Choice for '92

    Ada-Europe International Conference Athens, Greece, May 13-17, 1991
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54092-2
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42314-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maibaum | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Maibaum Fundamental Approaches to Software Engineering

    Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67261-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangiorgi / Simone | CONCUR '98 Concurrency Theory | Buch | Sack Fachmedien

    Sangiorgi / Simone CONCUR '98 Concurrency Theory

    9th International Conference, Nice, France, September 8-11, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64896-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goto / Araki / Yuasa | RIMS Symposium on Software Science and Engineering II | Buch | Sack Fachmedien

    Goto / Araki / Yuasa RIMS Symposium on Software Science and Engineering II

    Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16470-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brezany | Input/Output Intensive Massively Parallel Computing | Buch | Sack Fachmedien

    Brezany Input/Output Intensive Massively Parallel Computing

    Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62840-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Best | CONCUR'93 | Buch | Sack Fachmedien

    Best CONCUR'93

    4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57208-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grelck / Huch / Michaelson | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Grelck / Huch / Michaelson Implementation and Application of Functional Languages

    16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Núnez / Rosu | Formal Approaches to Software Testing and Runtime Verification | Buch | Sack Fachmedien

    Havelund / Núnez / Rosu Formal Approaches to Software Testing and Runtime Verification

    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49699-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Schmidt | Static Analysis | Buch | Sack Fachmedien

    Cousot / Schmidt Static Analysis

    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61739-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clavel / Durán / Eker | All About Maude - A High-Performance Logical Framework | Buch | Sack Fachmedien

    Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework

    How to Specify, Program, and Verify Systems in Rewriting Logic
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71940-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexandrov / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

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

    5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65041-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Houbak | SIL - a Simulation Language | Buch | Sack Fachmedien

    Houbak SIL - a Simulation Language

    User's Guide
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52497-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mössenböck | Modular Programming Languages | Buch | Sack Fachmedien

    Mössenböck Modular Programming Languages

    Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62599-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bubak / Dongarra / Wasniewski | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Bubak / Dongarra / Wasniewski Recent Advances in Parallel Virtual Machine and Message Passing Interface

    4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Merino | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Leue / Merino Formal Methods for Industrial Critical Systems

    12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79706-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bekic / Jones | Programming Languages and their Definition | Buch | Sack Fachmedien

    Bekic / Jones Programming Languages and their Definition

    Selected Papers
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13378-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Privara / Ruzicka | Mathematical Foundations of Computer Science 1997 | Buch | Sack Fachmedien

    Privara / Ruzicka Mathematical Foundations of Computer Science 1997

    22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63437-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yi | Static Analysis | Buch | Sack Fachmedien

    Yi Static Analysis

    13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer Netherlands
    ISBN: 978-3-540-37756-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Godefroid | Model Checking Software | Buch | Sack Fachmedien

    Godefroid Model Checking Software

    12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28195-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Wang Automated Technology for Verification and Analysis

    Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23610-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranzlmüller / Kacsuk / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Kranzlmüller / Kacsuk / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44296-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Myers | Languages for Developing User Interfaces | Buch | Sack Fachmedien

    Myers Languages for Developing User Interfaces

    1. Auflage 1992
    Verlag: Taylor & Francis Ltd (Sales)
    ISBN: 978-0-86720-450-6
    Medium: Buch
    232,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Interaction Between Compilers and Computer Architectures | Buch | Sack Fachmedien

    Interaction Between Compilers and Computer Architectures

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-4896-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs | Synchronous Programming of Reactive Systems | Buch | Sack Fachmedien

    Halbwachs Synchronous Programming of Reactive Systems

    1. Auflage. Softcover version of original hardcover Auflage 1993
    Verlag: Springer
    ISBN: 978-1-4419-5133-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / Vaughn | ADO.NET Examples and Best Practices for C# Programmers | Buch | Sack Fachmedien

    Blackburn / Vaughn ADO.NET Examples and Best Practices for C# Programmers

    1. Auflage 2002
    Verlag: Apress
    ISBN: 978-1-59059-012-6
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Metcalf / Reid / Cohen | Fortran 95/2003 Explained | Buch | Sack Fachmedien

    Metcalf / Reid / Cohen Fortran 95/2003 Explained

    3. Auflage 2004
    Verlag: Oxford University Press
    ISBN: 978-0-19-852692-6
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite
    Oak | Pro Jakarta Commons | Buch | Sack Fachmedien

    Oak Pro Jakarta Commons

    1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-283-0
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pilgrim | Dive Into Python | Buch | Sack Fachmedien

    Pilgrim Dive Into Python

    1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-356-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ducasse | Squeak | Buch | Sack Fachmedien

    Ducasse Squeak

    Learn Programming with Robots
    1. Auflage 2005
    Verlag: Apress
    ISBN: 978-1-59059-491-9
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilmore | A Programmer's Introduction to PHP 4.0 | Buch | Sack Fachmedien

    Gilmore A Programmer's Introduction to PHP 4.0

    Softcover Nachdruck of the Original 1. Auflage 2001
    Verlag: Apress
    ISBN: 978-1-893115-85-9
    Medium: Buch
    29,95 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Jansen | The Electronic Design Automation Handbook | Buch | Sack Fachmedien

    Jansen The Electronic Design Automation Handbook

    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4419-5369-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Automated Deduction - CADE-18 | Buch | Sack Fachmedien

    Voronkov Automated Deduction - CADE-18

    18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43931-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Branquart / Louis / Wodon | An Analytical Description of CHILL, the CCITT High Level Language | Buch | Sack Fachmedien

    Branquart / Louis / Wodon An Analytical Description of CHILL, the CCITT High Level Language

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11196-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Crole / Gibbons | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | Buch | Sack Fachmedien

    Backhouse / Crole / Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

    International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43613-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarlecki | Mathematical Foundations of Computer Science 1991 | Buch | Sack Fachmedien

    Tarlecki Mathematical Foundations of Computer Science 1991

    16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54345-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wada | Logic Programming '85 | Buch | Sack Fachmedien

    Wada Logic Programming '85

    Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosen / Strohmeier | Reliable Software Technologies -- Ada-Europe 2003 | Buch | Sack Fachmedien

    Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003

    8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Gordon Foundations of Software Science and Computational Structures

    6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00897-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Damm / Desel | Integration of Software Specification Techniques for Applications in Engineering | Buch | Sack Fachmedien

    Ehrig / Damm / Desel Integration of Software Specification Techniques for Applications in Engineering

    Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23135-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baar / Strohmeier / Moreira | UML 2004 - The Unified Modeling Language | Buch | Sack Fachmedien

    Baar / Strohmeier / Moreira UML 2004 - The Unified Modeling Language

    Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23307-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Programming Languages and Systems | Buch | Sack Fachmedien

    Schmidt Programming Languages and Systems

    13th European Symposium on Programming, ESOP 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-21313-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24559-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer | Model Checking Software | Buch | Sack Fachmedien

    Dwyer Model Checking Software

    8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42124-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faltings / Petcu / Fages | Recent Advances in Constraints | Buch | Sack Fachmedien

    Faltings / Petcu / Fages Recent Advances in Constraints

    Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25176-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Leue | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Leue Model Checking Software

    9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43477-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortesi / File | Static Analysis | Buch | Sack Fachmedien

    Cortesi / File Static Analysis

    6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66459-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ito / Halstead / Queinnec | Parallel Symbolic Languages and Systems | Buch | Sack Fachmedien

    Ito / Halstead / Queinnec Parallel Symbolic Languages and Systems

    International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61143-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arvind / Prasad | FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

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

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

    Narendran / Rusinowitch Rewriting Techniques and Applications

    10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66201-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Edelkamp | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Edelkamp Model Checking Software

    14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73369-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Hinchey / Larrondo-Petrie | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76648-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ulrich | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Ulrich Formal Approaches to Software Testing

    Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20894-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano / Reggio | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Astesiano / Reggio Recent Trends in Data Type Specification

    10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sokolsky | Composition of Embedded Systems. Scientific and Industrial Issues | Buch | Sack Fachmedien

    Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues

    13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77418-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieskamp / Weise | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Grieskamp / Weise Formal Approaches to Software Testing

    5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34454-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofstedt / Wolf | Einführung in die Constraint-Programmierung | Buch | Sack Fachmedien

    Hofstedt / Wolf Einführung in die Constraint-Programmierung

    Grundlagen, Methoden, Sprachen, Anwendungen
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-23184-4
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adi / Stoutenburg / Tabet | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Adi / Stoutenburg / Tabet Rules and Rule Markup Languages for the Semantic Web

    First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29922-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capello / Herault / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Capello / Herault / Dongarra 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
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75415-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer / Batory / Consel | Domain-Specific Program Generation | Buch | Sack Fachmedien

    Lengauer / Batory / Consel Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22119-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / Dix / EL Fallah-Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Dix / EL Fallah-Seghrouchni Programming Multi-Agent Systems

    First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22180-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnes | Ada 2005 Rationale | Buch | Sack Fachmedien

    Barnes Ada 2005 Rationale

    The Language, The Standard Libraries
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79700-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Vardanega | Reliable Software Technologies - Ada-Europe 2008 | Buch | Sack Fachmedien

    Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008

    13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68621-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | Buch | Sack Fachmedien

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73447-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Nierstrasz / Yonezawa | Object-Based Models and Languages for Concurrent Systems | Buch | Sack Fachmedien

    Ciancarini / Nierstrasz / Yonezawa Object-Based Models and Languages for Concurrent Systems

    ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59450-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blieberger / Strohmeier | Reliable Software Technologies - Ada-Europe 2002 | Buch | Sack Fachmedien

    Blieberger / Strohmeier Reliable Software Technologies - Ada-Europe 2002

    7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43784-0
    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
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43847-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao | Extensions of the UNITY Methodology | Buch | Sack Fachmedien

    Rao Extensions of the UNITY Methodology

    Compositionality, Fairness and Probability in Parallelism
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59173-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Metcalf / Reid / Cohen | Modern Fortran Explained | Buch | Sack Fachmedien

    Metcalf / Reid / Cohen Modern Fortran Explained

    44. Auflage 2011
    Verlag: Oxford University Press
    ISBN: 978-0-19-960141-7
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite

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