Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Architectures for Adaptive Software Systems : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5643
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evolvable Systems: From Biology to Hardware : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5634
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5578
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5590
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
High Performance Embedded Architectures and Compilers : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Transactions on High-Performance Embedded Architectures and Compilers II [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
1 – 25 von 80
Suche als RSS-Feed
Aktive Filter
SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.
SchlagwortMicroprocessors
SchlagwortProgrammierung
Autor / AutorinTerzopoulos, Demetri
Autor / AutorinTygar, Doug
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen