Search Results for Set Theory.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Kütüphane: Çevrimiçi Kütüphane

Yazar

SpringerLink (Online service)

(56)

Taylor and Francis.

(6)

Fraenkel, Abraham Adolf, 1891-1965.

(3)

Mostowski, Andrzej.

(3)

Abraham, Ajith. editor.

(2)

Banerjee, Mohua. editor.

(2)

Bar-Hillel, Yehoshua.

(2)

Bernays, Paul, 1888-1977.

(2)

Cantone, Domenico. author.

(2)

Cârjă, Ovidiu.

(2)

Djeraba, Chabane. author.

(2)

(2)

Fraïssé, Roland.

(2)

Kanamori, Akihiro. editor.

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

Lipschutz, Seymour.

(2)

(2)

Mekler, Alan H.

(2)

Morse, Anthony P. (Anthony Perry)

(2)

(2)

Schimmerling, Ernest.

(2)

Seising, Rudolf. editor.

(2)

Simovici, Dan A. author.

(2)

Tzia, Constantina, editor.

(2)

Varzakas, Theodoros, editor.

(2)

Vrabie, I. I. (Ioan I.), 1951-

(2)

Abe, Jair Minoro. editor.

(1)

Achard, Michel, contributor.

(1)

Ansari, Qamrul Hasan., author.

(1)

Apple Academic Press.

(1)

Appriou, Alain.

(1)

Arai, Kohei. editor.

(1)

Argüelles Méndez, Luis. author.

(1)

Athanasiadou, Angeliki, contributor.

(1)

Ayres, Frank, 1901-1994.

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

(1)

Baer, Eugen, contributor.

(1)

Bagaria, Joan. editor.

(1)

Bar-Hillel, Yehoshua, joint author.

(1)

Bartoszyński, Kazimierz, contributor.

(1)

Beckmann, Arnold. editor.

(1)

Bedny, Gregory Z., author.

(1)

Bedny, Inna, author.

(1)

Beierle, Christoph. editor.

(1)

Bello, Rafael. editor.

(1)

Bhatia, Rahul. editor.

(1)

Bhattacharya, Biswanath, Ph. D., author.

(1)

Biliotti, Mauro, 1949-

(1)

Boguslawski, Andrzej, contributor.

(1)

Borneto, Carlo Serra, contributor.

(1)

Botha, Willem J., contributor.

(1)

Bourchtein, Andrei, author.

(1)

Bourchtein, Ludmila, author.

(1)

Brady, Susan A.

(1)

Braga de Costa Campos, Luis Manuel, author.

(1)

(1)

Browne, Cameron. editor.

(1)

(1)

Buczyńska-Garewicz, Hanna, contributor.

(1)

Cai, Ruichu. editor.

(1)

Calimeri, Francesco. editor.

(1)

Campagner, Andrea. editor.

(1)

Capen, Carole Jamieson, contributor.

(1)

Carroll, John B. (John Bissell), 1916-2003, author.

(1)

Casad, Eugene H., editor.

(1)

Casad, Eugene Η., contributor.

(1)

Chakraborty, Mihir. editor.

(1)

Chao, Lee, 1951, author.

(1)

Chapman, Chris, 1966-

(1)

Cheeseman, James R., 1963-

(1)

Chen, G. (Guanrong), author.

(1)

(1)

Cheng, Reynold. editor.

(1)

(1)

Choo, Yun-Huoy. editor.

(1)

Christensen, Jens Peter Reus.

(1)

(1)

Ciesielski, Krzysztof.

(1)

(1)

Conference on Ordered Sets and Their Applications (4th : 1982 : L'Arbresle, France)

(1)

Cooper, William S., author.

(1)

Cornelis, Chris. editor.

(1)

Coupé, Pierrick. editor.

(1)

Crossley, John N.

(1)

Cui, Bin. editor.

(1)

Cummings, James.

(1)

Dash, Subhransu Sekhar. editor.

(1)

Dauns, John., author.

(1)

Davey, Andrew J. H., 1977- author.

(1)

Deane, Paul, contributor.

(1)

Dekhtyar, Alex. editor.

(1)

Delbecque, Nicole, contributor.

(1)

Deng, Lvxiang. editor.

(1)

Deschrijver, Glad. editor.

(1)

Devlin, Frank J., 1949-

(1)

Diaconis, Persi.

(1)

Diker, Murat. author.

(1)

Dirven, René, contributor.

(1)

Dodos, Pandelis. author.

(1)

Doncaster, C. Patrick, author.

(1)

Dovier, Agostino. editor.

(1)

Drake, F. R. (Frank Robert)

(1)

Du, Ding-Zhu. author.

(1)

Dvorský, Jiří. editor.

(1)

Dürrschnabel, Dominik. editor.

(1)

Ebbinghaus, Heinz-Dieter. editor.

(1)

Einstein Institute of Mathematics.

(1)

Erdős, Paul, 1913-1996.

(1)

Erickson, Martin J., 1963, author.

(1)

Falcón, Rafael. editor.

(1)

Faticoni, Theodore G. (Theodore Gerard), 1954- author.

(1)

Feltham, Oliver.

(1)

Ferreirós, José. author.

(1)

Filip, Hana, contributor.

(1)

Fitting, Melvin, 1942-

(1)

Floyd, Rick, contributor.

(1)

Foreman, Matthew. editor.

(1)

Foti, Sebastiano, author.

(1)

Fowler, Carol A.

(1)

Franzén, Torkel, author.

(1)

Fraser, Craig G. editor.

(1)

Fukumoto, Makoto. editor.

(1)

(1)

Gammerman, Alexander. editor.

(1)

(1)

Gao, Su, 1968, author.

(1)

Garg, Sumit, 1975- editor.

(1)

Garvey, Paul R., 1956-

(1)

Gasiński, Leszek.

(1)

Gibbs, Raymond W., contributor.

(1)

(1)

Graham, Ronald L., 1935-

(1)

(1)

Grodziński, Eugeniusz, contributor.

(1)

Gunderson, David S., author.

(1)

Gutierrez, Jaime. editor.

(1)

Györi, Gábor, contributor.

(1)

Halbeisen, Lorenz J. author.

(1)

Han, Kyungsook. editor.

(1)

Helman, Alicja, contributor.

(1)

Hodges, Nicola J., 1970-

(1)

Holówka, Teresa, contributor.

(1)

Horton, Bruce, contributor.

(1)

Hosch, William L., editor.

(1)

Huang, De-Shuang. editor.

(1)

Hubbard, Steven M.

(1)

Huisman, Marieke. author.

(1)

(1)

Ianni, Giovambattista. editor.

(1)

Inoue, Lurdes Y. T. (Lurdes Yoshiko Tani), 1970-

(1)

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)

(1)

International Conference on Biotechnology, Agriculture, Environment and Energy (2014 :Beijing, China)

(1)

International Mathematical Union.

(1)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(1)

Jackson, Alecia Youngblood, 1968-

(1)

Jadacki, Jacek Juliusz, contributor.

(1)

Jaisingh, Lloyd R.

(1)

Janda, Laura A., contributor.

(1)

Jech, Thomas J.

(1)

Jensen, Richard.

(1)

Jha, Vikram, 1943-

(1)

Jian, Lirong., author.

(1)

Johnson, Clayton Matthew.

(1)

Johnson, Norman L. (Norman Lloyd), 1939, author.

(1)

Jones, Donna V., 1964-

(1)

Jäschke, Robert. editor.

(1)

Kacprzyk, Janusz. editor.

(1)

Kandel, Abraham. editor.

(1)

Kapoor, Supriya. editor.

(1)

Karwowski, Waldemar, author.

(1)

Kechris, Alexander S..

(1)

Kemmer, Suzanne £., contributor.

(1)

Kennedy, Juliette.

(1)

Kevelson, Roberta, contributor.

(1)

Kharazishvili, A. B.

(1)

Kharazishvili, A. B., author.

(1)

Kishimoto, Akihiro. editor.

(1)

Kitazume, Masaki, author.

(1)

Klement, E. P. (Erich Peter)

(1)

(1)

Koj, Leon, contributor.

(1)

Komjáth, Péter. author.

(1)

Kosala, Raymond. editor.

(1)

(1)

Krantz, Steven G. (Steven George), 1951-

(1)

Kumar, Rahul. editor.

(1)

Kunen, Kenneth.

(1)

Kusiak, Andrew.

(1)

Labov, William, editor.

(1)

(1)

Landreth, Garry L.

(1)

Lawniczak, Wlodzimierz, contributor.

(1)

Lee, Keedong, contributor.

(1)

Leniewicz, Edward, contributor.

(1)

Liljenström, Hans. editor.

(1)

(1)

Lindenfeld, Jacqueline, contributor.

(1)

(1)

Liu, Xiaodong. author.

(1)

Tümünü genişlet

Dil

(174)

(1)

Yayın Yılı

-

(24)

(16)

(15)

(14)

(14)

(9)

(8)

(7)

(6)

(5)

(5)

(5)

(5)

(5)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

(36)

Logic, Symbolic and mathematical.

(17)

Artificial intelligence.

(13)

(12)

Computational intelligence.

(10)

Axiomatic set theory.

(9)

Computer science.

(6)

(6)

Electronic books.

(6)

(5)

(4)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(4)

MATHEMATICS / Set Theory.

(4)

(4)

Algebra, Boolean.

(3)

Computational complexity.

(3)

Computer science -- Mathematics.

(3)

Control engineering.

(3)

Descriptive set theory.

(3)

Engineering mathematics.

(3)

Functional analysis.

(3)

(3)

(3)

Mathematical analysis.

(3)

Mathematics -- Philosophy.

(3)

Modules (Algebra)

(3)

Set theory -- Congresses.

(3)

Set theory -- Outlines, syllabi, etc.

(3)

Soft computing.

(3)

Algebra, Boolean -- Outlines, syllabi, etc.

(2)

(2)

Algebraic topology.

(2)

Cardinal numbers.

(2)

Combinatorial analysis.

(2)

Combinatorial set theory.

(2)

Communications Engineering, Networks.

(2)

Computer Communication Networks.

(2)

Control and Systems Theory.

(2)

Database management.

(2)

Differential equations.

(2)

Food industry and trade.

(2)

Forcing (Model theory)

(2)

(2)

Logic, Symbolic and mathematical -- Congresses.

(2)

(2)

MATHEMATICS / General.

(2)

Mathematics_$xHistory.

(2)

Measure theory.

(2)

(2)

(2)

(2)

Philosophy (General).

(2)

Science -- History.

(2)

Symmetry (Mathematics)

(2)

TECHNOLOGY / Engineering / Civil

(2)

Telecommunication.

(2)

Abelian groups.

(1)

Action research in education -- Great Britain.

(1)

Active learning -- Great Britain.

(1)

Aging in motion pictures.

(1)

Agriculture -- Congresses.

(1)

Air -- Pollution.

(1)

Algebra, Abstract -- Outlines, syllabi, etc.

(1)

Algebraic number theory -- Outlines, syllabi, etc.

(1)

Algebras, Linear -- Outlines, syllabi, etc.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Algorithms -- Outlines, syllabi, etc.

(1)

Analysis of variance.

(1)

Analytic spaces.

(1)

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

(1)

Artificial intelligence -- Mathematical models.

(1)

(1)

Axiomatic set theory -- Philosophy.

(1)

Bernays, Paul, 1888-1977.

(1)

Binomial distribution -- Outlines, syllabi, etc.

(1)

(1)

Biomathematics.

(1)

Biomedical materials.

(1)

(1)

Biotechnology -- Congresses.

(1)

Biotechnology -- Materials.

(1)

Boole, Algèbre de.

(1)

Boundary element methods.

(1)

COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.

(1)

COMPUTERS -- General.

(1)

COMPUTERS -- Intelligence (AI) & Semantics.

(1)

Calculus -- Textbooks.

(1)

Calculus, Operational.

(1)

(1)

Card tricks -- Mathematics.

(1)

Chemical processes.

(1)

Chi-square test -- Outlines, syllabi, etc.

(1)

Civil engineering.

(1)

Class groups (Mathematics) -- Outlines, syllabi, etc.

(1)

Cloud computing.

(1)

(1)

Cognitive grammar.

(1)

Cognitive psychology.

(1)

College student personnel administrators -- Training of -- United States.

(1)

(1)

Computational intelligence -- Industrial applications.

(1)

Computer mathematics.

(1)

Computer networks .

(1)

Computer science -- Mathematics -- Outlines, syllabi, etc.

(1)

Computer science—Mathematics.

(1)

Computer software.

(1)

Constructibility (Set theory)

(1)

Control, Robotics, Automation.

(1)

Critical point theory (Mathematical analysis)

(1)

Data Engineering.

(1)

Data Mining and Knowledge Discovery.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Decision making.

(1)

Differentiable functions.

(1)

Discrete Mathematics

(1)

Discrete Mathematics.

(1)

Distribution (Probability theory) -- Outlines, syllabi, etc.

(1)

(1)

Earthquake engineering.

(1)

East Asia -- Economic conditions.

(1)

(1)

Education, Elementary -- Research -- Great Britain -- Methodology.

(1)

Educational evaluation.

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

Electronic digital computers -- Circuits -- Design.

(1)

Electronic structure.

(1)

Engineering -- Data processing.

(1)

Ensembles, Théorie des.

(1)

Environmental engineering -- Congresses.

(1)

Events (Philosophy)

(1)

Experimental design.

(1)

Eye -- Surgery.

(1)

Factor analysis.

(1)

Finite model theory -- Outlines, syllabi, etc.

(1)

First generation college students -- United States -- Research.

(1)

(1)

Food -- Biotechnology.

(1)

Food -- Composition.

(1)

Functional analysis -- Textbooks.

(1)

Functor theory.

(1)

(1)

Fuzzy If-Then Models.

(1)

Fuzzy Implications.

(1)

(1)

Fuzzy Operators.

(1)

Fuzzy Reasoning.

(1)

Fuzzy Relations.

(1)

(1)

(1)

Game theory -- Congresses.

(1)

Gaussian basis sets (Quantum mechanics)

(1)

Genetic epistemology.

(1)

Geographic information systems -- Congresses.

(1)

Graph theory -- Outlines, syllabi, etc.

(1)

Gödel's theorem.

(1)

History of Mathematical Sciences.

(1)

History of Science.

(1)

Human engineering.

(1)

Image processing.

(1)

Incompleteness theorems.

(1)

Independence (Mathematics)

(1)

Inequalities (Mathematics)

(1)

Informatique -- Mathématiques.

(1)

Integral transforms.

(1)

Interviewing -- Technique.

(1)

Invariant sets.

(1)

Inversion (Geophysics)

(1)

(1)

Kognitive Linguistik.

(1)

(1)

LANGUAGE ARTS & DISCIPLINES / Linguistics / Semantics.

(1)

Large cardinals.

(1)

Life in literature.

(1)

(1)

(1)

Logic, Symbolic and mathematical -- Textbooks.

(1)

Logique symbolique et mathématique.

(1)

MATHEMATICS -- Topology.

(1)

MATHEMATICS / Applied

(1)

MATHEMATICS / Applied.

(1)

MATHEMATICS / Calculus.

(1)

MATHEMATICS / Functional Analysis

(1)

MATHEMATICS / Functional Analysis.

(1)

MATHEMATICS / Logic.

(1)

MATHEMATICS / Mathematical Analysis

(1)

MATHEMATICS / Mathematical Analysis.

(1)

MATHEMATICS / Probability & Statistics / Bayesian Analysis

(1)

MATHEMATICS / Recreations & Games.

(1)

MEDICAL / Biostatistics

(1)

MEDICAL / Ophthalmology

(1)

Management -- Cross-cultural studies.

(1)

Management -- East Asia.

(1)

Manufacturing processes -- Automation.

(1)

Markov processes -- Outlines, syllabi, etc.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

176 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 15

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

37.

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics için kapak resmi

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

Yazar

Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-201-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s için kapak resmi

The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s

The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s

Yazar

Seising, Rudolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Labyrinth of Thought A History of Set Theory and Its Role in Modern Mathematics için kapak resmi

Labyrinth of Thought A History of Set Theory and Its Role in Modern Mathematics

Labyrinth of Thought A History of Set Theory and Its Role in Modern Mathematics

Yazar

Ferreirós, José. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-7643-8350-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004 için kapak resmi

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

Yazar

Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-7643-7692-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

An ontological and epistemological perspective of fuzzy set theory için kapak resmi

An ontological and epistemological perspective of fuzzy set theory

An ontological and epistemological perspective of fuzzy set theory

Yazar

Turksen, I. Burhan, 1937-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Set theory and its philosophy a critical introduction için kapak resmi

Set theory and its philosophy a critical introduction

Set theory and its philosophy a critical introduction

Yazar

Potter, Michael D.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Computational quantum chemistry an interactive guide to basis set theory için kapak resmi

Computational quantum chemistry an interactive guide to basis set theory

Computational quantum chemistry an interactive guide to basis set theory

Yazar

Quinn, Charles M.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Orders--description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982 için kapak resmi

Orders--description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982

Orders--description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982

Yazar

Conference on Ordered Sets and Their Applications (4th : 1982 : L'Arbresle, France) Pouzet, M. Richard, Denis, 1942-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Set theory with an introduction to descriptive set theory için kapak resmi

Set theory with an introduction to descriptive set theory

Set theory with an introduction to descriptive set theory

Yazar

Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Topology and Borel structure descriptive topology and set theory with applications to functional analysis and measure theory için kapak resmi

Topology and Borel structure descriptive topology and set theory with applications to functional analysis and measure theory

Topology and Borel structure descriptive topology and set theory with applications to functional analysis and measure theory

Yazar

Christensen, Jens Peter Reus.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Ophthalmic microsurgery : principles, techniques, and applications için kapak resmi

Ophthalmic microsurgery : principles, techniques, and applications

Ophthalmic microsurgery : principles, techniques, and applications

Yazar

Garg, Sumit, 1975- editor. Steinert, Roger F., editor.

Yer Numarası

RE67

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003525400
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Concise Guide to Software Verification From Model Checking to Annotation Checking için kapak resmi

Concise Guide to Software Verification From Model Checking to Annotation Checking

Concise Guide to Software Verification From Model Checking to Annotation Checking

Yazar

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30167-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 15

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11