Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

(Keywords)verification

Subject

Browse all works related to (Keywords)verification.

Home
Subject
(Keywords)verification

"19" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Innovative computing technology

Innovative computing technology: first international conference ; proceedings

by INCT, Teheran

fromCommunications in computer and information science

0 Type: Book

Formal methods: foundations and applications

Formal methods: foundations and applications: 14th Brazilian symposium ; revised selected papers

by SBMF, São Paulo

fromLecture Notes in Computer Science

0 Type: Book

Descriptional complexity of formal systems

Descriptional complexity of formal systems: 13 international workshop ; proceedings

by DCFS, Limburg a. d. Lahn

fromLecture Notes in Computer Science

0 Type: Book

Theoretical aspects of computing 8th international colloquium ; proceedings

Theoretical aspects of computing 8th international colloquium ; proceedings

by ICTAC, Johannesburg

fromLecture Notes in Computer Science

0 Type: Book

Agent-oriented software engineering X

Agent-oriented software engineering X: 10th international workshop ; revised selected pa…

by AOSE, Budapest

fromLecture Notes in Computer Science

0 Type: Book

Agent-Oriented Software Engineering X

Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, Budapest,…

by AOSE, Budapest

fromLecture Notes in Computer Science

0 Type: Book

Formal modeling

Formal modeling: actors, open systems, biological systems ; essays…

by Talcott, Carolyn L.

fromLecture Notes in Computer Science

0 Type: Book

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

fromLecture Notes in Computer Science

0 Type: Book

Programming languages and systems

Programming languages and systems: proceedings

by ESOP, Saarbrücken, ETAPS,, Saarbrücken

fromLecture Notes in Computer Science

0 Type: Book

Theory and practice of computer science

Theory and practice of computer science: proceedings

by SOFSEM, Vysoké Tatry- Nový Smokovec

fromLecture Notes in Computer Science

0 Type: Book

Applications and theory of Petri nets

Applications and theory of Petri nets: 32nd international conference ; proceedings

by PETRI NETS, Newcastle-upon-Tyne

fromLecture Notes in Computer Science

0 Type: Book

Speaker authentication

Speaker authentication

fromSignals and Communication Technology

0 Type: Book

Verification, induction, termination analysis

Verification, induction, termination analysis: Festschrift for Christoph Walther on the occasion…

by Walther, Christoph

fromLecture Notes in Computer Science

0 Type: Book

Verification, Induction, Termination Analysis

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion…

by Walther, Christoph

fromLecture Notes in Computer Science

0 Type: Book

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

fromLecture Notes in Computer Science

0 Type: Book

Formal methods for industrial critical systems

Formal methods for industrial critical systems: 16th international workshop ; proceedings

by FMICS, Trient

fromLecture Notes in Computer Science

0 Type: Book

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, …

by FMICS, Trient

fromLecture Notes in Computer Science

0 Type: Book

Model checking and artificial intelligence

Model checking and artificial intelligence: 6th international workshop ; revised selected and…

by MoChArt, Atlanta, Ga.)

fromLecture Notes in Computer Science

0 Type: Book

Formal methods and software engineering

Formal methods and software engineering: proceedings

by International Conference on Formal Engineering Methods, Schanghai

fromLecture Notes in Computer Science

0 Type: Book

Subjects

(Keywords)verification (19) (Zielgruppe)Research (17) (Produktform)Paperback / soft… (15) Formale Methode (9) (Keywords)formal methods (7) Verifikation (7) (Keywords)theorem proving (6) (Keywords)model checking (5) Programmverifikation (5) (Keywords)Concurrency (4) (Keywords)security (4) (Keywords)semantics (4) (VLB-WN)1632: Hardcover, Soft… (4) Programmanalyse (4) Software Engineering (4) Softwareentwicklung (4) (Keywords)Web services (3) (Keywords)cloud computing (3) (Keywords)distributed systems (3) (Keywords)embedded systems (3) (Keywords)first order logic (3) (Keywords)formal verification (3) (Keywords)optimization (3) (Keywords)semantic Web (3) (Keywords)systems modeling (3) (Keywords)timed automata (3) Model Checking (3) Softwaretest (3) (Keywords)Bell-La Padula (2) (Keywords)Change Management (2) (Keywords)Collaboration (2) (Keywords)Crowdsourcing (2) (Keywords)Domain Engineering (2) (Keywords)Java bytecode (2) (Keywords)Modal Logic (2) (Keywords)Multi-agent systems (2) (Keywords)SOA (2) (Keywords)Software Engineering (2) (Keywords)Software Product Li… (2) (Keywords)Transformation (2) (Keywords)UML (2) (Keywords)User Interfaces (2) (Keywords)Web graph (2) (Keywords)Web-based framework (2) (Keywords)Workflow (2) (Keywords)agent oriented spec… (2) (Keywords)automata theory (2) (Keywords)business process mo… (2) (Keywords)chinese wall (2) (Keywords)classification (2) (Keywords)colored petri nets (2) (Keywords)concept Web (2) (Keywords)design methodologies (2) (Keywords)distributed model c… (2) (Keywords)dynamic rippling (2) (Keywords)formal analysis (2) (Keywords)formal modeling (2) (Keywords)formal semantics (2) (Keywords)grammar systems (2) (Keywords)higher-order automa… (2) (Keywords)inductive proofs (2) (Keywords)knowledge discovery (2) (Keywords)lemma discovery (2) (Keywords)logic programming (2) (Keywords)meta-tools (2) (Keywords)methodology (2) (Keywords)middle-out reasoning (2) (Keywords)model transformation (2) (Keywords)model-based develop… (2) (Keywords)model-driven develo… (2) (Keywords)modeling language (2) (Keywords)multiagent organisa… (2) (Keywords)ontology (2) (Keywords)organizational data… (2) (Keywords)pervasive computing (2) (Keywords)preconditions (2) (Keywords)probabilistic metho… (2) (Keywords)prototyping (2) (Keywords)rder programs (2) (Keywords)real-time embedded … (2) (Keywords)real-time systems (2) (Keywords)requirements models (2) (Keywords)scientific workflows (2) (Keywords)second-order progra… (2) (Keywords)security properties (2) (Keywords)social networks (2) (Keywords)software processes (2) (Keywords)systems analysis (2) (Keywords)temporal logic (2) (Keywords)termination graphs (2) (Keywords)time constraint (2) (Keywords)ubiquitous networki… (2) (Keywords)validation (2) (Keywords)wireless sensor net… (2) (Produktform)Electronic book … (2) (Zielgruppe)Professional/prac… (2) Agentenorientiertes Software … (2) Automatisches Beweisverfahren (2) Computer Science (2) Electronic Data Processing (2) Génie logiciel (2) Induktionsbeweis (2) Informatique (2) Logic design (2) Programmiersprache (2) Serviceorientierte Architektur (2) Sicherheitskritisches System (2) Structure logique (2) Systemanalyse (2) Systementwurf (2) Terminierung (2) Theoretische Informatik (2) Web services (2) (Keywords)AI logics (1) (Keywords)Algebraic Specifica… (1) (Keywords)BPEL (1) (Keywords)Homeland Security (1) (Keywords)Indentification (1) (Keywords)Linux (1) (Keywords)Maude (1) (Keywords)Neural Networks (1) (Keywords)OWL (1) (Keywords)Petri nets (1) (Keywords)Service Composition (1) (Keywords)Software Development (1) (Keywords)Speaker Autentifica… (1) (Keywords)abstract interpreta… (1) (Keywords)ad-hoc networks (1) (Keywords)algebraic structures (1) (Keywords)automata (1) (Keywords)automated verificat… (1) (Keywords)automatic translati… (1) (Keywords)behavioral specific… (1) (Keywords)biometrics (1) (Keywords)bounded language (1) (Keywords)bounded model check… (1) (Keywords)case analysis (1) (Keywords)combined domain (1) (Keywords)complexity theory (1) (Keywords)component-based sys… (1) (Keywords)computer aided dedu… (1) (Keywords)constraint automata (1) (Keywords)databases (1) (Keywords)dataflow analysis (1) (Keywords)decidability theory (1) (Keywords)decision procedure (1) (Keywords)decision tree (1) (Keywords)dependability (1) (Keywords)detection (1) (Keywords)deterministic autom… (1) (Keywords)dynamic checking (1) (Keywords)equational theory (1) (Keywords)fault tolerance (1) (Keywords)formal language the… (1) (Keywords)formatl verification (1) (Keywords)genetic algorithms (1) (Keywords)language-based secu… (1) (Keywords)lightweight formal … (1) (Keywords)model driven engine… (1) (Keywords)object oriented pro… (1) (Keywords)open systems (1) (Keywords)operational semanti… (1) (Keywords)parallel processes (1) (Keywords)parallel programming (1) (Keywords)parameterised verif… (1) (Keywords)performance analysis (1) (Keywords)process algebra (1) (Keywords)program analysis (1) (Keywords)program transformat… (1) (Keywords)program verification (1) (Keywords)program verificatio… (1) (Keywords)programm semantics (1) (Keywords)programming calculi (1) (Keywords)programming models (1) (Keywords)programming techniq… (1) (Keywords)rewrite theory (1) (Keywords)safety-critical sys… (1) (Keywords)satisfiability (1) (Keywords)sensor networks (1) (Keywords)software implementa… (1) (Keywords)software maintenance (1) (Keywords)software quality (1) (Keywords)speech recognition (1) (Keywords)static analysis (1) (Keywords)statis program anal… (1) (Keywords)structural induction (1) (Keywords)symmetry reduction (1) (Keywords)syntactic proof (1) (Keywords)wireless networks (1) (Produktform)Hardback (1) (VLB-WN)1635: Hardcover, Soft… (1) (VLB-WN)1684: Hardcover, Soft… (1) Akustische Signalverarbeitung (1) Authentifikation (1) Automatische Sprechererkennung (1) Benutzermodell (1) Beschreibungskomplexität (1) Bildsegmentierung (1) Bioinformatik (1) Biométrie (1) Cluster (1) Computer Communication Networ… (1) Darmstadt <2010> (1) Datenmodell (1) Entscheidungsverfahren (1) Fehlertoleranz (1) Großes Datenbanksystem (1) Intelligence artificielle (1) Komplexität (1) Kryptologie (1) Künstliche Intelligenz (1) Leistungsbewertung (1) Lernendes System (1) Limburg <Lahn, 2011> (1) Logischer Schluss (1) Merkmalsextraktion (1) Metamodell (1) Middleware (1) Modellgetriebene Entwicklung (1) Modellierung (1) Multimédia (1) Nebenläufigkeit (1) Netzwerkverwaltung (1) Objektorientierung (1) Petri-Netz (1) Programmierung (1) Simulation (1) Soft computing (1) Softwaresystem (1) Sprachsignal (1) Systemmodell (1) Trusted Computing (1) artificial intelligence (1)

Contributor

AOSE, Budapest (2) FMICS, Trient (2) Walther, Christoph (2) DCFS, Limburg a. d. Lahn (1) ESOP, Saarbrücken (1) ETAPS,, Saarbrücken (1) ICTAC, Johannesburg (1) INCT, Teheran (1) International Conference on F… (1) Li, Qi (1) MoChArt, Atlanta, Ga.) (1) PETRI NETS, Newcastle-upon-Ty… (1) SBMF, São Paulo (1) SOFSEM, Vysoké Tatry- Nový Sm… (1) Talcott, Carolyn L. (1)

Publisher

Springer (16) Springer Berlin Heidelberg (3)

Year

2012 (1) 2011 (13) 2010 (5)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type