Ergebnisse filtern
Fachgebiet
Medium
  • 88
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 4
  • 2
  • 3
  • 4
  • 4
  • 1
  • 11
  • 6
  • 10
  • 1
  • 2
  • 7
  • 7
  • 6
  • 3
  • 3
  • 5
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 88
Preis
  • 1
  • 58
  • 29
Sprachen
  • 88
Verfügbarkeit
  • 88
Katalog
  • 88
  • 10
88  Treffer  für „Lecture Notes in Computer Science“
    Wing / Woodcook / Davies | FM'99 - Formal Methods | Buch | Sack Fachmedien

    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66587-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cagnoni / Paechter / Poli | Real-World Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Cagnoni / Paechter / Poli Real-World Applications of Evolutionary Computing

    EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh, Scotland, UK, April 17, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67353-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vaandrager / Schuppen | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Vaandrager / Schuppen Hybrid Systems: Computation and Control

    Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65734-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimov / Lirkov / Margenov | Numerical Methods and Applications | Buch | Sack Fachmedien

    Dimov / Lirkov / Margenov Numerical Methods and Applications

    5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00608-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78825-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soudris / Pirsch / Barke | Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Soudris / Pirsch / Barke Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation

    10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41068-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartenstein / Servit | Field-Programmable Logic: Architectures, Synthesis and Applications | Buch | Sack Fachmedien

    Hartenstein / Servit Field-Programmable Logic: Architectures, Synthesis and Applications

    4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58419-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reusch | Computational Intelligence: Theory and Applications | Buch | Sack Fachmedien

    Reusch Computational Intelligence: Theory and Applications

    International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66050-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Manocha | Applied Computational Geometry. Towards Geometric Engineering | Buch | Sack Fachmedien

    Lin / Manocha Applied Computational Geometry. Towards Geometric Engineering

    FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61785-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Held | On the Computational Geometry of Pocket Machining | Buch | Sack Fachmedien

    Held On the Computational Geometry of Pocket Machining

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54103-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31994-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margenov / Wasniewski / Yalamov | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing

    Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43043-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lysaght / Irvine / Hartenstein | Field Programmable Logic and Applications | Buch | Sack Fachmedien

    Lysaght / Irvine / Hartenstein Field Programmable Logic and Applications

    9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66457-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paliouras / Vounckx / Verkest | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Paliouras / Vounckx / Verkest Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29013-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Westfechtel | Models and Tools for Managing Development Processes | Buch | Sack Fachmedien

    Westfechtel Models and Tools for Managing Development Processes

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66756-8
    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
    Zeng | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Zeng Evolvable Systems: From Biology to Hardware

    7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74625-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habermann / Montanari | System Development and Ada | Buch | Sack Fachmedien

    Habermann / Montanari System Development and Ada

    CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18341-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alblas / Melichar | Attribute Grammars, Applications and Systems | Buch | Sack Fachmedien

    Alblas / Melichar Attribute Grammars, Applications and Systems

    International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54572-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pierre / Kropf | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Pierre / Kropf Correct Hardware Design and Verification Methods

    10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66559-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boyanov / Dimova / Georgiev | Numerical Methods and Applications | Buch | Sack Fachmedien

    Boyanov / Dimova / Georgiev Numerical Methods and Applications

    6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70940-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagl / Schürr / Münch | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Nagl / Schürr / Münch Applications of Graph Transformations with Industrial Relevance

    International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67658-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Zhang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Graf / Zhang Automated Technology for Verification and Analysis

    4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Lemmon | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Lemmon Hybrid Systems V

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giancarlo / Sankoff | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Giancarlo / Sankoff Combinatorial Pattern Matching

    11th Annual Symposium. CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67633-1
    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