Search Results for Mathematical logic.

|

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

Yazar

SpringerLink (Online service)

(477)

Gabbay, Dov M. author.

(4)

Löwe, Benedikt. editor.

(4)

Mostowski, Andrzej.

(4)

Schlechta, Karl. author.

(4)

Andreescu, Titu. author.

(3)

Association for Symbolic Logic.

(3)

Blackburn, Patrick. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Cooper, S. Barry. editor.

(3)

Costa, Newton C. A. da.

(3)

Crossley, John N.

(3)

Dalen, Dirk. author.

(3)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Kanamori, Akihiro. editor.

(3)

Laurent, Anne. editor.

(3)

Nerode, Anil. editor.

(3)

(3)

Ong, Luke. editor.

(3)

Pacuit, Eric. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Seising, Rudolf. editor.

(3)

Strauss, Olivier. editor.

(3)

Suppes, Patrick, 1922-

(3)

Tarski, Alfred.

(3)

Trillas, Enric. editor.

(3)

Wiley InterScience (Online service)

(3)

Yager, Ronald R. editor.

(3)

Ésik, Zoltán. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Arruda, A. I. (Ayda Ignez)

(2)

Artemov, Sergei. editor.

(2)

(2)

Bekki, Daisuke. editor.

(2)

Benthem, Johan.

(2)

Beziau, Jean-Yves. editor.

(2)

Biere, Armin. editor.

(2)

Bloem, Roderick. editor.

(2)

Bobillo, Fernando. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

Bridges, Douglas S. author.

(2)

Carnielli, Walter. author.

(2)

(2)

Coecke, Bob. editor.

(2)

Cornelis, Chris. editor.

(2)

Crespi Reghizzi, Stefano. author.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

(2)

Dalen, D. van (Dirk), 1932-

(2)

Dediu, Adrian-Horia. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Ditmarsch, Hans. editor.

(2)

Ebbinghaus, Heinz-Dieter. author.

(2)

Ebbinghaus, Heinz-Dieter. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Flum, Jörg. author.

(2)

Fried, Michael D. author.

(2)

Gabbay, Dov M. editor.

(2)

Gandy, R. O. (Robin O.)

(2)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(2)

Goncharov, Sergei S. editor.

(2)

Grossi, Davide. editor.

(2)

Gupta, Amitabha. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Herzberg, Frederik. author.

(2)

Hilpinen, Risto, contributor.

(2)

Hooker, John, 1949-

(2)

Horrocks, Ian. editor.

(2)

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

(2)

Jain, Sanjay. editor.

(2)

Jarden, Moshe. author.

(2)

Kaminski, Michael. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kohlenbach, Ulrich. editor.

(2)

Konstantinidis, Stavros. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Kunen, Kenneth.

(2)

Kuratowski, Kazimierz, 1896-1980.

(2)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(2)

Laskey, Kathryn B. editor.

(2)

Laskey, Kenneth J. editor.

(2)

Legay, Axel. editor.

(2)

Lindström, Sten. editor.

(2)

Lucchetti, Roberto. editor.

(2)

Lukasiewicz, Thomas. editor.

(2)

Lutz, Carsten. editor.

(2)

Marchisotto, Elena Anne. author.

(2)

Martín-Vide, Carlos. editor.

(2)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(2)

Masulli, Francesco. editor.

(2)

Medina-Moreno, Jesús. editor.

(2)

Mendelson, Elliott.

(2)

Metakides, George, 1945-

(2)

Meulen, Alice G. B. ter.

(2)

Middeldorp, Aart. editor.

(2)

Moortgat, Michael. editor.

(2)

Moraga, Claudio. editor.

(2)

Morrill, Glyn. editor.

(2)

Morzenti, Angelo. author.

(2)

Mundici, Daniele. author.

(2)

Nickles, Matthias. editor.

(2)

Ortuño, Francisco. editor.

(2)

O’Regan, Gerard. author.

(2)

Palmgren, Erik. editor.

(2)

Petre, Luigia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pietarinen, Ahti-Veikko, contributor.

(2)

Pool, Michael. editor.

(2)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(2)

Potapov, Igor. editor.

(2)

Prestel, Alexander. author.

(2)

Priese, Lutz. author.

(2)

(2)

Rautenberg, Wolfgang. author.

(2)

Richter, Frank. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Rosen, Kenneth H.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Shur, Arseny M. editor.

(2)

Soifer, Alexander. author.

(2)

Sojka, Petr. editor.

(2)

Sommaruga, Giovanni. editor.

(2)

Son, Tran Cao. editor.

(2)

Stephan, Frank. editor.

(2)

Subrahmanian, V.S. author.

(2)

Sun, Jun. editor.

(2)

Tang, Jie. editor.

(2)

Tasiran, Serdar. editor.

(2)

Termini, Settimo. editor.

(2)

Tieszen, Richard.

(2)

Truthe, Bianca. editor.

(2)

Valenzuela, Olga. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Voronkov, Andrei. editor.

(2)

Vîţă, Luminiţa Simona. author.

(2)

Wallis, W.D. author.

(2)

Weidenbach, Christoph. editor.

(2)

Zakharyaschev, Michael. editor.

(2)

Zermelo, Ernst. author.

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

van Benthem, Johan. editor.

(2)

Abadi, Martín. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aberdein, Andrew. editor.

(1)

Abraham, Erika. editor.

(1)

Academia Republicii Socialiste România.

(1)

Achten, Peter. editor.

(1)

Ackermann, W. (Wilhelm), 1896-

(1)

Adamowicz, Zofia.

(1)

Agosti, Stefano, contributor.

(1)

Agrawal, Manindra. editor.

(1)

Agrest, Diana, contributor.

(1)

(1)

Akgül, Tayfun, karikatür.

(1)

Albert, Elvira. editor.

(1)

Albeverio, Sergio. author.

(1)

Alexander, Victoria N., contributor.

(1)

Alinei, Mario, contributor.

(1)

Almansi, Guido, contributor.

(1)

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

(1)

Amgoud, Leila. author.

(1)

Andacht, Fernando, contributor.

(1)

Andersen, Henning, contributor.

(1)

Anderson, Douglas, contributor.

(1)

Andreasen, Troels. editor.

(1)

Andrew, Alex M. author.

(1)

Andrica, Dorin. author.

(1)

Andréka, Hajnal. editor.

(1)

Anellis, Irving, contributor.

(1)

Annoni, Marco, contributor.

(1)

Anshakov, Oleg M. author.

(1)

Apostol, Pavel, contributor.

(1)

Archer, Dane, contributor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Arigoni, A. O., contributor.

(1)

Arlandi, Gian Franco, contributor.

(1)

Artemov, Sergei N. editor.

(1)

Artho, Cyrille. editor.

(1)

Asadi-Zeydabadi, Masoud. author.

(1)

Asher, Nicholas. editor.

(1)

Aspinall, David. editor.

(1)

Astola, Jaakko. author.

(1)

Atanassov, Krassimir T. author.

(1)

Atif, Muhammad. author.

(1)

Atkins, Richard Kenneth, contributor.

(1)

Atmanspacher, Harald. editor.

(1)

(1)

Atã, Pedro, contributor.

(1)

Aue, Maximilian.

(1)

Avalle, d\x27Arco Silvio, contributor.

(1)

Aveiro, David. editor. (orcid)0000-0001-6453-3648

(1)

Ayeni, Babatunde J.

(1)

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

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

(1)

Baaz, Matthias. author.

(1)

Tümünü genişlet

Dil

(603)

(18)

(7)

(7)

(3)

Multiple languages

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(137)

(85)

(81)

(58)

(39)

(38)

(34)

(32)

(30)

(30)

(28)

(15)

(14)

(11)

(10)

(9)

(9)

(7)

(7)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(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

Logic, Symbolic and mathematical.

(315)

Computer science.

(198)

Artificial intelligence.

(157)

Mathematical logic.

(152)

(133)

Mathematical Logic and Formal Languages.

(101)

Software engineering.

(98)

(85)

Computer logic.

(65)

Logics and Meanings of Programs.

(56)

(50)

Artificial Intelligence (incl. Robotics).

(48)

Computer software.

(41)

(40)

Computer science—Mathematics.

(33)

(31)

(31)

Philosophy (General).

(31)

Programming Languages, Compilers, Interpreters.

(31)

Computational complexity.

(29)

Mathematical Logic and Foundations.

(29)

Information theory.

(27)

Algorithm Analysis and Problem Complexity.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

(24)

Programming languages (Electronic computers).

(24)

(23)

Algebra -- Data processing.

(22)

Computation by Abstract Devices.

(22)

(22)

Information storage and retrieval.

(21)

Programming Techniques.

(21)

Science -- Philosophy.

(20)

Application software.

(19)

Database management.

(19)

Discrete Mathematics in Computer Science.

(16)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(16)

Computer simulation.

(14)

Mathematics -- Philosophy.

(13)

Mathematics_$xHistory.

(13)

Electronic data processing.

(12)

Natural language processing (Computer science).

(12)

Computer programming.

(11)

Data structures (Computer science).

(11)

Global analysis (Mathematics).

(10)

Information Storage and Retrieval.

(10)

Information storage and retrieval systems.

(10)

Distribution (Probability theory).

(9)

Geometry, algebraic.

(9)

Symbolic and Algebraic Manipulation.

(9)

Computer Communication Networks.

(8)

Genetic epistemology.

(8)

(8)

Math Applications in Computer Science.

(8)

(8)

(8)

Computational intelligence.

(7)

Computer communication systems.

(7)

Computer system failures.

(7)

Computer vision.

(7)

(7)

Information Systems Applications (incl. Internet).

(7)

Numerical analysis.

(7)

Simulation and Modeling.

(7)

Theory of Computation.

(7)

Bioinformatics.

(6)

Computer science -- Mathematics.

(6)

Data Mining and Knowledge Discovery.

(6)

History of Mathematical Sciences.

(6)

Mathematical statistics.

(6)

Operating systems (Computers).

(6)

(6)

(6)

Computer Science, general.

(5)

Electronic books.

(5)

Information systems.

(5)

(5)

(5)

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Control and Systems Theory.

(4)

Control engineering.

(4)

Functional analysis.

(4)

Game Theory, Economics, Social and Behav. Sciences.

(4)

Knowledge representation (Information theory) .

(4)

Linguistics -- Philosophy.

(4)

Logic, Symbolic and mathematical -- Textbooks.

(4)

Management information systems.

(4)

Mantık, sembolik ve Matematiksel.

(4)

Mathematics of Computing.

(4)

Mathematics, general.

(4)

(4)

Numeric Computing.

(4)

(4)

Optical data processing.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

Science -- History.

(4)

Science -- Philosophy -- Congresses.

(4)

Semantics (Philosophy)

(4)

Computational Intelligence.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer organization.

(3)

Computer security.

(3)

Data Structures.

(3)

(3)

(3)

Industrial engineering.

(3)

Information Systems.

(3)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(3)

Logic programming.

(3)

MATEMATİK -- FELSEFE.

(3)

Machine learning.

(3)

Management of Computing and Information Systems.

(3)

Mathematical Applications in Computer Science.

(3)

Mathematical optimization.

(3)

Mathematical physics.

(3)

(3)

Modality (Logic)

(3)

Natural language processing (Computer science)

(3)

Pattern recognition.

(3)

(3)

Quantum theory.

(3)

(3)

Social sciences -- Data processing.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Special purpose computers.

(3)

User Interfaces and Human Computer Interaction.

(3)

(3)

Analysis (Philosophy) -- Problems, exercises, etc.

(2)

Applications of Mathematics.

(2)

Artificial intelligence -- Mathematics.

(2)

Commonsense reasoning -- Automation.

(2)

Computable functions.

(2)

Computational Biology/Bioinformatics.

(2)

Computational linguistics.

(2)

Decidability (Mathematical logic)

(2)

(2)

Engineering mathematics.

(2)

Field theory (Physics).

(2)

(2)

Gödel's theorem.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

Induction (Logic)

(2)

Intuitionistic mathematics.

(2)

Language and languages -- Philosophy.

(2)

Law -- Examinations, questions, etc.

(2)

Law School Admission Test -- Study guides.

(2)

Law schools -- United States -- Entrance examinations -- Study guides.

(2)

Logic, Symbolic and mathematical -- Data processing.

(2)

Logic, Symbolic and mathematical -- History -- 20th century.

(2)

Logic, Symbolic and mathematical -- Problems, exercises, etc.

(2)

Logic, symbolic and mathematical.

(2)

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

MATHEMATICS / Logic.

(2)

Mantık, Sembolik ve matematiksel -- Ders kitapları.

(2)

Mantık, Sembolik ve matematiksel.

(2)

(2)

Matematiksel mantık.

(2)

Methodology -- Congresses.

(2)

(2)

Mostowski, Andrzej -- Bibliography.

(2)

Operator theory.

(2)

Order, Lattices, Ordered Algebraic Structures.

(2)

(2)

(2)

(2)

Probability Theory and Stochastic Processes.

(2)

Probability and Statistics in Computer Science.

(2)

Science (General).

(2)

Science -- Methodology -- Congresses.

(2)

Sequences (Mathematics).

(2)

Set theory -- Congresses.

(2)

(2)

Systems theory.

(2)

Test-taking skills.

(2)

Translators (Computer programs).

(2)

Universities and colleges -- Graduate work -- Examinations -- Study guides.

(2)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus.

(2)

logique mathématique.

(2)

logique symbolique.

(2)

Akıl yürütme.

(1)

Algebra, Boolean.

(1)

Algebraic topology.

(1)

Analysis (Philosophy) -- History -- 20th century.

(1)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Automatic control.

(1)

Automatic theorem proving.

(1)

(1)

Axioms -- Congresses.

(1)

(1)

Bilgisayar bilimi -- Matematik -- Ders kitapları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Prof.Dr.Onur Bilge Kulak Collection

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi 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

636 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 15 16 17 18 19 .. 53

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.

193.

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers için kapak resmi

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Yazar

Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-04534-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings için kapak resmi

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Yazar

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-04921-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings için kapak resmi

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Yazar

Fermé, Eduardo. editor. Leite, Joao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11558-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings için kapak resmi

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Yazar

Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12904-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings için kapak resmi

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Yazar

Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings için kapak resmi

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Yazar

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings için kapak resmi

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Yazar

Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09761-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings için kapak resmi

Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings

Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings

Yazar

Kryszkiewicz, Marzena. editor. Cornelis, Chris. editor. Ciucci, Davide. editor. Medina-Moreno, Jesús. editor. Motoda, Hiroshi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08729-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings için kapak resmi

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06410-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers için kapak resmi

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

Yazar

Nakano, Yukiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Concrete Semantics With Isabelle/HOL için kapak resmi

Concrete Semantics With Isabelle/HOL

Concrete Semantics With Isabelle/HOL

Yazar

Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10542-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 15 16 17 18 19 .. 53

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11