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
    Datensatz exportieren als...
  • BibTeX
Dancing with Qubits : how quantum computing works and how it can change the world
Expert insight
November 2019
Signatur: TVC1810
    Datensatz exportieren als...
  • BibTeX
Methods to exploit reconfigurable fabrics : making reconfigurable systems mature
HNI-Verlagsschriftenreihe : 229 (Alle Bände)
2007
Signatur: TWJ5921
    Datensatz exportieren als...
  • BibTeX
New algorithms, architectures and applications for reconfigurable computing
2005
Signatur: TVC1774
    Datensatz exportieren als...
  • BibTeX
Mathematical logic for computer science
(2. ed.), 4. print, 2004
Signatur: TVC1473(2)
    Datensatz exportieren als...
  • BibTeX
Logic in computer science : modelling and reasoning about systems
2. ed, 2004
Signatur: TVC1693(2)
    Datensatz exportieren als...
  • BibTeX
Modular algorithms in symbolic summation and symbolic integration
Lecture notes in computer science : 3218 (Alle Bände)
2004
Signatur: P1734, TVC1766
    Datensatz exportieren als...
  • BibTeX
Admissible representations for continuous computations
Informatik-Berichte : 299 (Alle Bände)
2003
Signatur: DQ2472
    Datensatz exportieren als...
  • BibTeX
Logic and language models for computer science
2002
Signatur: TVC1708
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation : July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada
2001
Signatur: TTQ010991
    Datensatz exportieren als...
  • BibTeX
Handbook of process algebra
1. edition, 2001
Signatur: TVC1732
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation : 7 - 9 August 2000, University of St Andrews, Scotland
2000
Signatur: TTQ001316
    Datensatz exportieren als...
  • BibTeX
Sweet reason : a field guide to modern logic
Textbooks in mathematical sciences
2000
Signatur: TVC1677
    Datensatz exportieren als...
  • BibTeX
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
    Datensatz exportieren als...
  • BibTeX
Introduction to quantum computers
Repr, 1999
Signatur: UHE2387
    Datensatz exportieren als...
  • BibTeX
Finite transition systems : semantics of communicating systems
Prentice Hall international series in computer science
1994
Signatur: TVC1481
    Datensatz exportieren als...
  • BibTeX
Automated deduction in multiple valued logics
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
    Datensatz exportieren als...
  • BibTeX
Network reliability and algebraic structures
Oxford science publications
1991
Signatur: TWP10668
    Datensatz exportieren als...
  • BibTeX
Logic for computer science
International computer science series, Computer science : Mathematics
1990
Signatur: TVC1431
    Datensatz exportieren als...
  • BibTeX
Clausal form logic : an introd. to the logic of computer reasoning
International computer science series
1989
Signatur: TVC1392
    Datensatz exportieren als...
  • BibTeX
An introduction to default logic
Symbolic computation : Artificial intelligence
1989
Signatur: TVC1415
    Datensatz exportieren als...
  • BibTeX
Logic with Prolog
Oxford applied mathematics and computing science series
1988
Signatur: TVC1407
    Datensatz exportieren als...
  • BibTeX
Logic models of design
1988
Signatur: TVC1423
    Datensatz exportieren als...
  • BibTeX
A first course in formal logic and its applications in computer science
Computer science texts
1986
Signatur: TVC1384
    Datensatz exportieren als...
  • BibTeX
Digital systems : with algorithm implementation
A Wiley-interscience publication
1983
Signatur: TVC1368
    Datensatz exportieren als...
  • BibTeX
Digital logic and computer design
1979
Signatur: TVC1601
1 – 25 von 31
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen