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: Implementation and Application of Automata - Springer
    Stavros Konstantinidis
    Implementation and Application of Automata
    18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    07/2013
    Springer
    9783642392740 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. Abbildung von: Natural and Artificial Models in Computation and Biology - Springer
    Jose Manuel Ferrandez Vicente | Jose Ramon Alvarez Sanchez | Felix de la Paz Lopez
    Natural and Artificial Models in Computation and Biology
    5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
    06/2013
    Springer
    9783642386374 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - Springer
    Prasad Raghavendra | Sofya Raskhodnikova | Klaus Jansen
    Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
    16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings
    08/2013
    Springer
    9783642403286 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  4. Abbildung von: Algebraic Informatics - Springer
    Traian Muntean | Robert Rolland | Dimitrios Poulakis
    Algebraic Informatics
    5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
    08/2013
    Springer
    9783642406638 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  5. Abbildung von: Reachability Problems - Springer
    Parosh Aziz Abdulla | Igor Potapov
    Reachability Problems
    7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
    09/2013
    Springer
    9783642410369 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  6. Abbildung von: Membrane Computing - Springer
    Erzsebet Csuhaj-Varju | Marian Gheorghe | Grzegorz Rozenberg
    Membrane Computing
    13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
    02/2013
    Springer
    9783642367519 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  7. Abbildung von: Artificial Neural Networks and Machine Learning -- ICANN 2013 - Springer
    Valeri Mladenov | Petia Koprinkova-Hristova | Günther Palm
    Artificial Neural Networks and Machine Learning -- ICANN 2013
    23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, Proceedings
    09/2013
    Springer
    9783642407284 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  8. Abbildung von: Declarative Agent Languages and Technologies X - Springer
    Matteo Baldoni | Louise Dennis | Viviana Mascardi
    Declarative Agent Languages and Technologies X
    10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers
    04/2013
    Springer
    9783642378904 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  9. Abbildung von: Transactions on Computational Collective Intelligence IX - Springer
    Ngoc Thanh Nguyen
    Transactions on Computational Collective Intelligence IX
    02/2013
    Springer
    9783642368158 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Coordination Models and Languages - Springer
    Rocco De Nicola | Christine Julien
    Coordination Models and Languages
    15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
    05/2013
    Springer
    9783642384936 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: Theoretical Aspects of Computing -- ICTAC 2013 - Springer
    Zhiming Liu | Jim Woodcock | Huibiao Zhu
    Theoretical Aspects of Computing -- ICTAC 2013
    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    08/2013
    Springer
    9783642397189 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Reliable Software Technologies -- Ada-Europe 2013 - Springer
    Hubert B. Keller | Erhard Plödereder | Peter Dencker
    Reliable Software Technologies -- Ada-Europe 2013
    18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
    05/2013
    Springer
    9783642386015 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  13. Abbildung von: Natural and Artificial Computation in Engineering and Medical Applications - Springer
    Jose Manuel Ferrandez Vicente | Jose Ramon Alvarez Sanchez | Felix de la Paz Lopez
    Natural and Artificial Computation in Engineering and Medical Applications
    5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II
    06/2013
    Springer
    9783642386220 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  14. Abbildung von: Artificial Intelligence and Soft Computing - Springer
    Leszek Rutkowski | Marcin Korytkowski | Rafal Scherer
    Artificial Intelligence and Soft Computing
    12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I
    06/2013
    Springer
    9783642386589 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Descriptional Complexity of Formal Systems - Springer
    Jürgensen | Rogério Reis
    Descriptional Complexity of Formal Systems
    15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
    06/2013
    Springer
    9783642393105 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  16. Abbildung von: Artificial General Intelligence - Springer
    Kai-Uwe Kühnberger | Sebastian Rudolph | Pei Wang
    Artificial General Intelligence
    6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings
    06/2013
    Springer
    9783642395215 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  17. Abbildung von: Advances in Artificial Intelligence - Springer
    Concha Bielza | Antonio Salmerón | Amparo Alonso-Betanzos
    Advances in Artificial Intelligence
    15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, September 17-20, 2013, Proceedings
    09/2013
    Springer
    9783642406430 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  18. Abbildung von: AsiaSim 2013 - Springer
    Gary Tan | Gee Kin Yeo | Stephen John Turner
    AsiaSim 2013
    13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
    10/2013
    Springer
    9783642450372 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Advances in Neural Networks- ISNN 2013 - Springer
    Chengan Guo | Zeng-Guang Hou | Zhigang Zeng
    Advances in Neural Networks- ISNN 2013
    10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part I
    07/2013
    Springer
    9783642390654 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Hardware and Software: Verification and Testing - Springer
    Armin Biere | Amir Nahir | Tanja Vos
    Hardware and Software: Verification and Testing
    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    07/2013
    Springer
    9783642396113 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    48,14 €
    Als Download verfügbar
  2. 1
  3. …
  5. 236
  7. 238
  8. …
  9. 974