UB Paderborn / Katalog / Suche / in CDI

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...

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

1, 2004

Volltextzugriff (PDF)

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

2002

Volltextzugriff (PDF)

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

1, 1999

Volltextzugriff (PDF)

Financial Crime, Law and Governance: Navigating Challenges in Different Contexts

2024th edition, 2024

Volltextzugriff (PDF)

Financial Crime and the Law: Identifying and Mitigating Risks

2024th edition, 2024

Volltextzugriff (PDF)

Antimicrobial Stewardship in Non-Traditional Settings: A Practical Guide

1, 2023

Volltextzugriff (PDF)

Financial Technology and the Law: Combating Financial Crime

1, 2022

Volltextzugriff (PDF)

Sexuality: The 1964 Clermont-Ferrand and 1969 Vincennes Lectures

1, 2021

Volltextzugriff (PDF)

Time for Verification: Essays in Memory of Amir Pnueli

2010 edition., 2010

Volltextzugriff (PDF)

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

1st Edition 2016, 2016

Volltextzugriff (PDF)

Group Analysis in the Land of Milk and Honey

1st, 2017

Volltextzugriff (PDF)

Waste of a Nation: Garbage and Growth in India

Assa Doron, Robin Jeffrey

1, 2018

Volltextzugriff (PDF)

Theories on Law and Ageing: The Jurisprudence of Elder Law

1. Aufl., 2008

Volltextzugriff (PDF)

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

2005 edition., 2005

Volltextzugriff (PDF)

Bounds and Asymptotics for Orthogonal Polynomials for Varying Weights

1st ed. 2018., 2018

Volltextzugriff (PDF)

DPLL(T): Fast Decision Procedures

Computer Aided Verification, 2004, Vol.3114, p.175-188

2004

Volltextzugriff (PDF)

Statistical Model Checking of Black-Box Probabilistic Systems

Computer Aided Verification, 2004, Vol.3114, p.202-215

2004

Volltextzugriff (PDF)

Die Zukunft Der Erinnerung: Perspektiven Des Gedenkens an Die Verbrechen Des Nationalsozialismus Und Die Shoah

1st edition, 2021

Volltextzugriff (PDF)

MCK: Model Checking the Logic of Knowledge

Computer Aided Verification, 2004, Vol.3114, p.479-483

2004

Volltextzugriff (PDF)

Unimagined Futures - ICT Opportunities and Challenges

1st ed. 2020., 2020

Volltextzugriff (PDF)

Taming Lust: Crimes Against Nature in the Early Republic

1, 2014

Volltextzugriff (PDF)

Orthogonal Polynomials for Exponential Weights

2012

Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

2008 edition, 2008

Volltextzugriff (PDF)

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

Drusinsky, Doron

1, 2006

Volltextzugriff (PDF)

Polynomial Invariants by Linear Algebra

Automated Technology for Verification and Analysis, 2016, Vol.9938, p.479-494

2016

Volltextzugriff (PDF)

1 – 25 von 2.848

Suche als RSS-Feed

Aktive Filter

PublikationsformArtikel

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(649)
Mit Volltextzugriff
(2.464)

Publikationsform

8 weitere anzeigen...

Weniger anzeigen...

Sprache

2 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(595)
Technology
(491)
Computer Science
(457)
Transportation Equipment Industry
(427)
Computer Science, Theory & Methods
(331)
Automobile Industry
(246)
Applied Sciences
(222)
Exact Sciences And Technology
(213)
Software Engineering
(206)
Computer Science; Control Theory; Systems
(202)
Software
(172)
Computer Science, Software Engineering
(147)
Model Check
(118)
Engineering
(113)
Life Sciences & Biomedicine
(110)
Automobiles
(108)
Social Sciences
(97)
Computer Science, Artificial Intelligence
(91)
Engineering, Electrical & Electronic
(84)
Computer Programming / Software Development
(78)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ebook Central Perpetual and DDA
(1.065)
eBooks on EBSCOhost
(1.033)
Standalone journals
(678)
Nexis Uni (LexisNexis)
(663)
IngentaConnect
(553)
HEAL-Link subscriptions: Springer Book Series
(512)
IEEE Electronic Library Online
(260)
De Gruyter eBooks
(220)
Taylor & Francis eBooks A-Z
(138)
ProQuest Dissertations & Theses A&I
(137)
JSTOR
(129)
EZB Electronic Journals Library
(111)
ACM Digital Library
(83)
IngentaConnect Journals
(61)
Business Source Ultimate
(56)
ScienceDirect eBooks
(46)
Project MUSE - single title subscriptions
(42)
Taylor & Francis
(39)
Taylor & Francis Journals
(35)
Wiley-Blackwell Journals
(33)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

The New York Times
(590)
The Washington Monthly
(16)
The Jerusalem Report
(13)
Journal Of Urban History
(8)
Shofar
(8)
The American Historical Review
(8)
Washington Monthly
(8)
Journal Of The American Oriental Society
(7)
The Weekly Standard
(7)
Hebrew Studies
(6)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(21)

Menü

Weitere Dienste

Einstellungen

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Financial Crime, Law and Governance: Navigating Challenges in Different Contexts

Financial Crime and the Law: Identifying and Mitigating Risks

Antimicrobial Stewardship in Non-Traditional Settings: A Practical Guide

Financial Technology and the Law: Combating Financial Crime

Sexuality: The 1964 Clermont-Ferrand and 1969 Vincennes Lectures

Time for Verification: Essays in Memory of Amir Pnueli

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Group Analysis in the Land of Milk and Honey

Waste of a Nation: Garbage and Growth in India

Theories on Law and Ageing: The Jurisprudence of Elder Law

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Bounds and Asymptotics for Orthogonal Polynomials for Varying Weights

DPLL(T): Fast Decision Procedures

Statistical Model Checking of Black-Box Probabilistic Systems

Die Zukunft Der Erinnerung: Perspektiven Des Gedenkens an Die Verbrechen Des Nationalsozialismus Und Die Shoah

MCK: Model Checking the Logic of Knowledge

Unimagined Futures - ICT Opportunities and Challenges

Taming Lust: Crimes Against Nature in the Early Republic

Orthogonal Polynomials for Exponential Weights

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

Polynomial Invariants by Linear Algebra

Aktive Filter

Suchergebnisse filtern