Hours
Libraries & Collections
Joyner Library
Laupus Health Sciences Library
Music Library
Digital Collections
Special Collections
Teaching Resources Center
The ScholarShip Institutional Repository
Country Doctor Museum
Get Help
ECU Libraries Catalog
Browse
Call Number
Title
Author
Subject
Series
Advanced Search
Course Reserves
Suggest a Purchase
My Account
Find Materials By
Format
Toggle Format Facet
Electronic
858
Print
800
Book
557
Musical Score
242
Audio (CD)
50
More Formats
Library Location
Toggle Library Location Facet
Joyner Library
1286
Music Library
1077
Laupus Library
714
Publication Date
Toggle Publication Date Facet
Since 2020
37
2010-2019
383
2000-2009
264
1990-1999
137
Call Number
Toggle Call Number Facet
M - Music
262
Q - Science
153
P - Language and Literature
74
H - Social Science
64
B - Philosophy, Psychology, Religion
48
More Call Numbers
Collection
Toggle Collection Facet
Joyner E-Resources
846
Laupus E-Resources
666
Joyner Stacks
462
Music Circulating Collection
203
Music Media Collection
76
More Collections
Language
Toggle Language Facet
English
1133
German
223
Latin
48
French
47
Italian
39
More Languages
Genre
Toggle Genre Facet
Electronic books
662
Congresses
126
Scores and parts
84
Scores
74
Biography
31
More Genres
Era
Toggle Era Facet
20th century
35
19th century
20
18th century
10
17th century
9
16th century
8
More Eras
Region
Toggle Region Facet
Germany
62
United States
51
Europe
32
Austria
11
Great Britain
9
More Regions
Search Results
All Fields
Title
Author
Journal Title
Subject
Series
ISBN/ISSN
Publisher
Advanced
Search
Start Over
You searched for:
author
Beckert,Bernhard
Remove constraint
Showing 1 - 10 of 1758 results
Sort by: Relevance;
Relevance
Year (Descending)
Year (Ascending)
Author (Ascending)
Author (Descending)
Title (Ascending)
Title (Descending)
10 per page
10 per page
20 per page
50 per page
100 per page
Search Results
Automated reasoning with analytic tableaux and related methods
by
TABLEAUX 2005
2005
Format:
Electronic
Location
Access Content Online
Automated reasoning with analytic tableaux and related methods
by
TABLEAUX 2005
2005
Format:
Electronic
Location
Access Content Online
Formal Verification of Object-Oriented Software
by
Beckert, Bernhard
2011
Format:
Electronic
Location
Access Content Online
Formal methods for components and objects
by
FMCO 2011
2013
Format:
Electronic
Location
Access Content Online
Tests and proofs
by
TAP 2008
2008
Format:
Electronic
Location
Access Content Online
Formal Verification of Object-Oriented Software
2012
Format:
Electronic
Location
Access Content Online
Deductive Software Verification ? The KeY Book From Theory to Practice
by
Ahrendt, Wolfgang
2016
Format:
Electronic
Location
Access Content Online
The Logic of Software. A Tasting Menu of Formal Methods Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
by
Ahrendt, Wolfgang
2022
1st ed. 2022
Format:
Electronic
Location
Access Content Online
Verification of object-oriented software
2007
Format:
Electronic
Location
Access Content Online
Empire of cotton
by
Beckert, Sven
2014
Format:
Book
Location
Call #
Status
Joyner - General Stacks
HD9870.5 .B43 2014
✔ Available
Previous
1
2
3
4
5
Next
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)