Ergebnisse filtern
Fachgebiet
Medium
  • 82
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 4
  • 2
  • 4
  • 4
  • 3
  • 2
  • 4
  • 6
  • 7
  • 2
  • 1
  • 3
  • 6
  • 13
  • 3
  • 1
  • 1
  • 1
Autoren
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 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
  • 1
  • 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
  • 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
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 80
  • 2
Preis
  • 1
  • 3
  • 63
  • 15
Sprachen
  • 82
Verfügbarkeit
  • 82
Katalog
  • 82
  • 4
82  Treffer  für „Lecture Notes in Computer Science“
    Koymans | Specifying Message Passing and Time-Critical Systems with Temporal Logic | Buch | Sack Fachmedien

    Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56283-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asperti / Buchberger / Davenport | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Asperti / Buchberger / Davenport Mathematical Knowledge Management

    Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00568-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bird / Morgan / Woodcock | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bird / Morgan / Woodcock Mathematics of Program Construction

    Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56625-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klein / Gamboa | Interactive Theorem Proving | Buch | Sack Fachmedien

    Klein / Gamboa Interactive Theorem Proving

    5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08969-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerndt / Kranzlmüller | High Performance Computing and Communications | Buch | Sack Fachmedien

    Gerndt / Kranzlmüller High Performance Computing and Communications

    Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39368-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Kreowski / Lescanne | Algebraic System Specification and Development | Buch | Sack Fachmedien

    Bidoit / Kreowski / Lescanne Algebraic System Specification and Development

    A Survey and Annotated Bibliography
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54060-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Paprzycki | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Paprzycki Parallel Processing and Applied Mathematics

    5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers
    1. Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-3-540-21946-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothlauf / Branke / Cagnoni | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Rothlauf / Branke / Cagnoni Applications of Evolutionary Computing

    Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25396-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raskin / Thiagarajan | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems

    5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75453-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asarin / Bouyer | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Asarin / Bouyer Formal Modeling and Analysis of Timed Systems

    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45026-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Book | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Book Rewriting Techniques and Applications

    4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53904-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kojima / Megiddo / Noma | A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems | Buch | Sack Fachmedien

    Kojima / Megiddo / Noma A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54509-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hancock / Martin / Sabin | Mathematics of Surfaces XIII | Buch | Sack Fachmedien

    Hancock / Martin / Sabin Mathematics of Surfaces XIII

    13th IMA International Conference York, UK, September 7-9, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03595-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Chapman / de Supinski | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Müller / Chapman / de Supinski OpenMP Shared Memory Parallel Programming

    International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68554-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nurmi / Ukkonen | Algorithm Theory - SWAT '92 | Buch | Sack Fachmedien

    Nurmi / Ukkonen Algorithm Theory - SWAT '92

    Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55706-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asano / Igarashi / Nagamochi | Algorithms and Computation | Buch | Sack Fachmedien

    Asano / Igarashi / Nagamochi Algorithms and Computation

    7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-62048-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Mauw | CONCUR'99. Concurrency Theory | Buch | Sack Fachmedien

    Baeten / Mauw CONCUR'99. Concurrency Theory

    10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66425-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Michalewicz | Statistical and Scientific Database Management | Buch | Sack Fachmedien

    Michalewicz Statistical and Scientific Database Management

    Fifth International Conference, V SSDBM, Charlotte, N.C., USA, April 3-5, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52342-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Martins | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Ribeiro / Martins Experimental and Efficient Algorithms

    Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22067-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | CONCUR '92 | Buch | Sack Fachmedien

    Cleaveland CONCUR '92

    Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55822-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eisenbrand / Shepherd | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Eisenbrand / Shepherd Integer Programming and Combinatorial Optimization

    14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alagar / Nivat | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Alagar / Nivat Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kagström / Dongarra / Elmroth | Applied Parallel Computing. Large Scale Scientific and Industrial Problems | Buch | Sack Fachmedien

    Kagström / Dongarra / Elmroth Applied Parallel Computing. Large Scale Scientific and Industrial Problems

    4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65414-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Yang / Rana | High Performance Computing and Communications | Buch | Sack Fachmedien

    Dongarra / Yang / Rana High Performance Computing and Communications

    First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29031-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darnell | Cryptography and Coding | Buch | Sack Fachmedien

    Darnell Cryptography and Coding

    6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63927-5
    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