JuLib | Books & more - {*}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Electronic Edition

Logic design AND Software engineering

Reset Filters

Show filters (3)

Electronic Edition

Logic design AND Software engineering

Ask a Librarian

Books & more: Hits 161 - 180 of 698

sort by

Select all titles on this page

Select result number 161

161

Formal Methods in Computer-Aided Design [E-Book] : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings /

E-Book

Formal Methods in Computer-Aided Design [E-Book] : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings /

Aagaard, Mark D.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 162

162

Interactive Systems:Design, Specification, and Verification [E-Book] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers /

E-Book

Interactive Systems:Design, Specification, and Verification [E-Book] : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers /

Forbrig, Peter.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 163

163

Practical Aspects of Declarative Languages [E-Book] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings /

E-Book

Practical Aspects of Declarative Languages [E-Book] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings /

Dahl, Veronica.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 164

164

Abstract State Machines 2003 [E-Book] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

E-Book

Abstract State Machines 2003 [E-Book] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings /

Börger, Egon.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 165

165

Agent-Oriented Software Engineering III [E-Book] : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions /

E-Book

Agent-Oriented Software Engineering III [E-Book] : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions /

Giunchiglia, Fausto.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 166

166

Specification and Verification of Declarative Open Interaction Models [E-Book] : A Logic-Based Approach /

E-Book

Specification and Verification of Declarative Open Interaction Models [E-Book] : A Logic-Based Approach /

Montali, Marco.
2010

Full text

Favorites

Saved in:

QR Code

Select result number 167

167

Reflection and Software Engineering [E-Book] /

E-Book

Reflection and Software Engineering [E-Book] /

Cazzola, Walter.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 168

168

Formal Methods for Components and Objects (vol. # 3657) [E-Book] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

E-Book

Formal Methods for Components and Objects (vol. # 3657) [E-Book] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Bonsangue, Marcello M.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 169

169

Formal Techniques for Networked and Distributed Systems - FORTE 2005 [E-Book] / 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

E-Book

Formal Techniques for Networked and Distributed Systems - FORTE 2005 [E-Book] / 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Wang, Farn.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 170

170

Computer Safety, Reliability, and Security (vol. # 3688) [E-Book] / 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

E-Book

Computer Safety, Reliability, and Security (vol. # 3688) [E-Book] / 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Dahll, Gustav.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 171

171

Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

E-Book

Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Peled, Doron A.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 172

172

Advanced Functional Programming [E-Book] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /

E-Book

Advanced Functional Programming [E-Book] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /

Jeuring, Johan.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 173

173

Applications and Theory of Petri Nets 2003 [E-Book] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

E-Book

Applications and Theory of Petri Nets 2003 [E-Book] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

Van der Aalst, Wil M. P.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 174

174

Communication in Multiagent Systems [E-Book] : Agent Communication Languages and Conversation Policies /

E-Book

Communication in Multiagent Systems [E-Book] : Agent Communication Languages and Conversation Policies /

Huget, Marc-Phillipe.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 175

175

Extreme Programming and Agile Methods - XP/Agile Universe 2003 [E-Book] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /

E-Book

Extreme Programming and Agile Methods - XP/Agile Universe 2003 [E-Book] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /

Maurer, Frank.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 176

176

Theorem Proving in Higher Order Logics [E-Book] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

E-Book

Theorem Proving in Higher Order Logics [E-Book] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

Bertot, Yves.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 177

177

Human Machine Interaction [E-Book] : Research Results of the MMI Program /

E-Book

Human Machine Interaction [E-Book] : Research Results of the MMI Program /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 178

178

Inductive Synthesis of Functional Programs [E-Book] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning /

E-Book

Inductive Synthesis of Functional Programs [E-Book] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning /

Schmid, Ute.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 179

179

Intelligent Agents VIII [E-Book] : Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers /

E-Book

Intelligent Agents VIII [E-Book] : Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers /

Meyer, John-Jules Ch.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 180

180

Computer Aided Verification [E-Book] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings /

E-Book

Computer Aided Verification [E-Book] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings /

Brinksma, Ed.
2002

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
4
5
6
7
8
9
10
11
12
13
14
Next
[35]

Narrow Search Results

Electronic Edition

Conference Publication 593 Theses 1

From:

To:

Vardi, Moshe Y. 30 Nierstrasz, Oscar 28 Steffen, Bernhard 28 Hutchison, David 27 Kanade, Takeo 27 Kittler, Josef 27 more ... Kleinberg, Jon M. 27 Mattern, Friedemann 27 Mitchell, John C. 27 Pandu Rangan, C. 27 Sudan, Madhu 27 Terzopoulos, Demetri 27 Tygar, Doug 27 Weikum, Gerhard 27 Naor, Moni 26 Bonsangue, Marcello M. 8 Stafford, Judith A. 7 Voronkov, Andrei 7 Liu, Zhiming 6 Peled, Doron A. 6 Reed, Rick 5 Steffen, Bernhard. 5 Woodcock, Jim 5 Backhouse, Roland C. 4 Baldoni, Matteo 4 Bjørner, Dines. 4 Boer, Frank S. 4 Broy, Manfred. 4 Davies, Jim. 4 Dix, Jürgen 4 see all ... less ...

Logic design Software engineering Computer science 634 Computer Communication Networks 219 Artificial intelligence 165 Information Systems 77 more ... Operating systems (Computers) 65 Computer software 53 Information systems 35 Computer system performance 26 Computer simulation 23 Algebra 22 Computational complexity 22 Information storage and retrieval systems 18 Data structures (Computer science) 17 Multimedia systems 15 Database management 13 Computer network architectures 12 Information theory 12 Management information systems 11 Coding theory 9 Computer hardware 9 Data encryption (Computer science) 8 Data protection 6 Computer aided design 5 Engineering 5 Logic, Symbolic and mathematical 5 Structural control (Engineering) 5 Data mining 4 Telecommunication 4 see all ... less ...

MWE - Decision theory, game theory 1

English 601 German 2

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...