Showing
1 - 17
results of
17
for search '
Börger, Egon
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Börger, Egon
Showing
1 - 17
results of
17
for search '
Börger, Egon
'
, query time: 0.05s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Modeling Companion for Software Practitioners by Egon Börger, Alexander Raschke.
by
Börger, Egon
,
Raschke, Alexander
Published 2018
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Abstract State Machines A Method for High-Level System Design and Analysis by Egon Börger, Robert Stärk.
by
Börger, Egon
,
Stärk, Robert
Published 2003
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Java and the Java Virtual Machine Definition, Verification, Validation by Robert F. Stärk, Joachim Schmid, Egon Börger.
by
Stärk, Robert F.
,
Schmid, Joachim
,
Börger, Egon
Published 2001
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Subject-Oriented Business Process Management by Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger.
by
Fleischmann, Albert
,
Schmidt, Werner
,
Stary, Christian
,
Obermeier, Stefan
,
Börger, Egon
Published 2012
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
Architecture Design and Validation Methods edited by Egon Börger.
Published 2000
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Computation Theory and Logic edited by Egon Börger.
Published 1987
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures edited by Egon Börger, Antonio Cisternino.
Published 2008
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers edited by Egon Börger, Yuri Gurevich, Karl Meinke.
Published 1994
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene.
Published 2003
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.
Published 1996
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
CSL'88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.
Published 1989
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 12
12
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.
Published 1988
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 13
13
CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.
Published 1990
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 14
14
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.
Published 2008
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 15
15
Computer Science Logic 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter.
Published 1992
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 16
16
Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld.
Published 1991
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 17
17
Computer Science Logic 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter.
Published 1993
Other Authors:
“…
Börger, Egon
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Electronic resources (E-books)
Computer logic
Mathematical logic
Software engineering
Computers
Programming languages (Electronic computers)
Computer programming
Algorithms
Architecture, Computer
Artificial intelligence
Computer science
Computer system failures
Management information systems
Application software
Applied mathematics
Arithmetic and logic units, Computer
Business
Business—Data processing
Combinatorics
Database management
Engineering mathematics
Industrial management
Information technology
Logic design
Machinery
Management science
Microprocessors
Microprogramming