Search Results for Software

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Computer software.

Yazar

SpringerLink (Online service)

(2161)

Kim, Tai-hoon. editor.

(34)

Yung, Moti. editor.

(25)

Gervasi, Osvaldo. editor.

(22)

Apduhan, Bernady O. editor.

(20)

Murgante, Beniamino. editor.

(18)

Taniar, David. editor.

(18)

Adeli, Hojjat. editor.

(17)

Nguyen, Ngoc Thanh. editor.

(16)

Nagamalai, Dhinaharan. editor.

(15)

Corchado, Emilio. editor.

(14)

Dongarra, Jack. editor.

(14)

Huang, De-Shuang. editor.

(14)

Jansen, Klaus. editor.

(13)

Rozenberg, Grzegorz. editor.

(13)

Yang, Laurence T. editor.

(13)

Campilho, Aurélio. editor.

(12)

Li, Kang. editor.

(12)

Yin, Hujun. editor.

(12)

Blum, Christian. editor.

(11)

Chaki, Nabendu. editor.

(11)

Kamel, Mohamed. editor.

(11)

Kang, Byeong-Ho. editor.

(11)

Riolo, Rick. editor.

(11)

Waśniewski, Jerzy. editor.

(11)

Du, Ding-Zhu. editor.

(10)

El-Qawasmeh, Eyas. editor.

(10)

Löwe, Benedikt. editor.

(10)

Meghanathan, Natarajan. editor.

(10)

Paragios, Nikos. editor.

(10)

Shi, Yuhui. editor.

(10)

Tadeusiewicz, Ryszard. editor.

(10)

Tan, Ying. editor.

(10)

Zurada, Jacek M. editor.

(10)

Erlebach, Thomas. editor.

(9)

Huang, Xiong. editor.

(9)

Mayr, Ernst W. editor.

(9)

Misra, Sanjay. editor.

(9)

Priami, Corrado. editor.

(9)

Vorozhtsov, Evgenii V. editor.

(9)

Wang, Fu Lee. editor.

(9)

Wang, Jun. editor.

(9)

Ślęzak, Dominik. editor.

(9)

Abraham, Ajith. editor.

(8)

Ali, Moonis. editor.

(8)

Calude, Cristian S. editor.

(8)

Cotta, Carlos. editor.

(8)

Fang, Wai-chi. editor.

(8)

Fei, Minrui. editor.

(8)

Lopez, Javier. editor.

(8)

Philips, Wilfried. editor.

(8)

Wang, Lipo. editor.

(8)

Bebis, George. editor.

(7)

Boyle, Richard. editor.

(7)

Cooper, S. Barry. editor.

(7)

Cuzzocrea, Alfredo. editor.

(7)

Das, Swagatam. editor.

(7)

Deng, Hepu. editor.

(7)

Gavrilova, Marina L. editor.

(7)

Guo, Minyi. editor.

(7)

Herik, H. Jaap. editor.

(7)

Koracin, Darko. editor.

(7)

Lei, Jingsheng. editor.

(7)

Lin, Dongdai. editor.

(7)

Lin, Song. editor.

(7)

Martino, Beniamino. editor.

(7)

Pan, Jeng-Shyang. editor.

(7)

Parashar, Manish. editor.

(7)

Parvin, Bahram. editor.

(7)

Prasanna, Viktor K. editor.

(7)

Qing, Sihan. editor.

(7)

Roli, Andrea. editor.

(7)

Rolim, José D. P. editor.

(7)

Rutkowski, Leszek. editor.

(7)

Sampels, Michael. editor.

(7)

Schmid, Cordelia. editor.

(7)

Shi, Yun Q. editor.

(7)

Shih, Timothy K. editor.

(7)

Tan, C. J. Kenneth. editor.

(7)

Xiang, Yang. editor.

(7)

Birattari, Mauro. editor.

(6)

Cao, Jiannong. editor.

(6)

Chapman, Barbara M. editor.

(6)

Chen, Shyi-Ming. editor.

(6)

Christianson, Bruce. editor.

(6)

Collet, Pierre. editor.

(6)

Crispo, Bruno. editor.

(6)

Daniilidis, Kostas. editor.

