10 results
Skip to content
Toggle navigation
VuFind
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
0
items
(Full)
Your Account
Log Out
Login
Language
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
اللغة العربية
বাংলা
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
Author
Wirsing, M.
Showing
1
-
10
of
10
for search:
'Wirsing, M.'
, query time: 0.09s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
1
Software-intensive systems and new computing paradigms : challenges and visions
Published: Springer-Verlag, 2008
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
2
Rigorous software engineering for service-oriented systems : results of the SENSORIA Project on software engineering for service-oriented computing
1st ed.
Published: Springer, 2011
Description: 1 online resource (746 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
3
Adapting proofs-as-programs : the Curry-Howard protocol
by
Poernomo, Iman Hafiz, 1976-
Published: Springer, 2005
Description: 1 online resource (xi, 420 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
4
Theoretical aspects of computing -- ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings
Published: Springer, 2005
Description: 1 online resource (xiv, 614 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
5
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering
Published: Springer, 2015
Description: 1 online resource (xiv, 694 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
6
Software engineering for collective autonomic systems : the ASCENS Approach
Published: Springer, 2015
Description: 1 online resource (xiv, 535 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
7
Fundamental approaches to software engineering : 12th International Conference, FASE 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS...
Published: Springer, 2009
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
8
Trustworthly [ie: Trustworthy] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Published: Springer-Verlag, 2010
Description: 1 online resource (xi, 378 pages).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
9
Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
Published: Springer, 2015
Description: 1 online resource (xxvii, 858 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
10
Digital education : at the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 20...
Published: Springer, 2019
Description: 1 online resource (x, 189 pages) : illustrations (some color).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
Select Page | with selected:
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
Software engineering
Abstract data types (Computer science)
Artificial intelligence
Algorithms
Autonomic computing
Computer graphics
Computer networks
Computer networks Security measures
Computer science
Computer security
Computer software Validation
Computer software Verification
Curry-Howard isomorphism
Electronic data processing
Functional programming (Computer science)
Image processing
Information technology
Information theory
Knowledge acquisition (Expert systems)
Lambda calculus
Logic, Symbolic and mathematical
MOOCs (Web-based instruction)
MOOCs (Web-based instruction) Evaluation
MOOCs (Web-based instruction) Psychological aspects
Pattern perception
Proof theory
Service-oriented architecture (Computer science)
Systems engineering
Web services
×
Loading...