Showing
1 - 13
results of
13
for search '
Wirsing, Martin
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Wirsing, Martin
Showing
1 - 13
results of
13
for search '
Wirsing, Martin
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
by
Wirsing
,
Martin
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
Adapting Proofs-as-Programs The Curry-Howard Protocol /
by
Poernomo, Iman Hafiz
,
Wirsing
,
Martin
,
Crossley, John Newsome
Published 2005
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /
Published 2011
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
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 20...
Published 2009
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /
Published 2005
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
6
Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
Published 2003
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
7
Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings /
Published 2015
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
8
Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /
Published 2004
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
9
Web Engineering 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings /
Published 2004
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
10
Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
Published 2010
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
11
Software Engineering for Collective Autonomic Systems The ASCENS Approach /
Published 2015
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
12
Software-Intensive Systems and New Computing Paradigms Challenges and Visions /
Published 2008
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
13
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, 2019,...
Published 2019
Other Authors:
“…
Wirsing
,
Martin
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer science
Computer Science
Software engineering
Software Engineering
Computer logic
Logics and Meanings of Programs
Computer Communication Networks
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Computer communication systems
Software Engineering/Programming and Operating Systems
Computer programming
Computers
Mathematical logic
Programming Techniques
Algorithm Analysis and Problem Complexity
Artificial intelligence
Mathematical Logic and Formal Languages
Algorithms
Artificial Intelligence (incl. Robotics)
Coding and Information Theory
Coding theory
Computation by Abstract Devices
Data Encryption
Data encryption (Computer science)
Management of Computing and Information Systems
Application software
Artificial Intelligence
Computer Appl. in Social and Behavioral Sciences
Computer Graphics
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών