Search Results for 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)

(2126)

(22)

Voronkov, Andrei. editor.

(18)

Kacprzyk, Janusz. editor.

(13)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. editor.

(10)

Castillo, Oscar. editor.

(10)

Potapov, Igor. editor.

(9)

Rozenberg, Grzegorz. editor.

(9)

Woods, John (John Hayden)

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Melin, Patricia. editor.

(8)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Leite, João. editor.

(7)

Martín-Vide, Carlos. editor.

(7)

Mostowski, Andrzej.

(7)

Peña, Ricardo. editor.

(7)

Queiroz, Ruy. editor.

(7)

Sebeok, Thomas A., contributor.

(7)

Taylor and Francis.

(7)

Woodcock, Jim. editor.

(7)

Calude, Cristian S. editor.

(6)

Cooper, S. Barry. editor.

(6)

Fages, François. editor.

(6)

Fiadeiro, José Luiz. editor.

(6)

Governatori, Guido. editor.

(6)

Graf, Susanne. editor.

(6)

Meseguer, José. editor.

(6)

Rahman, Shahid. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Torroni, Paolo. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Blair, J. Anthony, contributor.

(5)

Castillo, Oscar. author.

(5)

Chen, Wai-Kai, 1936-

(5)

Dastani, Mehdi. editor.

(5)

Dediu, Adrian-Horia. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Gabbay, Dov M. author.

(5)

Gabbay, Dov M. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Hanus, Michael. editor.

(5)

Huisman, Marieke. editor.

(5)

John Wiley & Sons.

(5)

Karhumäki, Juhani. editor.

(5)

LaMeres, Brock J. author.

(5)

Legay, Axel. editor.

(5)

Leucker, Martin. editor.

(5)

Liu, Shaoying. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Paschke, Adrian. editor.

(5)

Pedrycz, Witold. editor.

(5)

Peled, Doron A. editor.

(5)

Pietarinen, Ahti-Veikko, contributor.

(5)

Reed, Rick. editor.

(5)

Rensink, Arend. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Seising, Rudolf. editor.

(5)

Steffen, Bernhard. editor.

(5)

Tarski, Alfred.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bekki, Daisuke. editor.

(4)

Bensalem, Saddek. editor.

(4)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Danesi, Marcel, contributor.

(4)

Deleuze, Gilles.

(4)

Duan, Zhenhua. editor.

(4)

Eco, Umberto, contributor.

(4)

Ehrig, Hartmut. editor.

(4)

Filipe, Joaquim. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Fraenkel, Abraham Adolf, 1891-1965.

(4)

Giannakopoulou, Dimitra. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Goertzel, Ben. editor.

(4)

Gorton, Ian. editor.

(4)

Grootendorst, Rob, contributor.

(4)

Havelund, Klaus. editor.

(4)

Hegel, Georg Wilhelm Friedrich.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Hinchey, Mike. editor.

(4)

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Jain, Lakhmi C. editor.

(4)

Koutny, Maciej. editor.

(4)

Krampen, Martin, contributor.

(4)

Kunen, Kenneth.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

Liang, Qilian. editor.

(4)

Majumdar, Rupak. editor.

(4)

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

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. author.

(4)

Merayo, Mercedes G. editor.

(4)

Nerode, Anil. editor.

(4)

Nicola, Rocco. editor.

(4)

Núñez, Manuel. editor.

(4)

Paige, Richard F. editor.

(4)

Palanque, Philippe. editor.

(4)

Panigrahi, Bijaya Ketan. editor.

(4)

Peirce, Charles S., author.

(4)

Pelc, Jerzy, contributor.

(4)

Petrosino, Alfredo. editor.

(4)

Pietarinen, Ahti-Veikko, editor.

(4)

Posner, Roland, contributor.

(4)

Rector, Monica, contributor.

(4)

Risby, Bonnie Lou.

(4)

Robinson, Abraham, 1918-1974.

(4)

Roever, Willem-Paul. editor.

(4)

Roman, Dumitru. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Salaün, Gwen. editor.

(4)

Sattler, Uli. editor.

(4)

Schlechta, Karl. author.

(4)

Schürr, Andy. editor.

(4)

Seipel, Dietmar. editor.

(4)

Sirjani, Marjan. editor.

(4)

Suppes, Patrick, 1922-

(4)

Ungerer, Theo. editor.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Wang, Wei. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Yager, Ronald R. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zhang, Baoju. editor.

(4)

Zsók, Viktória. editor.

(4)

Çapak, İbrahim.

(4)

Ölveczky, Peter Csaba. editor.

(4)

(3)

Alpuente, María. editor.

(3)

Andacht, Fernando, contributor.

(3)

Andreescu, Titu. author.

(3)

Artemov, Sergei. editor.

(3)

Association for Symbolic Logic.

(3)

Baer, Eugen, contributor.

(3)

Banerjee, Mohua. editor.

(3)

Baroglio, Cristina. editor.

(3)

Behar, Lisa Block de, contributor.

(3)

Beklemishev, Lev D. editor.

(3)

Bjørner, Nikolaj. editor.

(3)

Blackburn, Patrick. editor.

(3)

Boella, Guido. editor.

(3)

Bolton, W. (William), 1933-

(3)

Bondavalli, Andrea. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

(3)

Cai, Zhipeng. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Chechik, Marsha. editor.

(3)

Cobley, Paul, contributor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Costa, Newton C. A. da.

(3)

Crawford, Dean.

(3)

Crossley, John N.

(3)

Curry, Haskell B. (Haskell Brooks), 1900-1982.

(3)

Dalen, D. van (Dirk), 1932-

(3)

Dalen, Dirk. author.

(3)

Dascal, Marcelo, contributor.

(3)

Dawar, Anuj. editor.

(3)

Deiser, Oliver. author.

(3)

Derrick, John. editor.

(3)

Dershowitz, Nachum. editor.

(3)

Dingel, Juergen. editor.

(3)

Dompere, Kofi Kissi. author.

(3)

Dowek, Gilles. author.

(3)

Dreyer, Claus, contributor.

(3)

Tümünü genişlet

Dil

(3031)

(68)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(286)

(264)

(239)

(229)

(213)

(207)

(206)

(205)

(203)

(202)

(188)

(181)

(170)

(162)

(56)

(49)

(45)

(41)

(40)

(38)

(35)

(33)

(30)

(29)

(26)

(25)

(25)

(24)

(23)

(23)

(22)

(21)

(21)

(20)

(20)

(19)

(18)

(18)

(18)

(18)

(17)

(17)

(17)

(17)

(16)

(15)

(15)

(15)

(15)

(15)

(14)

(13)

(13)

(13)

(11)

(11)

(11)

(10)

(10)

(9)

(8)

(8)

(8)

(7)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(2)

(2)

