Eintrag weiter verarbeiten
Online-Ressource

Theoretical Aspects of Computing – ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften: Roychoudhury, Abhik (VerfasserIn), D’Souza, Meenakshi (Sonstige)
Titel: Theoretical Aspects of Computing – ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings/ edited by Abhik Roychoudhury, Meenakshi D’Souza
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2012
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7521
Schlagwörter:
Information theory
Logic design
Computer Science
Computer science
Software engineering
Machine theory.
Compilers (Computer programs).
Konferenzschrift > 2012 > Bangalore
Buchausg. u.d.T.: Theoretical aspects of computing - ICTAC 2012, Berlin : Springer, 2012, XII, 258 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
Themen
RVK-Notation:
SS 4800
  • Informatik
    • Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
      • Schriftenreihen (indiv. Sign.)
        • Lecture notes in computer science
Schlagwörter:
Information theory
Logic design
Computer Science
Computer science
Software engineering
Machine theory.
Compilers (Computer programs).
Konferenzschrift > 2012 > Bangalore
Theoretische Informatik
Softwareentwicklung > Programmverifikation > Softwaretest > Formale Methode