Ergebnisse filtern
Fachgebiet
Medium
  • 26
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 5
  • 5
  • 1
  • 3
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 26
Preis
  • 22
  • 4
Sprachen
  • 26
Verfügbarkeit
  • 26
Katalog
  • 26

Mathematik Interdisziplinär

26  Treffer  für „Theoretical Computer Science and General Issues“
    Hämäläinen / Pimentel / Takala | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Hämäläinen / Pimentel / Takala Embedded Computer Systems: Architectures, Modeling, and Simulation

    5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26969-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovic / Dimopoulos / Wong | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Berekovic / Dimopoulos / Wong Embedded Computer Systems: Architectures, Modeling, and Simulation

    8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70549-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Kloul / Zavattaro | Formal Techniques for Computer Systems and Business Processes | Buch | Sack Fachmedien

    Bravetti / Kloul / Zavattaro Formal Techniques for Computer Systems and Business Processes

    European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28701-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Mayr | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Mayr Computer Algebra in Scientific Computing

    12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15273-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Mayr | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Mayr Computer Algebra in Scientific Computing

    15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02296-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    England / Koepf / Sadykov | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    England / Koepf / Sadykov Computer Algebra in Scientific Computing

    21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer
    ISBN: 978-3-030-26830-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Seiler | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing

    20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99638-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulier / England / Sadykov | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Boulier / England / Sadykov Computer Algebra in Scientific Computing

    22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60025-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Koepf / Seiler | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing

    16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10514-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerdt / Mayr / Vorozhtsov | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Gerdt / Mayr / Vorozhtsov Computer Algebra in Scientific Computing

    11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04102-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Pichler / Quesada-Arencibia | Computer Aided Systems Theory - EUROCAST 2015 | Buch | Sack Fachmedien

    Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2015

    15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27339-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Ingólfsdóttir | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Aceto / Ingólfsdóttir Foundations of Software Science and Computational Structures

    9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33045-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Pichler / Quesada-Arencibia | Computer Aided Systems Theory - EUROCAST 2017 | Buch | Sack Fachmedien

    Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2017

    16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74726-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gudmundsson / Mestre / Viglas | Computing and Combinatorics | Buch | Sack Fachmedien

    Gudmundsson / Mestre / Viglas Computing and Combinatorics

    18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32240-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Li / Wu | Network and Parallel Computing | Buch | Sack Fachmedien

    Cao / Li / Wu Network and Parallel Computing

    IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88139-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maneth | Implementation and Application of Automata | Buch | Sack Fachmedien

    Maneth Implementation and Application of Automata

    14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02978-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahuja / Möhring / Zaroliagis | Robust and Online Large-Scale Optimization | Buch | Sack Fachmedien

    Ahuja / Möhring / Zaroliagis Robust and Online Large-Scale Optimization

    Models and Techniques for Transportation Systems
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-05464-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Bestavros / Du | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Liu / Bestavros / Du Wireless Algorithms, Systems, and Applications

    4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03416-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pandurangan / Kumar / Ming | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Pandurangan / Kumar / Ming Wireless Algorithms, Systems, and Applications

    5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14653-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borrione / Paul | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Borrione / Paul Correct Hardware Design and Verification Methods

    13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29105-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cassez / Jard | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Cassez / Jard Formal Modeling and Analysis of Timed Systems

    6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85777-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mossakowski / Kreowski | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Mossakowski / Kreowski Recent Trends in Algebraic Development Techniques

    20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28411-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sadayappan / Parashar / Badrinath | High Performance Computing - HiPC 2008 | Buch | Sack Fachmedien

    Sadayappan / Parashar / Badrinath High Performance Computing - HiPC 2008

    15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89893-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beringer / Felty | Interactive Theorem Proving | Buch | Sack Fachmedien

    Beringer / Felty Interactive Theorem Proving

    Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luque / Margalef / Benítez | Euro-Par 2008 Parallel Processing | Buch | Sack Fachmedien

    Luque / Margalef / Benítez Euro-Par 2008 Parallel Processing

    14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-85450-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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