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
Preview Version:
You're viewing our new catalog design.
Share your feedback
or
return to the current catalog
.
Find Materials By
Format
Toggle Format Facet
Electronic
829
Print
794
Book
554
Musical Score
239
Audio (CD)
50
More Formats
Library Location
Toggle Library Location Facet
Joyner Library
1267
Music Library
1045
Laupus Library
686
Publication Date
Toggle Publication Date Facet
Since 2020
132
2010-2019
404
2000-2009
390
1990-1999
293
1980-1989
111
More Publication Dates
Call Number
Toggle Call Number Facet
M - Music
259
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
817
Laupus E-Resources
637
Joyner Stacks
462
Music Circulating Collection
200
Music Media Collection
76
More Collections
Language
Toggle Language Facet
English
1119
German
227
Latin
48
French
47
Italian
39
More Languages
Genre
Toggle Genre Facet
Electronic books
633
Congresses
124
Scores and parts
83
Scores
71
Biography
30
More Genres
Era
Toggle Era Facet
20th century
35
19th century
19
17th century
9
18th century
9
16th century
7
More Eras
Region
Toggle Region Facet
Germany
64
United States
47
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 1738 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)