19.463 Treffer
Medienart (8)
Lieferbarkeit (3)
Sprache (3)
Klassifikation (25)
Jahr
Verlag
Fachkatalog
Sortierung
Treffer pro Seite
Filter
19.463 Treffer

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages - Springer
    Brian Henderson-Sellers
    On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
    06/2012
    Springer
    9783642298257 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. Abbildung von: Computational Intelligence and Intelligent Systems - Springer
    Zhenhua Li | Xiang Li | Yong Liu
    Computational Intelligence and Intelligent Systems
    6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
    10/2012
    1. Aufl.1. Auflage
    Springer
    9783642342899 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Cormac Flanagan | Barbara König
    Tools and Algorithms for the Construction and Analysis of Systems
    18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    03/2012
    1. Aufl.1. Auflage
    Springer
    9783642287565 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  4. Abbildung von: Argumentation in Multi-Agent Systems - Springer
    Peter McBurney | Simon Parsons | Iyad Rahwan
    Argumentation in Multi-Agent Systems
    8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers
    09/2012
    1. Aufl.1. Auflage
    Springer
    9783642331527 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  5. Abbildung von: Reasoning Web - Semantic Technologies for Advanced Query Answering - Springer
    Thomas Eiter | Thomas Krennwallner
    Reasoning Web - Semantic Technologies for Advanced Query Answering
    8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
    08/2012
    Springer
    9783642331589 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Industrial Deployment of System Engineering Methods - Springer
    Alexander Romanovsky | Martyn Thomas
    Industrial Deployment of System Engineering Methods
    07/2013
    Springer
    9783642331701 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  7. Abbildung von: Intelligent Computing Technology - Springer
    De-Shuang Huang | Changjun Jiang | Vitoantonio Bevilacqua
    Intelligent Computing Technology
    8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedings
    07/2012
    Springer
    9783642315886 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Software Language Engineering - Springer
    Anthony Sloane | Uwe Aßmann
    Software Language Engineering
    4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
    04/2012
    Springer
    9783642288302 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  9. Abbildung von: Advances in Swarm Intelligence - Springer
    Ying Tan | Yuhui Shi | Zhen Ji
    Advances in Swarm Intelligence
    Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012, Proceedings, Part II
    06/2012
    Springer
    9783642310201 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Software Engineering and Formal Methods - Springer
    George Eleftherakis | Mike Hinchey | Mike Holcombe
    Software Engineering and Formal Methods
    10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
    09/2012
    Springer
    9783642338267 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: ECOOP 2012 -- Object-Oriented Programming - Springer
    James Noble
    ECOOP 2012 -- Object-Oriented Programming
    26th European Conference, Beijing, China, June 11-16, 2012, Proceedings
    06/2012
    Springer
    9783642310577 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Uncertainty Quantification in Scientific Computing - Springer
    Andrew Dienstfrey | Ronald Boisvert
    Uncertainty Quantification in Scientific Computing
    10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
    08/2012
    Springer
    9783642326776 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  13. Abbildung von: Wireless Internet - Springer
    Pinyi Ren | Chao Zhang | Xin Liu
    Wireless Internet
    6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised Selected Papers
    09/2012
    Springer
    9783642304934 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Logic Programs, Norms and Action - Springer
    Alexander Artikis | Robert Craven | Nihan Kesim Cicekli
    Logic Programs, Norms and Action
    Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
    04/2012
    Springer
    9783642294143 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Relational and Algebraic Methods in Computer Science - Springer
    Wolfram Kahl | Timothy G. Griffin
    Relational and Algebraic Methods in Computer Science
    13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
    09/2012
    Springer
    9783642333149 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  16. Abbildung von: Artificial General Intelligence - Springer
    Joscha Bach | Ben Goertzel | Matthew Iklé
    Artificial General Intelligence
    5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
    12/2012
    Springer
    9783642355066 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  17. Abbildung von: Neural Information Processing - Springer
    Tingwen Huang | Zhigang Zeng | Chuandong Li
    Neural Information Processing
    19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I
    11/2012
    Springer
    9783642344756 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  18. Abbildung von: Languages and Compilers for Parallel Computing - Springer
    Sanjay Rajopadhye | Michelle Mills Strout
    Languages and Compilers for Parallel Computing
    24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
    01/2013
    Springer
    9783642360367 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Logic-Based Program Synthesis and Transformation - Springer
    Germán Vidal
    Logic-Based Program Synthesis and Transformation
    21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
    07/2012
    Springer
    9783642322112 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  20. Abbildung von: Formal Modeling and Analysis of Timed Systems - Springer
    Marcin Jurdzinski | Dejan Nickovic
    Formal Modeling and Analysis of Timed Systems
    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    08/2012
    Springer
    9783642333651 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  2. 1
  3. …
  5. 227
  7. 229
  8. …
  9. 974