Search Results for

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: Software engineering.

Yazar

SpringerLink (Online service)

(3724)

Gervasi, Osvaldo. editor.

(39)

Taniar, David. editor.

(38)

Apduhan, Bernady O. editor.

(37)

Dongarra, Jack. editor.

(29)

Kim, Tai-hoon. editor.

(29)

Yang, Laurence T. editor.

(25)

Murgante, Beniamino. editor.

(22)

Gavrilova, Marina L. editor.

(21)

Meersman, Robert. editor.

(19)

Sloot, Peter M. A. editor.

(19)

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

(18)

Filipe, Joaquim. editor.

(17)

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)

Lee, Roger. editor.

(14)

Li, Daoliang. editor.

(14)

Palanque, Philippe. editor.

(14)

Ślęzak, Dominik. editor.

(14)

Herrero, Pilar. editor.

(13)

Meyer, Bertrand. editor.

(13)

Mun, Youngsong. editor.

(13)

Rozenberg, Grzegorz. editor.

(13)

Stephanidis, Constantine. editor.

(13)

Voronkov, Andrei. editor.

(13)

Chaki, Nabendu. editor.

(12)

Meghanathan, Natarajan. editor.

(12)

Nguyen, Ngoc Thanh. editor.

(12)

Romanovsky, Alexander. editor.

(12)

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

(12)

Winckler, Marco. editor.

(12)

Bernardo, Marco. editor.

(11)

Cordeiro, José. editor.

(11)

Guo, Minyi. editor.

(11)

Kang, Byeong-Ho. editor.

(11)

Messnarz, Richard. 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)

Dillon, Tharam. editor.

(10)

El-Qawasmeh, Eyas. editor.

(10)

Lei, Jingsheng. editor.

(10)

Liu, Zhiming. editor.

(10)

Maciaszek, Leszek A. editor.

(10)

Reussner, Ralf. editor.

(10)

Shishkov, Boris. editor.

(10)

Tan, C. J. Kenneth. editor.

(10)

Wang, Fu Lee. editor.

(10)

Adeli, Hojjat. editor.

(9)

Dix, Jürgen. editor.

(9)

Kumar, Vipin. editor.

(9)

Lemos, Rogério. editor.

(9)

Misra, Sanjay. editor.

(9)

Woodcock, Jim. editor.

(9)

Abrahamsson, Pekka. editor.

(8)

Anderson, Tom. editor.

(8)

Barthe, Gilles. editor.

(8)

Das, Vinu V. editor.

(8)

Giese, Holger. editor.

(8)

Governatori, Guido. editor.

(8)

Karczewski, Konrad. editor.

(8)

Koucheryavy, Yevgeni. editor.

(8)

Krogstie, John. editor.

(8)

Proper, Erik. editor.

(8)

Rana, Omer F. editor.

(8)

Vinel, Alexey. editor.

(8)

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

(8)

Broy, Manfred. editor.

(7)

Chen, Yingyi. editor.

(7)

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

(7)

Dastani, Mehdi. editor.

(7)

Halang, Wolfgang A. editor.

(7)

Helfert, Markus. editor.

(7)

Huang, Xiong. editor.

(7)

Jeannot, Emmanuel. editor.

(7)

Kleuker, Stephan. author.

(7)

Laganà, Antonio. editor.

(7)

Leung, Andrew Chi Sing. editor.

(7)

Luo, Yuhua. editor.

(7)

Martino, Beniamino. editor.

(7)

Mokhtari, Mounir. editor.

(7)

Nurcan, Selmin. editor.

(7)

Ozawa, Seiichi. editor.

(7)

O’Connor, Rory V. editor.

(7)

Paige, Richard F. editor.

(7)

Salomaa, Arto. editor.

(7)

Sillitti, Alberto. editor.

(7)

Sinderen, Marten. editor.

(7)

Tari, Zahir. editor.

(7)

Zavattaro, Gianluigi. editor.

(7)

Baldoni, Matteo. editor.

(6)

Beckert, Bernhard. editor.

(6)

Benatallah, Boualem. editor.

(6)

Boldyreva, Alexandra. editor.

(6)

Bubak, Marian. 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)

Elleithy, Khaled. editor.

(6)

Falcão, Maria Irene. editor.

(6)

Fortino, Giancarlo. editor.

(6)

Gacek, Cristina. editor.

(6)

Goll, Joachim. author.

(6)

Graf, Susanne. editor.

(6)

Gruhn, Volker. editor.

(6)

Hameurlain, Abdelkader. editor.

(6)

Hammoudi, Slimane. editor.

(6)

Hauswirth, Manfred. editor.

(6)

Holleczek, Peter. editor.

(6)

Jensen, Kurt. 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)

Manolopoulos, Yannis. editor.

(6)

Noble, James. editor.

(6)

Paschke, Adrian. editor.

(6)

Potapov, Igor. editor.

(6)

Prasanna, Viktor K. editor.

(6)

Rammig, Franz J. editor.

(6)

Rashid, Awais. 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)

Schmidt, Rainer. editor.

(6)

Scott, Stephen L. editor.

(6)

Soffer, Pnina. editor.

(6)

Stafford, Judith A. editor.

(6)

Stojmenovic, Ivan. editor.

(6)

Succi, Giancarlo. editor.

(6)

Unland, Rainer. 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)

Aßmann, Uwe. editor.

(5)

Baresi, Luciano. editor.

(5)

Barjis, Joseph. editor.

(5)

Bellahsène, Zohra. editor.

(5)

Bellalta, Boris. editor.

(5)

Bellatreche, Ladjel. editor.

(5)

Bergsmann, Johannes. editor.

(5)

Biffl, Stefan. editor.

(5)

Boles, Dietrich. author.

(5)

Bordini, Rafael H. editor.

(5)

Bravo, José. editor.

(5)

Butler, Michael. editor.

(5)

Cao, Jiannong. editor.

(5)

Carlini, Maurizio. editor.

(5)

Cavalcanti, Ana. editor.

(5)

Chapman, Barbara M. editor.

(5)

Choo, Hyunseung. editor.

(5)

Cuppens, Frédéric. editor.

(5)

Dorling, Alec. editor.

(5)

Fiadeiro, José Luiz. editor.

(5)

Fiems, Dieter. editor.

(5)

Franch, Xavier. editor.

(5)

Fred, Ana. editor.

(5)

Gheorghe, Marian. editor.

(5)

Gibbons, Jeremy. editor.

(5)

Gulliksen, Jan. editor.

(5)

Halpin, Terry. editor.

(5)

Heckel, Reiko. editor.

(5)

Higashino, Teruo. editor.

(5)

Horváth, Zoltán. editor.

(5)

Hsu, Ching-Hsien. editor.

(5)

Huisman, Marieke. editor.

(5)

Iglesias, Andrés. editor.

(5)

Jin, Hai. editor.

(5)

Keller, Rainer. editor.

(5)

Kiumi, Akingbehin. editor.

(5)

Tümünü genişlet

Dil

(3565)

(229)

(11)

(3)

(1)

Yayın Yılı

-

(424)

(400)

(369)

(343)

(334)

(327)

(295)

(285)

(280)

(267)

(235)

(198)

(22)

(8)

(5)

(5)

(5)

(5)

(4)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(2980)

Computer Communication Networks.

(1161)

Artificial intelligence.

(977)

Information systems.

(822)

(742)

Computer software.

(552)

Information storage and retrieval systems.

(393)

Information Systems.

(344)

Computer simulation.

(318)

Operating systems (Computers).

(298)

Computer network architectures.

(272)

Management information systems.

(267)

Computer system performance.

(242)

(192)

Database management.

(183)

Computer vision.

(171)

(157)

Information theory.

(154)

Data encryption (Computer science).

(151)

Data protection.

(139)

Application software.

(117)

Computer logic.

(96)

(96)

Electronic data processing.

(93)

Information Systems Applications (incl. Internet).

(92)

Multimedia systems.

(92)

Data structures (Computer science).

(89)

Computer communication systems.

(84)

Computer security.

(83)

Telecommunication.

(82)

Programming languages (Electronic computers).

(81)

Computational complexity.

(80)

Logics and Meanings of Programs.

(77)

(67)

Programming Languages, Compilers, Interpreters.

(67)

(66)

Artificial Intelligence (incl. Robotics).

(65)

Systems engineering.

(61)

Optical pattern recognition.

(60)

Management of Computing and Information Systems.

(58)

(53)

Algorithm Analysis and Problem Complexity.

(49)

Bioinformatics.

(48)

Computer hardware.

(48)

Mathematical logic.

(48)

(47)

Computer organization.

(46)

Computer industry.

(43)

Information Storage and Retrieval.

(43)

Mathematical Logic and Formal Languages.

(43)

Programming Techniques.

(43)

Algebra -- Data processing.

(39)

Computer aided design.

(39)

Special Purpose and Application-Based Systems.

(39)

Computer system failures.

(35)

Computer programming.

(33)

Software Engineering/Programming and Operating Systems.

(33)

Social sciences -- Data processing.

(32)

Business Information Systems.

(31)

Computer graphics.

(31)

(30)

Engineering mathematics.

(30)

Computer Appl. in Administrative Data Processing.

(29)

Simulation and Modeling.

(29)

Optical data processing.

(28)

User Interfaces and Human Computer Interaction.

(28)

(27)

Information technology.

(26)

User interfaces (Computer systems).

(26)

System Performance and Evaluation.

(24)

Computation by Abstract Devices.

(23)

Computer engineering.

(21)

Computer science -- Mathematics.

(21)

Computers and Society.

(21)

Data transmission systems.

(21)

Microprogramming.

(20)

Special purpose computers.

(20)

Business planning.

(19)

Data structures (Computer scienc.

(19)

Computational intelligence.

(18)

Computer science—Mathematics.

(18)

Computers and civilization.

(18)

Operating Systems.

(18)

Electronic books.

(17)

(17)

Medical records -- Data processing.

(17)

Yazılım mühendisliği.

(17)

Data Mining and Knowledge Discovery.

(16)

Systems and Data Security.

(16)

(15)

Business—Data processing.

(14)

Engineering design.

(14)

Electronic commerce.

(13)

Engineering economy.

(13)

(13)

Industrial engineering.

(12)

Data Encryption.

(11)

Information storage and retrieval.

(11)

(10)

Computer Applications.

(10)

Economics/Management Science.

(10)

Information Systems and Communication Service.

(10)

Natural language processing (Computer science).

(10)

Computer Science, general.

(9)

Computer software -- Development.

(9)

Pattern Recognition.

(9)

Pattern recognition.

(9)

Architecture, Computer.

(8)

Biology -- Data processing.

(8)

Computers and Education.

(8)

Theory of Computation.

(8)

Communications Engineering, Networks.

(7)

Computers -- Law and legislation.

(7)

Discrete Mathematics in Computer Science.

(7)

Génie logiciel.

(7)

Logic, Symbolic and mathematical.

(7)

Multimedia Information Systems.

(7)

Text processing (Computer science.

(7)

e-Commerce/e-business.

(7)

(6)

Computational Biology/Bioinformatics.

(6)

Computer System Implementation.

(6)

Control engineering systems.

(6)

Education—Data processing.

(6)

Mathematical statistics.

(6)

Microprogramming .

(6)

Project management.

(6)

Software engineering

(6)

(5)

COMPUTERS -- Software Development & Engineering -- General.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Electrical engineering.

(5)

Industrial management.

(5)

Memory management (Computer science).

(5)

Models and Principles.

(5)

Monoclonal antibodies.

(5)

Probability and Statistics in Computer Science.

(5)

Translators (Computer programs).

(5)

COMPUTERS / Programming / Software Development

(4)

Civil engineering.

(4)

Computer Systems Organization and Communication Networks.

(4)

Computer networks.

(4)

Computer software -- Development -- Management.

(4)

Data Structures.

(4)

(4)

Embedded computer systems.

(4)

(4)

Image Processing and Computer Vision.

(4)

Industrial procurement.

(4)

Input-output equipment (Computers).

(4)

Internet of things.

(4)

Machine learning.

(4)

(4)

Mathematical geography.

(4)

(4)

Performance and Reliability.

(4)

Remote sensing.

(4)

(4)

Software architecture.

(4)

Symbolic and Algebraic Manipulation.

(4)

(3)

Banks and banking.

(3)

Chemical engineering.

(3)

(3)

Computational Intelligence.

(3)

Computer programming -- Management.

(3)

Computer software -- Quality control.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Data and Information Security.

(3)

Electronic circuits.

(3)

Engineering -- Data processing.

(3)

Geographical information systems.

(3)

Innovation/Technology Management.

(3)

Knowledge management.

(3)

Law and legislation.

(3)

(3)

Mathematical optimization.

(3)

Microprocessors.

(3)

Mobile computing.

(3)

Numerical analysis.

(3)

Object-oriented programming (Computer science)

(3)

Project Management.

(3)

Software engineering -- Management.

(3)

Systems theory.

(3)

YAZILIM MÜHENDİSLİĞİ.

(3)

(2)

Application software -- Development.

(2)

(2)

Bilgisayar ağları.

(2)

Bilgisayar yazılımı -- Geliştirme.

(2)

(2)

Biomedical engineering.

(2)

Business logistics.

(2)

COMPUTERS -- Programming -- Open Source.

(2)

COMPUTERS -- Software Development & Engineering -- Tools.

(2)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

COMPUTERS / Computer Science

(2)

COMPUTERS / Information Technology

(2)

COMPUTERS / Programming / Open Source

(2)

COMPUTERS / Software Development & Engineering / General

(2)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

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ç

3826 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 63 64 65 66 67 .. 319

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.

769.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings için kapak resmi

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

770.

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers için kapak resmi

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Yazar

Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54338-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

771.

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI için kapak resmi

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

Yazar

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

772.

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings için kapak resmi

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Yazar

Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45391-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

773.

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities için kapak resmi

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

Yazar

Kacsuk, Péter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11268-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

774.

Enterprise Information Systems Engineering The MERODE Approach için kapak resmi

Enterprise Information Systems Engineering The MERODE Approach

Enterprise Information Systems Engineering The MERODE Approach

Yazar

Snoeck, Monique. author. (orcid)0000-0002-3824-3214 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10145-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

775.

Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II için kapak resmi

Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II

Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II

Yazar

Benatallah, Boualem. editor. Bestavros, Azer. editor. Manolopoulos, Yannis. editor. Vakali, Athena. editor. Zhang, Yanchun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11746-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

776.

Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives için kapak resmi

Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives

Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives

Yazar

Medinilla, Ángel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54991-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

777.

A Beginner's Guide to Scala, Object Orientation and Functional Programming için kapak resmi

A Beginner's Guide to Scala, Object Orientation and Functional Programming

A Beginner's Guide to Scala, Object Orientation and Functional Programming

Yazar

Hunt, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

778.

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Cohen, Albert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54807-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

779.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45231-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

780.

Transactions on Aspect-Oriented Software Development XI için kapak resmi

Transactions on Aspect-Oriented Software Development XI

Transactions on Aspect-Oriented Software Development XI

Yazar

Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55099-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 .. 63 64 65 66 67 .. 319

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11