Search Results for Software engineering

|

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)

(3961)

Gervasi, Osvaldo. editor.

(44)

Taniar, David. editor.

(43)

Apduhan, Bernady O. editor.

(42)

Dongarra, Jack. editor.

(29)

Kim, Tai-hoon. editor.

(29)

Murgante, Beniamino. editor.

(27)

Gavrilova, Marina L. editor.

(26)

Yang, Laurence T. editor.

(25)

Meersman, Robert. editor.

(21)

Filipe, Joaquim. editor.

(20)

Lee, Roger. editor.

(19)

Sloot, Peter M. A. editor.

(19)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(18)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(17)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(17)

Albada, Geert Dick. editor.

(16)

Margaria, Tiziana. editor.

(16)

Nagamalai, Dhinaharan. editor.

(16)

Meyer, Bertrand. editor.

(15)

Li, Daoliang. editor.

(14)

Misra, Sanjay. editor.

(14)

Nguyen, Ngoc Thanh. editor.

(14)

Palanque, Philippe. editor.

(14)

Ślęzak, Dominik. editor.

(14)

Chaki, Nabendu. editor.

(13)

Herrero, Pilar. editor.

(13)

Maciaszek, Leszek A. editor.

(13)

Mun, Youngsong. editor.

(13)

Rozenberg, Grzegorz. editor.

(13)

Stephanidis, Constantine. editor.

(13)

Voronkov, Andrei. editor.

(13)

Winckler, Marco. editor.

(13)

Bernardo, Marco. editor.

(12)

Cordeiro, José. editor.

(12)

Meghanathan, Natarajan. editor.

(12)

Messnarz, Richard. editor.

(12)

Romanovsky, Alexander. editor.

(12)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(12)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(12)

Guo, Minyi. editor.

(11)

Kang, Byeong-Ho. editor.

(11)

Liu, Zhiming. editor.

(11)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(11)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(11)

Steffen, Bernhard. editor.

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(11)

Yung, Moti. editor.

(11)

Alexander, Michael. editor.

(10)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Damiani, Ernesto. editor.

(10)

Dastani, Mehdi. editor.

(10)

Dillon, Tharam. editor.

(10)

El-Qawasmeh, Eyas. editor.

(10)

Lei, Jingsheng. editor.

(10)

Reussner, Ralf. editor.

(10)

Shishkov, Boris. editor.

(10)

Tan, C. J. Kenneth. editor.

(10)

Wang, Fu Lee. editor.

(10)

Abrahamsson, Pekka. editor.

(9)

Adeli, Hojjat. editor.

(9)

Dix, Jürgen. editor.

(9)

Hammoudi, Slimane. editor.

(9)

Kumar, Vipin. editor.

(9)

Lemos, Rogério. editor.

(9)

Woodcock, Jim. editor.

(9)

Anderson, Tom. editor.

(8)

Barthe, Gilles. editor.

(8)

Das, Vinu V. editor.

(8)

Elleithy, Khaled. editor.

(8)

Giese, Holger. editor.

(8)

Governatori, Guido. editor.

(8)

Karczewski, Konrad. editor.

(8)

Koucheryavy, Yevgeni. editor.

(8)

Krogstie, John. editor.

(8)

Nambiar, Raghunath. editor.

(8)

Nurcan, Selmin. editor.

(8)

Poess, Meikel. editor.

(8)

Proper, Erik. editor.

(8)

Rana, Omer F. editor.

(8)

Vinel, Alexey. editor.

(8)

Wiley InterScience (Online service)

(8)

Baldoni, Matteo. editor.

(7)

Bergsmann, Johannes. editor.

(7)

Biffl, Stefan. editor.

(7)

Broy, Manfred. editor.

(7)

Chapman, Barbara M. editor.

(7)

Chen, Yingyi. editor.

(7)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Graf, Susanne. editor.

(7)

Halang, Wolfgang A. editor.

(7)

Helfert, Markus. editor.

(7)

Huang, Xiong. editor.

(7)

Jeannot, Emmanuel. editor.

(7)

John Wiley & Sons.

(7)

Kleuker, Stephan. author.

(7)

Laganà, Antonio. editor.

(7)

Leung, Andrew Chi Sing. editor.

(7)

Luo, Yuhua. editor.

(7)

Manolopoulos, Yannis. editor.

(7)

Martino, Beniamino. editor.

(7)

Mokhtari, Mounir. editor.

(7)

Ozawa, Seiichi. editor.

(7)

O’Connor, Rory V. editor.

(7)

Paige, Richard F. editor.

(7)

Paschke, Adrian. editor.

(7)

Rashid, Awais. editor.

(7)

Salomaa, Arto. editor.

(7)

Sillitti, Alberto. editor.

(7)

Sinderen, Marten. editor.

(7)

Sirjani, Marjan. editor.

(7)

Sobh, Tarek. editor.

(7)

Stojmenovic, Ivan. editor.

(7)

Tari, Zahir. editor.

(7)

Zavattaro, Gianluigi. editor.

(7)

Aßmann, Uwe. editor.

(6)

Baresi, Luciano. editor.

(6)

Beckert, Bernhard. editor.

(6)

Bellatreche, Ladjel. editor.

(6)

Benatallah, Boualem. editor.

(6)

Boldyreva, Alexandra. editor.

(6)

Bubak, Marian. editor.

(6)

Butler, Michael. editor.

(6)

Cannataro, Mario. editor.

(6)

Cruz-Cunha, Maria Manuela. editor.

(6)

Cuzzocrea, Alfredo. editor.

(6)

Daniel, Florian. editor.

(6)

Deng, Hepu. editor.

(6)

Dietz, Jan L. G. editor.

(6)

Falcão, Maria Irene. editor.

(6)

Fortino, Giancarlo. editor.

(6)

Gacek, Cristina. editor.

(6)

Goll, Joachim. author.

(6)

Gruhn, Volker. editor.

(6)

Hameurlain, Abdelkader. editor.

(6)

Hauswirth, Manfred. editor.

(6)

Holleczek, Peter. editor.

(6)

Hsu, Ching-Hsien. editor.

(6)

Jensen, Kurt. editor.

(6)

Jin, Hai. editor.

(6)

Jones, Cliff B. editor.

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Kotzé, Paula. editor.

(6)

Koutny, Maciej. editor.

(6)

Kronland-Martinet, Richard. editor.

(6)

Kurosu, Masaaki. editor.

(6)

Laganá, Antonio. editor.

(6)

Legay, Axel. editor.

(6)

Ma, Jianhua. editor.

(6)

Malyshkin, Victor. editor.

(6)

Noble, James. editor.

(6)

Núñez, Manuel. editor.

(6)

Potapov, Igor. editor.

(6)

Prasanna, Viktor K. editor.

(6)

Rammig, Franz J. editor.

(6)

Reed, Rick. editor.

(6)

Rijmen, Vincent. editor.

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Roman, Dumitru. editor.

(6)

Rumpe, Bernhard. editor.

(6)

Schmidt, Rainer. editor.

(6)

Scott, Stephen L. editor.

(6)

Silhavy, Petr. editor.

(6)

Silhavy, Radek. editor.

(6)

Soffer, Pnina. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Succi, Giancarlo. editor.

(6)

Unland, Rainer. editor.

(6)

Vardanega, Tullio. editor.

(6)

Waśniewski, Jerzy. editor.

(6)

Winikoff, Michael. editor.

(6)

Wyrzykowski, Roman. editor.

(6)

Xiang, Yang. editor.

(6)

Yeo, Sang-Soo. editor.

(6)

Ystad, Sølvi. editor.

(6)

Zhang, Yanchun. editor.

(6)

Aksit, Mehmet. editor.

(5)

Al-Begain, Khalid. editor.

(5)

Ali, Moonis. editor.

(5)

Altmann, Jörn. editor.

(5)

Arbab, Farhad. editor.

(5)

Artikis, Alexander. editor.

(5)

Barjis, Joseph. editor.

(5)

Bellahsène, Zohra. editor.

(5)

Bellalta, Boris. editor.

(5)

Boles, Dietrich. author.

(5)

Bordini, Rafael H. editor.

(5)

Bravo, José. editor.

(5)

Camarinha-Matos, Luis M. editor.

(5)

Cao, Jiannong. editor.

(5)

Carlini, Maurizio. editor.

(5)

Cavalcanti, Ana. editor.

(5)

Choo, Hyunseung. editor.

(5)

Crnkovic, Ivica. editor.

(5)

Cuppens, Frédéric. editor.

(5)

Dorling, Alec. editor.

(5)

Tümünü genişlet

Dil

(3873)

(233)

(13)

(3)

(2)

(1)

Tümünü genişlet

Yayın Yılı

-

(442)

(417)

(389)

(358)

(341)

(335)

(301)

(293)

(292)

(274)

(251)

(217)

(116)

(88)

(8)

(8)

(6)

(5)

(5)

(4)

(4)

(4)

(4)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Software engineering.

(3808)

Computer science.

(2998)

Computer Communication Networks.

(1167)

Artificial intelligence.

(1021)

Information systems.

(825)

(747)

Computer software.

(558)

Information storage and retrieval systems.

(396)

Information Systems.

(344)

Computer simulation.

(321)

Operating systems (Computers).

(300)

Computer network architectures.

(274)

Management information systems.

(270)

Computer system performance.

(245)

(200)

Database management.

(191)

(177)

Computer vision.

(173)

Information theory.

(155)

Data encryption (Computer science).

(152)

Data protection.

(139)

Application software.

(125)

Computer logic.

(100)

(100)

Electronic data processing.

(94)

Information Systems Applications (incl. Internet).

(92)

Multimedia systems.

(92)

Telecommunication.

(91)

Computer security.

(90)

Data structures (Computer science).

(90)

Programming languages (Electronic computers).

(89)

Computer communication systems.

(86)

Computational complexity.

(80)

Logics and Meanings of Programs.

(77)

(69)

(69)

Programming Languages, Compilers, Interpreters.

(67)

Artificial Intelligence (incl. Robotics).

(65)

Systems engineering.

(62)

Optical pattern recognition.

(60)

Management of Computing and Information Systems.

(58)

(55)

Mathematical logic.

(51)

Algorithm Analysis and Problem Complexity.

(49)

Computer hardware.

(49)

Bioinformatics.

(48)

Computer organization.

(48)

(48)

Computer industry.

(45)

Information Storage and Retrieval.

(44)

Mathematical Logic and Formal Languages.

(43)

Programming Techniques.

(43)

Computer aided design.

(42)

Computer system failures.

(42)

Algebra -- Data processing.

(39)

Special Purpose and Application-Based Systems.

(39)

Computational intelligence.

(38)

Computer programming.

(37)

Engineering mathematics.

(36)

Social sciences -- Data processing.

(34)

Software Engineering/Programming and Operating Systems.

(33)

(32)

Business Information Systems.

(31)

Computer graphics.

(31)

Electronic books.

(31)

Computer Appl. in Administrative Data Processing.

(29)

Optical data processing.

(29)

Simulation and Modeling.

(29)

User Interfaces and Human Computer Interaction.

(28)

Information technology.

(27)

(27)

User interfaces (Computer systems).

(27)

System Performance and Evaluation.

(24)

Computation by Abstract Devices.

(23)

Computer engineering.

(22)

Computer science -- Mathematics.

(22)

Computers and Society.

(21)

Data transmission systems.

(21)

Business planning.

(20)

Computer science—Mathematics.

(20)

(20)

Microprogramming.

(20)

Special purpose computers.

(20)

