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 141 - 160 of 698

sort by

Select all titles on this page

Select result number 141

141

Cryptographic Hardware and Embedded Systems -- CHES 2003 [E-Book] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /

E-Book

Cryptographic Hardware and Embedded Systems -- CHES 2003 [E-Book] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /

Koc, Cetin K.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 142

142

Computer Aided Verification [E-Book] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings /

E-Book

Computer Aided Verification [E-Book] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings /

Halbwachs, Nicolas.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 143

143

Meta-Level Architectures and Reflection [E-Book] : Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings /

E-Book

Meta-Level Architectures and Reflection [E-Book] : Second International Conference, Reflection’99 Saint-Malo, France, July 19–21, 1999 Proceedings /

Cointe, Pierre.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 144

144

Agent Communication [E-Book] / International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004

E-Book

Agent Communication [E-Book] / International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004

Dignum, Frank.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 145

145

Issues in Agent Communication [E-Book] /

E-Book

Issues in Agent Communication [E-Book] /

Dignum, Frank.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 146

146

Hybrid Systems: Computation and Control (vol. # 3414) [E-Book] / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

E-Book

Hybrid Systems: Computation and Control (vol. # 3414) [E-Book] / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Morari, Manfred.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 147

147

Reachability Problems [E-Book] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /

E-Book

Reachability Problems [E-Book] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /

Kučera, Antonín
2010

Full text

Favorites

Saved in:

QR Code

Select result number 148

148

Formal Models of Agents [E-Book] : ESPRIT Project ModelAge Final Workshop Selected Papers /

E-Book

Formal Models of Agents [E-Book] : ESPRIT Project ModelAge Final Workshop Selected Papers /

Meyer, John-Jules Ch.
1999

Full text

Favorites

Saved in:

QR Code

Select result number 149

149

Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

E-Book

Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

Goré, Rajeev.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 150

150

Computer Aided Verification [E-Book] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings /

E-Book

Computer Aided Verification [E-Book] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings /

Berry, Gérard.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 151

151

Model Driven Architecture [E-Book] / European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers

E-Book

Model Driven Architecture [E-Book] / European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Swed...

Aksit, Mehmet
2005

Full text

Favorites

Saved in:

QR Code

Select result number 152

152

Cryptographic Hardware and Embedded Systems — CHES 2001 [E-Book] : Third International Workshop Paris, France, May 14–16, 2001 Proceedings /

E-Book

Cryptographic Hardware and Embedded Systems — CHES 2001 [E-Book] : Third International Workshop Paris, France, May 14–16, 2001 Proceedings /

Koç, Çetin K.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 153

153

Modular Programming Languages [E-Book] : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /

E-Book

Modular Programming Languages [E-Book] : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /

Gutknecht, Jürg.
2000

Full text

Favorites

Saved in:

QR Code

Select result number 154

154

Semantics, Applications, and Implementation of Program Generation [E-Book] : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings /

E-Book

Semantics, Applications, and Implementation of Program Generation [E-Book] : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings /

Taha, Walid.
2001

Full text

Favorites

Saved in:

QR Code

Select result number 155

155

Formal Methods and Software Engineering [E-Book] : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings /

E-Book

Formal Methods and Software Engineering [E-Book] : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings /

George, Chris.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 156

156

Object-Oriented Technology ECOOP 2002 Workshop Reader [E-Book] : ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings /

E-Book

Object-Oriented Technology ECOOP 2002 Workshop Reader [E-Book] : ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings /

Hernández, Juan.
2002

Full text

Favorites

Saved in:

QR Code

Select result number 157

157

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 158

158

Logic for Programming, Aritficial Intelligence, and Reasoning [E-Book] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

E-Book

Logic for Programming, Aritficial Intelligence, and Reasoning [E-Book] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

Hermann, Miki
2006

Full text

Favorites

Saved in:

QR Code

Select result number 159

159

Correct Hardware Design and Verification Methods [E-Book] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /

E-Book

Correct Hardware Design and Verification Methods [E-Book] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /

Geist, Daniel.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 160

160

Leveraging Applications of Formal Methods [E-Book] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

E-Book

Leveraging Applications of Formal Methods [E-Book] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Maragria, Tiziana
2006

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

[1]
Prev
3
4
5
6
7
8
9
10
11
12
13
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...