(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

Computer science.

(1244)

(1153)

Software engineering.

(876)

Artificial intelligence.

(654)

Logic, Symbolic and mathematical.

(317)

Computer Communication Networks.

(299)

Computer software.

(241)

(227)

Computer logic.

(160)

(155)

Mathematical logic.

(152)

Computational complexity.

(118)

Philosophy (General).

(115)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Operating systems (Computers).

(101)

Information theory.

(93)

Computer simulation.

(82)

(80)

Algebra -- Data processing.

(79)

(78)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Computational intelligence.

(67)

Data structures (Computer science).

(62)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(61)

Science -- Philosophy.

(61)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

(56)

Programming Languages, Compilers, Interpreters.

(56)

(54)

Computer network architectures.

(50)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(45)

Electronic data processing.

(42)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(41)

(40)

Electronic circuits.

(39)

Genetic epistemology.

(37)

(36)

Computer vision.

(35)

Electronic books.

(35)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

Bioinformatics.

(30)

Computation by Abstract Devices.

(29)

Mathematical Logic and Foundations.

(29)

Programming Techniques.

(29)

(28)

Linguistics -- Philosophy.

(28)

(28)

Computer programming.

(27)

Engineering mathematics.

(27)

(27)

Logic circuits.

(26)

Microprocessors.

(26)

Multimedia systems.

(26)

(26)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Information storage and retrieval.

(24)

Data protection.

(23)

(23)

(23)

Electronic Circuits and Systems.

(21)

Mathematics -- Philosophy.

(21)

(20)

Computer security.

(20)

Digital electronics.

(19)

Information Systems Applications (incl. Internet).

(19)

Mathematical statistics.

(19)

(19)

Telecommunication.

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Natural language processing (Computer science).

(17)

Signal processing.

(17)

Control engineering.

(16)

(16)

(16)

Data encryption (Computer science).

(15)

Mathematics_$xHistory.

(15)

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Language and languages -- Philosophy.

(14)

Language and logic.

(14)

Management of Computing and Information Systems.

(14)

Optical pattern recognition.

(14)

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Communications Engineering, Networks.

(13)

Computer architecture.

(13)

Computer hardware.

(13)

Computer science -- Mathematics.

(13)

Information Storage and Retrieval.

(13)

MANTIKSAL DEVRELER.

(13)

Modality (Logic)

(13)

(13)

Computational linguistics.

(12)

Numerical analysis.

(12)

(12)

Processor Architectures.

(12)

Symbolic and Algebraic Manipulation.

(12)

Algebraic logic.

(11)

Computer engineering.

(11)

Computer industry.

(11)

(11)

Science -- History.

(11)

Control and Systems Theory.

(10)

Data Mining and Knowledge Discovery.

(10)

Global analysis (Mathematics).

(10)

(10)

Nanotechnology.

(10)

Philosophy of mind.

(10)

(10)

(9)

Arithmetic and Logic Structures.

(9)

Control theory.

(9)

Data structures (Computer scienc.

(9)

Electronics and Microelectronics, Instrumentation.

(9)

Engineering design.

(9)

Geometry, algebraic.

(9)

(9)

(9)

Induction (Logic)

(9)

Industrial engineering.

(9)

Logic -- Congresses.

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

MANTIKSAL TASARIM.

(9)

Machine learning.

(9)

(9)

Programmable controllers.

(9)

Signal, Speech and Image Processing.

(9)

Soft computing.

(9)

Special purpose computers.

(9)

(9)

programmation en logique.

(9)

(8)

Computer networks .

(8)

Economics, Mathematical.

(8)

(8)

Knowledge, Theory of.

(8)

MANTIKSAL PROGRAMLAMA.

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Operations research.

(8)

Philosophy, modern.

(8)

Quantum theory.

(8)

Recursion theory.

(8)

(8)

Science -- Philosophy -- Congresses.

(8)

Semantics (Philosophy)

(8)

(8)

Theory of Computation.

(8)

VHDL (Computer hardware description language)

(8)

BİLGİ KURAMI.

(7)

Electronic digital computers -- Circuits.

(7)

Embedded computer systems.

(7)

Engineering -- Data processing.

(7)

(7)

(7)

Logic -- Early works to 1800.

(7)

Logic -- History.

(7)

(7)

Logische Programmierung.

(7)

Mathematical optimization.

(7)

Microprogramming .

(7)

Optical data processing.

(7)

Probability and Statistics in Computer Science.

(7)

Programmable logic devices.

(7)

Social sciences -- Data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

TÜMEVARIM (MANTIK)

(7)

ANAHTARLAMA KURAMI.

(6)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Biomedical engineering.

(6)

Computational Intelligence.

(6)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computer Science, general.

(6)

Control, Robotics, Automation.

(6)

Data Engineering.

(6)

(6)

Electronic circuit design.

(6)

Embedded Systems.

(6)

Tümünü genişlet

Materyal Türü

Tümünü genişlet

Shelf Location

Beytepe Art Collection

Beytepe CD-ROM Koleksiyonu

Beytepe Danışma Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Görsel-İşitsel Koleksiyonu

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Hukuk Genel Koleksiyon

Konservatuvar Genel Koleksiyon

Prof.Dr.Onur Bilge Kulak Collection

Sağlık Bilimleri Genel Koleksiyon

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Hukuk Kütüphanesi

Konservatuvar Kütüphanesi

Sağlık Bilimleri 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

3166 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 252 253 254 255 256 .. 264

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.

1.

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

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers için kapak resmi

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

Yazar

Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings için kapak resmi

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

Yazar

Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings için kapak resmi

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Yazar

Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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 için kapak resmi

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

Yazar

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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 için kapak resmi

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

Yazar

Sassone, Vladimiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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 için kapak resmi

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

Yazar

Cerioli, Maura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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 için kapak resmi

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

Yazar

Bodik, Rastislav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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 için kapak resmi

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

Yazar

Sagiv, Mooly. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings için kapak resmi

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

Yazar

Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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 için kapak resmi

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

Yazar

Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 252 253 254 255 256 .. 264

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11