Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(11)
Galatos, Nikolaos.
(2)
Adámek, J..
(1)
Andréka, Hajnal. editor.
(1)
Arnold, A. (André), 1945-
(1)
Dil
Yayın Yılı
-
Konu
Algebraic logic.
(11)
Algebra.
(4)
Lattice theory.
(3)
Logic, Symbolic and mathematical.
(3)
Mathematics.
(3)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
26 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design için kapak resmi
Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design
Yazar 
International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Classical algebra its nature, origins, and uses için kapak resmi
Classical algebra its nature, origins, and uses
Yazar 
Cooke, Roger, 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Click here to view book
Access restricted to Education Centre Library use, and to students, faculty, and staff of Nipissing University.
John Wiley http://dx.doi.org/10.1002/9780470277980
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Residuated lattices an algebraic glimpse at substructural logics için kapak resmi
Residuated lattices an algebraic glimpse at substructural logics
Yazar 
Galatos, Nikolaos.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Residuated lattices an algebraic glimpse at substructural logics için kapak resmi
Residuated lattices an algebraic glimpse at substructural logics
Yazar 
Galatos, Nikolaos.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Physics with MAPLE the computer algebra resource for mathematical methods in physics için kapak resmi
Physics with MAPLE the computer algebra resource for mathematical methods in physics
Yazar 
Wang, Frank Y. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9783527618934
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories için kapak resmi
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
Yazar 
Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-27692-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Valued Fields için kapak resmi
Valued Fields
Yazar 
Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-30035-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Coherent systems için kapak resmi
Coherent systems
Yazar 
Schlechta, Karl.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Rudiments of [mu]-calculus için kapak resmi
Rudiments of [mu]-calculus
Yazar 
Arnold, A. (André), 1945- Niwiński, Damian.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Cafe an industrial-strength algebraic formal method için kapak resmi
Cafe an industrial-strength algebraic formal method
Yazar 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Symbolic Methods in Control System Analysis and Design için kapak resmi
Symbolic Methods in Control System Analysis and Design
Yazar 
Munro, Neil, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCE056E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory için kapak resmi
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Yazar 
Hailperin, Theodore.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: