Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: isPartOf:"Prentice-Hall international series in computer science"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Datenverarbeitung
3
Softwareentwicklung
3
Programmierung
2
Betriebssystem
1
Funktionale Programmierung
1
Informationssystem
1
Mathematische Logik
1
Mehrprozessorsystem
1
Programmiersprache
1
Programmverifikation
1
Software
1
Softwarespezifikation
1
Strukturierte Programmierung
1
Syntax
1
Systementwicklung
1
Systemprogrammierung
1
Theoretische Informatik
1
Verifikation
1
more ...
less ...
Type of publication
All
Book / Working Paper
12
Language
All
Undetermined
7
English
5
Author
All
Backhouse, Roland Carl
1
Bakker, Jacobus Willem de
1
Bjørner, Dines
1
Goldschlager, Les
1
Hehner, Eric C. R.
1
Henderson, Peter
1
Jackson, Michael A.
1
Jones, Cliff B.
1
Joseph, Mathai
1
Lew, Art
1
Lister, Andrew M.
1
MacKeag, Michael
1
Natarajan, N
1
Prasad, V R.
1
Tennent, Robert D.
1
Welsh, Jim
1
more ...
less ...
Source
All
USB Cologne (EcoSocSci)
12
Showing
1
-
10
of
12
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Computer science: a mathematical introduction : (applied mathematics: modeling, analysis and optimization techniques with applications to software systems)
Lew, Art
-
1985
-
1. [Dr.]
Persistent link: https://www.econbiz.de/10004660233
Saved in:
2
A multiprocessor operating system
Joseph, Mathai
;
Prasad, V R.
;
Natarajan, N
-
1984
Persistent link: https://www.econbiz.de/10004561967
Saved in:
3
System development
Jackson, Michael A.
-
1983
Persistent link: https://www.econbiz.de/10004553647
Saved in:
4
Computer science : a modern introduction
Goldschlager, Les
;
Lister, Andrew M.
-
1982
Persistent link: https://www.econbiz.de/10004214581
Saved in:
5
Formal specification and software development
Bjørner, Dines
(
contributor
)
-
1982
Persistent link: https://www.econbiz.de/10004050099
Saved in:
6
Principles of programming languages
Tennent, Robert D.
-
1981
Persistent link: https://www.econbiz.de/10004712376
Saved in:
7
Mathematical theory of program correctness
Bakker, Jacobus Willem de
-
1980
-
1. [Dr.]
Persistent link: https://www.econbiz.de/10004153109
Saved in:
8
Software development : a rigorous approach
Jones, Cliff B.
-
1980
-
1. [Dr.]
Persistent link: https://www.econbiz.de/10004561140
Saved in:
9
Functional programming : application and implementation
Henderson, Peter
-
1980
Persistent link: https://www.econbiz.de/10004057528
Saved in:
10
Structured system programming
Welsh, Jim
;
MacKeag, Michael
-
1980
-
1. [Dr.]
Persistent link: https://www.econbiz.de/10004755402
Saved in:
1
2
Next
Last
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
