Search Results for Type theory.

1.

Categorical logic and type theory

Author

Jacobs, Bart.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Treatise on Intuitionistic Type Theory

Author

Granström, Johan Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1736-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Multivariate Bonferroni-type inequalities : theory and applications

Author

Chen, Tuhao, author.

Preferred Shelf Number

ONLINE(357112.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Type-2 Fuzzy Logic: Theory and Applications

Author

Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76284-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

A transfinite type theory with type variables

Author

Andrews, P. B. (Peter Bruce), 1937-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Author

Farmer, William M. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520259.1)

Electronic Access

https://doi.org/10.1007/978-3-031-21112-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Introduction to type-2 fuzzy logic control : theory and applications

Author

Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.

Preferred Shelf Number

ONLINE(341947.1)

Electronic Access

CLICK HERE for online access
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961
ebrary http://site.ebrary.com/id/10882750
John Wiley http://dx.doi.org/10.1002/9781118886540
MyiLibrary http://www.myilibrary.com?id=618887

Format:

Availability

Online Library~1

Available:
Copies:

8.

Mean Field Games and Mean Field Type Control Theory

Author

Bensoussan, Alain. author. Frehse, Jens. author. Yam, Phillip. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332423.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-8508-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Advances in Type-2 Fuzzy Sets and Systems Theory and Applications

Author

Sadeghian, Alireza. editor. Mendel, Jerry M. editor. Tahayori, Hooman. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332085.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6666-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Weyl group multiple Dirichlet series : type A combinatorial theory

Author

Brubaker, Ben, 1976- Bump, Daniel, 1952- Friedberg, Solomon, 1958-

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7rwt6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Fixed Point Theory for Lipschitzian-type Mappings with Applications

Author

Sahu, D. R. author. O'Regan, Donal. author. Agarwal, Ravi P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75818-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Elements of the Representation Theory of Associative Algebras Volume 2. Tubes and Concealed Algebras of Euclidean type.

Author

Simson, Daniel. Skowroński, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

13.

Theory of preliminary test and Stein-type estimation with applications

Author

Saleh, A. K. Md. Ehsanes. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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:

15.

Cover image for Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Author

Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520791.1)

Electronic Access

https://doi.org/10.1007/978-3-031-22944-2

Format:

Availability

Online Library~1

Available:
Copies:

16.

Codes, Cryptology and Information Security 4th International Conference, C2SI 2023, Rabat, Morocco, May 29-31, 2023, Proceedings

Author

El Hajji, Said. editor. Mesnager, Sihem. editor. Souidi, El Mamoun. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520866.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33017-9

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Wies, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520944.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30044-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Author

Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521027.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34609-5

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings

Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings

Author

Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.

Preferred Shelf Number

XX(521398.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35305-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Beyond Left and Right Handedness A Practice-based Approach to Assessing and Analysing Handedness Dimensions and Types

Author

Kraus, Elke. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521808.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24389-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings

Author

Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518497.1)

Electronic Access

https://doi.org/10.1007/978-3-319-17957-5

Format:

Availability

Online Library~1

Available:
Copies:

22.

Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Author

Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518954.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15931-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Author

Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519118.1)

Electronic Access

https://doi.org/10.1007/978-3-662-45824-2

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Author

Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519146.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46823-4

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(519161.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Author

Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519034.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22053-6

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Author

Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519040.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46906-4

Format:

Availability

Online Library~1

Available:
Copies:

28.

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Author

Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519043.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22102-1

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

Author

Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519061.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48119-6

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46669-8

Format:

Availability

Online Library~1

Available:
Copies:

31.

Mathematical techniques for wave interaction with flexible structures

Author

Sahoo, Trilochan.

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:

32.

Game theory in communication networks cooperative resolution of interactive networking scenarios

Author

Antoniou, Josephina. Pitsillides, A. (Andreas)

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:

33.

The question of psychological types : the correspondence of C.G. Jung and Hans Schmid-Guisan, 1915-1916

Author

Beebe, John. Falzeder, Ernst.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt1r2fzs

Format:

Availability

Online Library~1

Available:
Copies:

34.

SOI lubistors : lateral, unidirectional, bipolar-type insulated-gate transistors

Author

Omura, Y. (Yasuhisa)

Preferred Shelf Number

ONLINE(341557.1)

Electronic Access

http://dx.doi.org/10.1002/9781118487914

Format:

Availability

Online Library~1

Available:
Copies:

35.

Handbook of micromechanics and nanomechanics

Author

Li, Shaofan. Gao, Xin-Lin.

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:

36.

Personal relationships the effect on employee attitudes, behavior, and well-being

Author

Eby, Lillian Turner de Tormes, 1964- Allen, Tammy D.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

37.

Dynamics of the chemostat a bifurcation theory approach

Author

Ajbar, Abdelhamid. Alhumaizi, K. (Khalid)

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:

38.

Industrial applications of molecular simulations

Author

Meunier, Marc.

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:

39.

Electric power transformer engineering

Author

Harlow, James H.

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:

40.

Joint models for longitudinal and time-to-event data with applications in R

Author

Rizopoulos, Dimitris.

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:

41.

The theory of logical types

Author

Copi, Irving, M.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

42.

Introduction to contextual processing theory and applications

Author

Vert, Gregory. Iyengar, S. S. (Sundararaja S.) Phoha, Vir V.

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:

43.

Localization and perturbation of zeros of entire functions

Author

Gil?, M. I. (Mikhail Iosifovich)

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:

44.

Elements of the representation theory of associative algebras

Author

Simson, Daniel Skowroński, Andrzej.

Preferred Shelf Number

QA251.5 A767 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

45.

Electric power transformer engineering

Author

Harlow, James H.

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:

	{displayName}	{count}
{error}