(6)

Dediu, Adrian-Horia. editor.

(6)

Filipe, Joaquim. editor.

(6)

Fischer-Hübner, Simone. editor.

(6)

Fitzgibbon, Andrew. editor.

(6)

Fomin, Fedor V. editor.

(6)

Fyfe, Colin. editor.

(6)

Gerdt, Vladimir P. editor.

(6)

Giacobini, Mario. editor.

(6)

He, Haibo. editor.

(6)

Iglesias, Andrés. editor.

(6)

Kano, Mikio. editor.

(6)

Karczewski, Konrad. editor.

(6)

Lazebnik, Svetlana. editor.

(6)

Liu, Derong. editor.

(6)

Machado, Penousal. editor.

(6)

Maglogiannis, Ilias. editor.

(6)

Malyshkin, Victor. editor.

(6)

Maragos, Petros. editor.

(6)

Margenov, Svetozar. editor.

(6)

Martín-Vide, Carlos. editor.

(6)

Mira, José. editor.

(6)

Nicosia, Giuseppe. editor.

(6)

Panigrahi, Bijaya Ketan. editor.

(6)

Perona, Pietro. editor.

(6)

Preneel, Bart. editor.

(6)

Queiroz, Ruy. editor.

(6)

Sato, Yoichi. editor.

(6)

Schoenauer, Marc. editor.

(6)

Schwiegelshohn, Uwe. editor.

(6)

Stoica, Adrian. editor.

(6)

Stützle, Thomas. editor.

(6)

Suganthan, Ponnuthurai Nagaratnam. editor.

(6)

Vasilakos, Thanos. editor.

(6)

Wagner, Dorothea. editor.

(6)

Wang, Guilin. editor.

(6)

Worzel, Bill. editor.

(6)

Wyrzykowski, Roman. editor.

(6)

Yi, Zhang. editor.

(6)

Zhang, Huaguang. editor.

(6)

Zhang, Yanchun. editor.

(6)

Zhou, Jianying. editor.

(6)

Álvarez, José R. editor.

(6)

Akiyama, Jin. editor.

(5)

Alexander, Michael. editor.

(5)

Ariwa, Ezendu. editor.

(5)

Barneva, Reneta P. editor.

(5)

Blanc-Talon, Jacques. editor.

(5)

Blesa, María J. editor.

(5)

Carlini, Maurizio. editor.

(5)

Das, Sajal K. editor.

(5)

Das, Vinu V. editor.

(5)

Deb, Kalyanmoy. editor.

(5)

Dehne, Frank. editor.

(5)

Ebner, Marc. editor.

(5)

Ekárt, Anikó. editor.

(5)

Fages, François. editor.

(5)

Frachtenberg, Eitan. editor.

(5)

Fred, Ana. editor.

(5)

Grosky, William I. editor.

(5)

Hao, Jin-Kao. editor.

(5)

Iliadis, Lazaros. editor.

(5)

Irwin, George W. editor.

(5)

Jo, Kang-Hyun. editor.

(5)

Klette, Reinhard. editor.

(5)

Koepf, Wolfram. editor.

(5)

Lirkov, Ivan. editor.

(5)

Liu, Baoxiang. editor.

(5)

Liu, Chunfeng. editor.

(5)

Liu, Yong. editor.

(5)

Lu, Bao-Liang. editor.

(5)

Lutton, Evelyne. editor.

(5)

Ma, Jianhua. editor.

(5)

Ma, Shiwei. editor.

(5)

Masulli, Francesco. editor.

(5)

Miao, Duoqian. editor.

(5)

Müller, Matthias S. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Pointcheval, David. editor.

(5)

Popescu, Dan. editor.

(5)

Potapov, Igor. editor.

(5)

Rossi, Francesca. editor.

(5)

Sack, Jörg-Rüdiger. editor.

(5)

Scheideler, Christian. editor.

(5)

Scherer, Rafał. editor.

(5)

Scheunders, Paul. editor.

(5)

Shen, Dinggang. editor.

(5)

Thampi, Sabu M. editor.

(5)

Timmis, Jon. editor.

(5)

Torre, Carmelo M. editor.

(5)

Tsudik, Gene. editor.

(5)

Vaidya, Jaideep. editor.

(5)

Vanneschi, Leonardo. editor.

(5)

Vaudenay, Serge. editor.

(5)

Villalba, Javier García. editor.

(5)

Woźniak, Michał. editor.

(5)

Xiao, Tianyuan. editor.

(5)

Zadeh, Lotfi A. editor.

(5)

Zeugmann, Thomas. editor.

(5)

Zha, Hongbin. editor.

(5)

Zhang, Lin. editor.

(5)

Zhu, Binhai. editor.

(5)

Abd Manaf, Azizah. editor.

(4)

Alippi, Cesare. editor.

(4)

Balandin, Sergey. editor.

(4)

Balitanas, Maricel. editor.

(4)

Bandini, Stefania. editor.

(4)

Bellalta, Boris. editor.

(4)

Bolc, Leonard. editor.

(4)

Bonato, Anthony. editor.

(4)

Bouchon-Meunier, Bernadette. editor.

(4)

Brimkov, Valentin E. editor.

(4)

Buford, John F. editor.

(4)

Tümünü genişlet

Dil

(2148)

(14)

(5)

(3)

(3)

(1)

Tümünü genişlet

Yayın Yılı

-

(346)

(316)

(308)

(222)

(176)

(171)

(168)

(160)

(151)

(143)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(2011)

Computer Communication Networks.

(873)

Artificial intelligence.

(857)

Software engineering.

(552)

Computational complexity.

(545)

Information systems.

(367)

Optical pattern recognition.

(344)

Data encryption (Computer science).

(335)

Information storage and retrieval systems.

(299)

Computer vision.

(285)

Electronic data processing.

(260)

Data structures (Computer science).

(250)

Computer graphics.

(238)

Information Systems.

(236)

Algorithm Analysis and Problem Complexity.

(213)

Data protection.

(209)

(204)

(201)

Database management.

(195)

Bioinformatics.

(180)

(143)

Computer simulation.

(143)

Operating systems (Computers).

(130)

Information theory.

(99)

Algebra -- Data processing.

(82)

(82)

Computer network architectures.

(80)

Artificial Intelligence (incl. Robotics).

(71)

(70)

Computer system performance.

(57)

Information Systems Applications (incl. Internet).

(57)

Discrete Mathematics in Computer Science.

(55)

Computation by Abstract Devices.

(48)

Pattern Recognition.

(40)

(39)

Data Mining and Knowledge Discovery.

(35)

Computer science -- Mathematics.

(34)

Information Storage and Retrieval.

(32)

Data Encryption.

(30)

Systems and Data Security.

(29)

Telecommunication.

(29)

Numeric Computing.

(28)

Data structures (Computer scienc.

(27)

(27)

Mathematical optimization.

(26)

Biology -- Data processing.

(24)

Image Processing and Computer Vision.

(24)

Mathematical Logic and Formal Languages.

(23)

(21)

Logics and Meanings of Programs.

(21)

Management of Computing and Information Systems.

(20)

Multimedia systems.

(19)

Text processing (Computer science.

(19)

Data Structures.

(18)

Logic, Symbolic and mathematical.

(18)

Computational Biology/Bioinformatics.

(16)

Computer security.

(15)

Evolution (Biology).

(15)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Medical records -- Data processing.

(13)

(11)

Programming Languages, Compilers, Interpreters.

(11)

(10)

Programming Techniques.

(10)

Social sciences -- Data processing.

(10)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(9)

Engineering mathematics.

(9)

Operations research.

(9)

(8)

Computer Science, general.

(8)

Computer aided design.

(8)

(8)

Numerical analysis.

(8)

System Performance and Evaluation.

(8)

Computer Systems Organization and Communication Networks.

(7)

Computers and Society.

(7)

Distribution (Probability theory).

(7)

(7)

Industrial management.

(7)

Math Applications in Computer Science.

(7)

Mathematical Software.

(7)

Radiology, Medical.

(7)

Computer hardware.

(6)

Theory of Computation.

(6)

(6)

Bilgisayar yazılımı.

(5)

Coding and Information Theory.

(5)

Computer Applications.

(5)

Data Structures, Cryptology and Information Theory.

(5)

Discrete groups.

(5)

Economics, Mathematical.

(5)

Mathematical physics.

(5)

Mathematical statistics.

(5)

Natural language processing (Computer science).

(5)

(5)

(5)

Symbolic and Algebraic Manipulation.

(5)

User Interfaces and Human Computer Interaction.

(5)

(4)

Global analysis (Mathematics).

(4)

Mathematics of Computing.

(4)

Operating Systems.

(4)

Operations Research, Management Science.

(4)

Probability and Statistics in Computer Science.

(4)

Software Engineering/Programming and Operating Systems.

(4)

(3)

Computer industry.

(3)

Computers -- Law and legislation.

(3)

(3)

Game Theory, Economics, Social and Behav. Sciences.

(3)

Geometry, algebraic.

(3)

Health Informatics.

(3)

Mathematical Logic and Foundations.

(3)

(3)

Microprogramming.

(3)

Special Purpose and Application-Based Systems.

(3)

Systems engineering.

(3)

Systems theory.

(3)

Applications of Mathematics.

(2)

Arithmetic and Logic Structures.

(2)

(2)

Biomedical engineering.

(2)

Computational Science and Engineering.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Appl. in Social and Behavioral Sciences.

(2)

Computer architecture.

(2)

Data transmission systems.

(2)

(2)

Economics -- Statistics.

(2)

Economics/Management Science.

(2)

Educational Technology.

(2)

Engineering economy.

(2)

Genetics -- Mathematics.

(2)

(2)

History of Computing.

(2)

Imaging / Radiology.

(2)

Management information systems.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematics Education.

(2)

Mathematics of Algorithmic Complexity.

(2)

Mechanical engineering.

(2)

Memory management (Computer science).

(2)

Microcomputers.

(2)

Microeconomics.

(2)

Microsoft .NET Framework.

(2)

Models and Principles.

(2)

Multimedia Information Systems.

(2)

(2)

Performance and Reliability.

(2)

Physical geography.

(2)

Processor Architectures.

(2)

Signal, Image and Speech Processing.

(2)

Algebraic Geometry.

(1)

Algebraic topology.

(1)

Algebras, Linear.

(1)

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

(1)

(1)

Bilgisayar bilimi -- Amatörler için el kitabı.

(1)

Bilgisayar programlama.

(1)

Bilgisayar programları -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar programları.

(1)

Bilgisayar yazılımı -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar yazılımı -- Veritabanları.

(1)

Bilgisayarlar -- El kiyapları v.b.

(1)

(1)

Biological models.

(1)

(1)

Business planning.

(1)

BİLGİSAYAR YAZILIMI.

(1)

C (Bilgisayar programlama dili)

(1)

C (Computer program language)

(1)

Calculus of Variations and Optimal Control; Optimization.

(1)

Cell aggregation -- Mathematics.

(1)

Chemical engineering.

(1)

Chemical process control -- Data processing.

(1)

Chemistry -- Mathematics.

(1)

Chemistry, Physical organic.

(1)

Computational Intelligence.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer Appl. in Life Sciences.

(1)

Computer System Implementation.

(1)

Computer files.

(1)

Computer input-output equipment.

(1)

Computer integrated manufacturing systems.

(1)

Computer organization.

(1)

Computer programming -- Handbooks, manuals, etc.

(1)

Computer programming.

(1)

Computer programs.

(1)

Computer science -- Amateurs' manuals.

(1)

Computer software -- Databases.

(1)

Computer software -- Development.

(1)

Computer software -- Handbooks, manuals, etc.

(1)

Computer software industry.

(1)

Computers -- Handbooks, manuals, etc.

(1)

Computers and Education.

(1)

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

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ç

2174 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 182

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.

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00590-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00722-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00768-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings için kapak resmi

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

Yazar

Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-01680-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers için kapak resmi

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

Yazar

Nyberg, Kaisa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Yazar

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings için kapak resmi

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Yazar

Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers için kapak resmi

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

Yazar

Biryukov, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings için kapak resmi

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

Yazar

Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers için kapak resmi

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Yazar

Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Yazar

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 182

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11