Data structures (Computer scienc.

(19)

Computer software -- Development.

(18)

Computers and civilization.

(18)

Operating Systems.

(18)

Medical records -- Data processing.

(17)

Yazılım mühendisliği.

(17)

Communications Engineering, Networks.

(16)

Data Mining and Knowledge Discovery.

(16)

Engineering design.

(16)

Systems and Data Security.

(16)

Engineering economy.

(15)

Business—Data processing.

(14)

Industrial engineering.

(14)

(14)

(14)

Electronic commerce.

(13)

Natural language processing (Computer science).

(12)

Data Encryption.

(11)

Information storage and retrieval.

(11)

(10)

Architecture, Computer.

(10)

Computer Applications.

(10)

Computer Science, general.

(10)

Economics/Management Science.

(10)

Information Systems and Communication Service.

(10)

Pattern Recognition.

(9)

Pattern recognition.

(9)

Project management.

(9)

Theory of Computation.

(9)

Biology -- Data processing.

(8)

Computer software -- Development -- Management.

(8)

Computers and Education.

(8)

Education—Data processing.

(8)

(7)

COMPUTERS / Software Development & Engineering / General

(7)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(7)

Computers -- Law and legislation.

(7)

Discrete Mathematics in Computer Science.

(7)

Electrical engineering.

(7)

Internet of things.

(7)

Logic, Symbolic and mathematical.

(7)

Mathematical statistics.

(7)

Multimedia Information Systems.

(7)

Signal processing.

(7)

Software architecture.

(7)

Text processing (Computer science.

(7)

e-Commerce/e-business.

(7)

COMPUTERS -- Software Development & Engineering -- General.

(6)

Computational Biology/Bioinformatics.

(6)

Computer System Implementation.

(6)

Control engineering systems.

(6)

Microprogramming .

(6)

Models and Principles.

(6)

(6)

Signal, Speech and Image Processing.

(6)

Software engineering -- Management.

(6)

(5)

Computer networks.

(5)

Electronic circuits.

(5)

Engineering -- Data processing.

(5)

(5)

Industrial management.

(5)

Input-output equipment (Computers).

(5)

(5)

Memory management (Computer science).

(5)

Microprocessors.

(5)

Monoclonal antibodies.

(5)

Probability and Statistics in Computer Science.

(5)

Translators (Computer programs).

(5)

YAZILIM MÜHENDİSLİĞİ.

(5)

Agile software development.

(4)

(4)

COMPUTERS / Programming / Open Source

(4)

COMPUTERS / Software Development & Engineering / Tools

(4)

Civil engineering.

(4)

Computer Systems Organization and Communication Networks.

(4)

Computer software -- Quality control.

(4)

Data Structures.

(4)

(4)

Human-computer interaction.

(4)

Image Processing and Computer Vision.

(4)

Industrial and Production Engineering.

(4)

Industrial procurement.

(4)

Java (Computer program language)

(4)

Machine learning.

(4)

Mathematical geography.

(4)

(4)

Object-oriented programming (Computer science)

(4)

Performance and Reliability.

(4)

Remote sensing.

(4)

Symbolic and Algebraic Manipulation.

(4)

Systems theory.

(4)

Technology -- Sociological aspects.

(4)

(3)

Banks and banking.

(3)

Biomedical engineering.

(3)

COMPUTERS -- Programming -- Open Source.

(3)

COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.

(3)

COMPUTERS -- Software Development & Engineering -- Tools.

(3)

Chemical engineering.

(3)

(3)

Computational Intelligence.

(3)

Computer architecture.

(3)

Computer software -- Testing.

(3)

Control engineering.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Data and Information Security.

(3)

(3)

Electronic Circuits and Systems.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

Embedded computer systems.

(3)

Geographical information systems.

(3)

Innovation/Technology Management.

(3)

Knowledge management.

(3)

Law and legislation.

(3)

(3)

Mathematical optimization.

(3)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Süreli Yayın Koleksiyonu

Beytepe Tez Koleksiyonu

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ç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

4154 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 340 341 342 343 344 .. 347

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.

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:

2.

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers için kapak resmi

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

Yazar

Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings için kapak resmi

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

Yazar

Beigl, Michael. editor. Lukowicz, Paul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings için kapak resmi

Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings

Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings

Yazar

Bressan, Stéphane. editor. Ceri, Stefano. editor. Hunt, Ela. editor. Ives, Zachary G. editor. Bellahsène, Zohra. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

6.

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:

7.

Embedded Systems Design The ARTIST Roadmap for Research and Development için kapak resmi

Embedded Systems Design The ARTIST Roadmap for Research and Development

Embedded Systems Design The ARTIST Roadmap for Research and Development

Yazar

Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings için kapak resmi

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings için kapak resmi

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Yazar

Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

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:

12.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 340 341 342 343 344 .. 347

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11