Search Results for Logic

1.

Primarily logic

Author

Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.

Preferred Shelf Number

LB1590.3 L45 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Logic Safari

Author

Risby, Bonnie Lou. Palouda, Annelise.

Preferred Shelf Number

BC101 R57 2005 V.1

Format:

Availability

Beytepe Library~3

Available:
Copies:

3.

Logic countdown

Author

Risby, Bonnie Lou. Crawford, Dean.

Format:

Availability

~0

Available:
Copies:

4.

Orbiting with logic

Author

Risby, Bonnie Lou. Crawford, Dean.

Preferred Shelf Number

LB1590.3 R57 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Introduction to logic

Author

Suppes, Patrick Colonel, 1922-

Preferred Shelf Number

BC 108 S85 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Fuzzy Equational Logic

Author

Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Handbook of Philosophical Logic

Author

Gabbay, D.M. Guenthner, F. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3092-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Logic, Thought and Action

Author

Vanderveken, Daniel. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3167-X

Format:

Availability

Online Library~1

Available:
Copies:

9.

Studies in Legal Logic

Author

Hage, Jaap. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3552-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Advances in modal logic

Author

Kracht, Marcus, ed.

Preferred Shelf Number

BC 199.M6 A38 1998- V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

11.

Logic design of nanoICs

Author

Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

12.

Logic Programming with Prolog

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-212-8

Format:

Availability

Online Library~1

Available:
Copies:

13.

Introduction to logic design

Author

Marcovitz, Alan B.

Preferred Shelf Number

TK7868 L6 M355 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

The logic of practice

Author

Bourdieu, Pierre, 1930-2002

Preferred Shelf Number

GN 468 B6813 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

Chance, love and logic : philosophical essays

Author

Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.

Preferred Shelf Number

B 945.P43 C5 1923 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

Mathematical logic : A course with exercises

Author

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Preferred Shelf Number

QA 9 C742513 2000 PT.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

17.

Studies in inductive logic and probability

Author

Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.

Preferred Shelf Number

QA 273.4 C37 1971-

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

Logic : the theory of formal inference

Author

Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.

Preferred Shelf Number

BC 108 A55 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Lollipop logic : grades K-2

Author

Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.

Preferred Shelf Number

BC71 R57 2011 V.1

Format:

Availability

Beytepe Library~3

Available:
Copies:

20.

Grounded Consequence for Defeasible Logic

Author

Antonelli, Aldo.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

21.

Handbook of Philosophical Logic, 2nd Edition

Author

Gabbay, D.M. Guenthner, F. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3521-7

Format:

Availability

Online Library~1

Available:
Copies:

22.

Fuzzy Logic, Identification and Predictive Control

Author

Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Fuzzy Logic in Financial Analysis

Author

Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32368-6

Format:

Availability

Online Library~1

Available:
Copies:

24.

Fundamentals of digital logic and microcomputer design

Author

Rafiquzzaman, Mohamed.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609
John Wiley http://dx.doi.org/10.1002/0471733520
John Wiley http://dx.doi.org/10.1002/9780471733522
http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380

Format:

Availability

Online Library~1

Available:
Copies:

25.

Quantifying Environmental Impact Assessments Using Fuzzy Logic

Author

Shepard, Richard B. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28098-7

Format:

Availability

Online Library~1

Available:
Copies:

26.

Phenomenology, Logic, and the Philosophy of Mathematics

Author

Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

27.

Logic safari. Book 1, grades 2-3

Author

Risby, Bonnie Lou. Palouda, Annelise, illustrator.

Format:

Availability

~0

Available:
Copies:

28.

The rise of modern logic from Leibniz to Frege

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444516114

Format:

Availability

Online Library~1

Available:
Copies:

29.

The technique of controversy : principles of dynamic logic

Author

Bogoslovsky, Boris Basil, 1890-

Preferred Shelf Number

BC 108 B65 1928 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

30.

The limits of science : outline of logic and of the methodology of the exact sciences

Author

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

31.

Postmodernism, or, The cultural logic of late capitalism

Author

Jameson, Fredric.

Preferred Shelf Number

PN 98.P67 J3 1991

Format:

Availability

Beytepe Library~2

Available:
Copies:

32.

Logic, meaning, and conversation semantical underdeterminacy, implicature, and their interface

Author

Atlas, Jay David.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195133004.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

33.

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Author

Solojentsev, E. D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2978-0

Format:

Availability

Online Library~1

Available:
Copies:

34.

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits

Author

Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2888-1

Format:

Availability

Online Library~1

Available:
Copies:

