Search Results for Logic

1.

Cover image for Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

Author

Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11561163

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Author

Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11545262

Format:

Availability

Online Library~1

Available:
Copies:

3.

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

Author

Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106766

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Author

Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107129

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Author

Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11562948

Format:

Availability

Online Library~1

Available:
Copies:

6.

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Author

Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11547662

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107194

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Sassone, Vladimiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106850

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Cerioli, Maura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107062

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Bodik, Rastislav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107108

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Sagiv, Mooly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107380

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Author

Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11563228

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Author

Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b135596

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Author

Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11560548

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Author

Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137052

Format:

Availability

Online Library~1

Available:
Copies:

16.

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

Author

Giesl, Jürgen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b135673

Format:

Availability

Online Library~1

Available:
Copies:

17.

Model-Based Testing of Reactive Systems Advanced Lectures

Author

Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137241

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Author

Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136772

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

Author

Guelfi, Nicolas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136153

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

Author

Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136292

Format:

Availability

Online Library~1

Available:
Copies:

21.

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

Author

Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136248

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Author

Beek, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11564751

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

Author

Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11558569

Format:

Availability

Online Library~1

Available:
Copies:

24.

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Author

Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11560647

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Author

Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11556930

Format:

Availability

Online Library~1

Available:
Copies:

26.

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

Author

Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11574620

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

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

Author

Wang, Farn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11562436

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Author

Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11589976

Format:

Availability

Online Library~1

Available:
Copies:

29.

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

Author

Yi, Kwangkeun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11575467

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Author

Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11576280

Format:

Availability

Online Library~1

Available:
Copies:

31.

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Author

Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106663

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Author

Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106468

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Author

Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105887

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Author

Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136154

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

Author

Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11580072

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

Author

Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11587514

Format:

Availability

Online Library~1

Available:
Copies:

37.

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

Author

Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106974

Format:

Availability

Online Library~1

Available:
Copies:

38.

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

Author

Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11590712

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Author

Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11590156

Format:

Availability

Online Library~1

Available:
Copies:

40.

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Author

Black, Andrew P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11531142

Format:

Availability

Online Library~1

Available:
Copies:

41.

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

Author

Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b103251

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

Author

Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107134

Format:

Availability

Online Library~1

Available:
Copies:

43.

Abstraction, Refinement and Proof for Probabilistic Systems

Author

McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138392

Format:

Availability

Online Library~1

Available:
Copies:

44.

Adapting Proofs-as-Programs The Curry-Howard Protocol

Author

Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28183-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}