35.

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

Author

Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Author

Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

Author

Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Author

Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Logica Universalis Towards a General Theory of Logic

Author

Beziau, Jean-Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management

Author

Simchi-Levi, David. author. Chen, Xin. author. Bramel, Julien. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

Author

Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Logically determined design clockless system design with NULL convention logic

Author

Fant, Karl M.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Author

Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

Author

Etalle, Sandro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

Author

Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

Author

Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Author

Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

Author

Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

The logic of environmentalism : anthropology, ecology, and postcoloniality

Author

Argyrou, Vassos.

Preferred Shelf Number

GF21 .A74 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

51.

Reasoning Robots The Art and Science of Programming Robotic Agents

Author

Thielscher, Michael. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3069-X

Format:

Availability

Online Library~1

Available:
Copies:

52.

A Modern Perspective on Type Theory From its Origins until Today

Author

Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2335-9

Format:

Availability

Online Library~1

Available:
Copies:

53.

The reach of abduction insight and trial

Author

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444517913

Format:

Availability

Online Library~1

Available:
Copies:

54.

Anaphora and Type Logical Grammar

Author

JÄger, Gerhard. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3905-0

Format:

Availability

Online Library~1

Available:
Copies:

55.

Nature's Principles

Author

Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3258-7

Format:

Availability

Online Library~1

Available:
Copies:

56.

Nature's principles

Author

Faye, Jan.

Preferred Shelf Number

BD581 .B35 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

57.

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N5 1930 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

58.

Logical studies

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 6 W72 1957 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

59.

A treatise on induction and probability

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 91 W72 1951 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

60.

The foundations of mathematics : and other logical essays

Author

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

61.

The nature of mathematics : a critical survey

Author

Black, Max, 1909-

Preferred Shelf Number

QA 9 B62 1933 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

62.

Cylindric algebras

Author

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Preferred Shelf Number

QA 9 H415 1971- V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

63.

An examination of logical positivism

Author

Weinberg, Julius Rudolf, 1908-

Preferred Shelf Number

B 824.6 W434 1936 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

64.

Theoretical Knowledge

Author

Stepin, Vyacheslav. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3046-0

Format:

Availability

Online Library~1

Available:
Copies:

65.

From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski

Author

Rojszczak, Artur. Wolenski, Jan. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3397-4

Format:

Availability

Online Library~1

Available:
Copies:

66.

The Dynamics of Thought

Author

Gärdenfors, Peter. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3399-0

Format:

Availability

Online Library~1

Available:
Copies:

67.

Visualization, Explanation and Reasoning Styles in Mathematics

Author

Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3335-4

Format:

Availability

Online Library~1

Available:
Copies:

68.

Nonlinear biomedical signal processing

Author

Akay, Metin.

Preferred Shelf Number

QT 26.5 N813 2000-

Format:

Availability

Health Sciences Library~1

Available:
Copies:

69.

Communication : a philosophical study of language

Author

Britton, Karl, 1909-

Preferred Shelf Number

P 105 B75 1939 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

70.

Dialectic

Author

Adler, Mortimer Jerome, 1902-

Preferred Shelf Number

BC 177 A4 1927 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

71.

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937 P (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

72.

Nonlinear biomedical signal processing

Author

Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.

Preferred Shelf Number

R 857.S47 N66 2000- V.2

Format:

Availability

Beytepe Library~3

Available:
Copies:

73.

İslam mantık tarihi ve Farabi mantığı

Author

Keklik, Nihat.

Preferred Shelf Number

BC 34 K4 1969-70

Format:

Availability

Beytepe Library~1

Available:
Copies:

74.

Fuzzy modeling and genetic algorithms for data mining and exploration

Author

Cox, Earl.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780121942755

Format:

Availability

Online Library~1

Available:
Copies:

75.

Demystifying chipmaking

Author

Yanda, Richard F. Heynes, Michael. Miller, Anne K.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780750677608

Format:

Availability

Online Library~1

Available:
Copies:

76.

Computationally intelligent hybrid systems the fusion of soft computing and hard computing

Author

Ovaska, Seppo J., 1956- Institute of Electrical and Electronics Engineers. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218879

Format:

Availability

Online Library~1

Available:
Copies:

77.

Language, Meaning, Interpretation

Author

Fløistad, Guttorm. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2195-X

Format:

Availability

Online Library~1

Available:
Copies:

78.

Categories for Software Engineering

Author

Fiadeiro, José Luiz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Einführung in die Informatik Objektorientiert mit Java

Author

Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Field Arithmetic

Author

Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Complexity Theory Exploring the Limits of Efficient Algorithms

Author

Wegener, Ingo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-27477-4

Format:

Availability

Online Library~1

Available:
Copies:

82.

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

Author

Kurki-Suonio, Reino. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Abstract Computing Machines A Lambda Calculus Perspective

Author

Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Author

Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

Author

Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Author

Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Author

Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

Author

Godefroid, Patrice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Author

Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Author

Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Author

Abadi, Martín. editor. Alfaro, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

Author

Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

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:

94.

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:

95.

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:

96.

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:

97.

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:

98.

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:

99.

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:

100.

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:

101.

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:

102.

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:

103.

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:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

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:

110.

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Author

Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Rippling: Meta-Level Guidance for Mathematical Reasoning

Author

Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

112.

A Baker's dozen real analog solutions for digital designers

Author

Baker, Bonnie (Bonnie C.)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780750678193

Format:

Availability

Online Library~1

Available:
Copies:

113.

Taxonomies for the Development and Verification of Digital Systems

Author

Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

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:

115.

Essays in Constructive Mathematics

Author

Edwards, Harold M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

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:

117.

New Algorithms, Architectures and Applications for Reconfigurable Computing

Author

Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3128-9

Format:

Availability

Online Library~1

Available:
Copies:

118.

Trends in Continuum Mechanics of Porous Media

Author

Boer, Reint. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3144-0

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921)

Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921)

Author

Melle, Ullrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3574-8

Format:

Availability

Online Library~1

Available:
Copies:

120.

Propositional and Predicate Calculus A Model of Argument

Author

Goldrei, Derek. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-229-2

Format:

Availability

Online Library~1

Available:
Copies:

121.

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

Author

Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Author

Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Cover image for Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

Author

Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Cover image for Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

Author

Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Author

Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

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:

127.

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:

128.

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:

129.

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:

130.

An introduction to Kant's aesthetics core concepts and problems

Author

Wenzel, Christian Helmut. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005009258-b.html
John Wiley http://dx.doi.org/10.1002/9780470776599

Format:

Availability

Online Library~1

Available:
Copies:

131.

Information, Interaction and Agency

Author

Hoek, Wiebe. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4094-6

Format:

Availability

Online Library~1

Available:
Copies:

132.

Argumentation Methods for Artificial Intelligence in Law

Author

Walton, Douglas. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-27881-8

Format:

Availability

Online Library~1

Available:
Copies:

133.

Laws of Nature

Author

Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28303-X

Format:

Availability

Online Library~1

Available:
Copies:

134.

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Author

Trinder, Phil. editor. Michaelson, Greg J. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

Author

Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-27692-0

Format:

Availability

Online Library~1

Available:
Copies:

136.

Valued Fields

Author

Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-30035-X

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Author

Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Author

Cousot, Radhia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Inconsistency Tolerance

Author

Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

Author

Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

Author

Calude, Cristian S. editor. Calude, Elena. editor. Dinneen, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

Author

Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Author

Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Author

Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Author

Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

Author

Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cover image for Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Author

Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Author

Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Author

Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Author

Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

Author

Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Author

Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

Author

Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Author

Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Author

Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

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:

158.

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:

159.

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:

160.

Cover image for Model Driven Architecture 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

Model Driven Architecture 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

Author

Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Author

Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Author

Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

Author

Margenstern, Maurice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Author

Roy, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Author

Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Author

Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

Author

Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Author

Nieuwenhuis, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Author

Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

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:

171.

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

Author

Urzyczyn, Paweł. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Author

Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

Author

Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

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:

175.

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:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

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:

182.

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:

183.

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:

184.

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:

185.

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:

186.

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:

187.

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:

188.

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

Author

Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Cover image for Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

Author

Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

Author

Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

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:

192.

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:

193.

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:

194.

Computer-aided intelligent recognition techniques and applications

Author

Sarfraz, Muhammad. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/0470094168

Format:

Availability

Online Library~1

Available:
Copies:

195.

The Big Typescript, TS. 213

Author

Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html
John Wiley http://dx.doi.org/10.1002/9780470752906

Format:

Availability

Online Library~1

Available:
Copies:

196.

The proper treatment of events

Author

Lambalgen, Michiel van, 1954- Hamm, Fritz, 1953- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470759257

Format:

Availability

Online Library~1

Available:
Copies:

197.

Foundations of intensional semantics

Author

Fox, Chris, 1965- Lappin, Shalom. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470773543
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005010277-b.html

Format:

Availability

Online Library~1

Available:
Copies:

198.

Bilimsel araştırmanın mantığı

Author

Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.

Preferred Shelf Number

Q175.3 P67 2005

Format:

Availability

Law Library~1 Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}