Search Results for Computer programs

|

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)

(530)

Uszkoreit, Hans. editor.

(33)

Rehm, Georg. editor.

(32)

Wiley InterScience (Online service)

(12)

Lopez, Cesar. author.

(11)

Peters, Carol. editor.

(8)

Matthews, Martin S.

(7)

Sandberg, Bobbi.

(6)

Gelbukh, Alexander. editor.

(5)

Gonzalo, Julio. editor.

(5)

Gürkan, Osman.

(5)

Minker, Wolfgang. author.

(5)

Barich, Thomas E.

(4)

(4)

Esposito, Anna. editor.

(4)

(4)

Jones, Gareth J. F. editor.

(4)

Legay, Axel. editor.

(4)

Magnini, Bernardo. editor.

(4)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(4)

Métais, Elisabeth. editor.

(4)

Müller, Henning. editor.

(4)

Peñas, Anselmo. editor.

(4)

Rahwan, Iyad. editor.

(4)

Taylor and Francis.

(4)

Andreasen, Troels. editor.

(3)

Artho, Cyrille. editor.

(3)

Aykin, Nuray. editor.

(3)

Bağcı, Ömer.

(3)

Bengio, Samy. editor.

(3)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(3)

Branco, António. editor.

(3)

(3)

Cameron, Melanie Anjele.

(3)

(3)

Christiansen, Henning. editor.

(3)

(3)

Faundez-Zanuy, Marcos. editor.

(3)

Forner, Pamela. editor.

(3)

IEEE Xplore (Online Service), distributor.

(3)

Ishida, Toru. editor.

(3)

Karagülmez, Ali.

(3)

Kusleika, Dick, author.

(3)

Larsen, Henrik Legind. editor.

(3)

(3)

MIT Press, publisher.

(3)

Mahlow, Cerstin. editor.

(3)

Mandl, Thomas. editor.

(3)

Matoušek, Václav. editor.

(3)

Mautner, Pavel. editor.

(3)

Parsons, Simon. editor.

(3)

Piotrowski, Michael. editor.

(3)

Renals, Steve. editor.

(3)

Rijke, Maarten. editor.

(3)

Walkenbach, John.

(3)

Ölveczky, Peter Csaba. editor.

(3)

(3)

Ahmad, Khurshid.

(2)

Alexander, Michael, 1972- author.

(2)

Babu, Hafiz Md. Hasan, 1966-

(2)

Bhatnagar, Veera, ort. yaz.

(2)

Bourlard, Hervé. editor.

(2)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(2)

Brewster, Christopher.

(2)

Capachietti, Leslie.

(2)

(2)

Cardoso, Jorge. editor.

(2)

Cavalli, Ana Rosa. editor.

(2)

Cesur, Hatice, çev.

(2)

Chechik, Marsha. editor.

(2)

Clarke, David (David K.)

(2)

Clough, Paul. editor.

(2)

Cramer, Duncan, 1948-

(2)

Darche, Philippe.

(2)

De Nicola, Rocco. editor.

(2)

Deniz, Kaan Zülfikar.

(2)

(2)

Dülger, Murat Volkan.

(2)

Felke-Morris, Terry.

(2)

Ferro, Nicola. editor.

(2)

Fuchs, Norbert E. editor.

(2)

George, Darren.

(2)

Gey, Fredric C. editor.

(2)

Godson, Richard H.

(2)

Green, Samuel B., 1947-

(2)

Gruhn, Rainer. author.

(2)

Gürsakal, Necmi

(2)

Halaç, Ali, çev.

(2)

Hausser, Roland. author.

(2)

Helbig, Hermann. author.

(2)

Ho, Robert, author.

(2)

Huet, Gérard. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

(2)

IGI Global, publisher.

(2)

John Wiley & Sons.

(2)

Jones, Peter, 1953 Oct. 9-

(2)

Kadarmideen, Haja N. editor.

(2)

Karwowski, Waldemar, 1953-

(2)

Kehtarnavaz, Nasser.

(2)

Kellogg, Orson.

(2)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(2)

(2)

Kluck, Michael. editor.

(2)

Kneusel, Ronald T. author.

(2)

Kopeček, Ivan. editor.

(2)

Koyuncu, Suat, ed.

(2)

Kulkarni, Amba. editor.

(2)

Kurimo, Mikko. editor.

(2)

Kwong, Oi Yee. editor.

(2)

(2)

Lalitha Devi, Sobha. editor.

(2)

(2)

Lee, Kent D. author.

(2)

Liu, Shaoying. editor.

(2)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Marras, William S. (William Steven), 1952-

(2)

Matthews, Carole Boggs.

(2)

Maudet, Nicolas. editor.

(2)

Mazzara, Manuel. editor.

(2)

McCormick, Keith (Consultant), author.

(2)

Mehler, Alexander. editor.

(2)

Meyer, Bertrand. editor.

(2)

Minker, Wolfgang. editor.

(2)

Mitkov, Ruslan. editor.

(2)

Mogensen, Torben Ægidius. author.

(2)

Morgan, George A. (George Arthur), 1936-

(2)

Müller, Christian. editor.

(2)

Neustein, Amy. editor.

(2)

Nichols, David M.

(2)

Nixon, Robin, 1961-

(2)

Oard, Douglas W. editor.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Pala, Karel. editor.

(2)

Pallant, Julie.

(2)

Peck, Jon, author.

(2)

Perner, Petra. editor.

(2)

(2)

Petras, Vivien. editor.

(2)

Plotkin, David.

(2)

Popescu-Belis, Andrei. editor.

(2)

Proença, José. editor.

(2)

Quaresma, Paulo. editor.

(2)

Rao, K. Sreenivasa. author.

(2)

Reed, Chris. editor.

(2)

(2)

Salcedo, Jesus, author.

(2)

Salkind, Neil J., ort. yaz.

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Santos, Diana. editor.

(2)

Schoitsch, Erwin. editor.

(2)

ScienceDirect (Online service)

(2)

Seceleanu, Cristina. editor.

(2)

Shankar, P. (Priti)

(2)

Sharoff, Serge. editor.

(2)

Sirjani, Marjan. editor.

(2)

Sojka, Petr. editor.

(2)

(2)

Steels, Luc. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Stevenson, Mark.

(2)

Stevenson, Peter R.

(2)

Sutherland, Bruce. author.

(2)

Teixeira, António. editor.

(2)

Toktamış, Öniz.

(2)

Tonetta, Stefano. editor.

(2)

Türkan, Semra.

(2)

(2)

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334

(2)

Vetulani, Zygmunt. editor.

(2)

(2)

Ward, Antony, 1975-

(2)

Watkins, Marley W., 1949- author.

(2)

Weirich, Stephanie. editor.

(2)

Wheeler, Andrew, author.

(2)

Witt, Andreas. editor.

(2)

Wong, Kam-Fai. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Yli-Jyrä, Anssi. editor.

(2)

(2)

Zeugmann, Thomas. editor.

(2)

Zhang, Min. editor.

(2)

Zhang, Zili. editor.

(2)

Zhao, Dongyan. editor.

(2)

Zhou, Guodong. editor.

(2)

Zilles, Sandra. editor.

(2)

de Supinski, Bronis R. editor.

(2)

van Sinderen, Marten. editor.

(2)

Ábrahám, Erika. editor.

(2)

A, Gayathri. author.

(1)

Abate, Alessandro. editor.

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abdel-Magid, Isam Mohammed.

(1)

Abdel-Salam, Abdel-Salam G., author.

(1)

Abdulla, Faruq, author.

(1)

Abelló, Alberto. editor.

(1)

Abelson, Harold.

(1)

AbuZeina, Dia. author.

(1)

Aceto, Luca. editor.

(1)

Tümünü genişlet

Dil

(1025)

(94)

(6)

(1)

Yayın Yılı

-

(122)

(113)

(100)

(88)

(73)

(53)

(52)

(51)

(47)

(45)

(44)

(40)

(38)

(37)

(33)

(33)

(29)

(24)

(23)

(22)

(20)

(19)

(18)

(16)

(14)

(13)

(11)

(7)

(6)

(6)

(5)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(332)

Translators (Computer programs).

(247)

Compilers (Computer programs).

(217)

Compilers and Interpreters.

(217)

Artificial intelligence.

(204)

Software engineering.

(165)

Computer Science Logic and Foundations of Programming.

(98)

Computer programming.

(94)

Computational linguistics.

(88)

Programming Techniques.

(85)

Formal Languages and Automata Theory.

(83)

Machine theory.

(83)

Information storage and retrieval systems.

(69)

(57)

Business -- Computer programs.

(49)

Information systems.

(49)

Electronic books.

(47)

Text processing (Computer science.

(43)

Microsoft Excel (Computer file)

(40)

Optical pattern recognition.

(39)

Social sciences -- Statistical methods -- Computer programs.

(39)

(38)

Application software.

(38)

Computer and Information Systems Applications.

(35)

(35)

Computer networks .

(34)

Theory of Computation.

(34)

Computer Communication Networks.

(31)

Computer simulation.

(29)

Computer software.

(27)

Language Translation and Linguistics.

(25)

Computer vision.

(24)

Computer Modelling.

(21)

R (Computer program language)

(21)

SPSS (Computer file)

(20)

Database management.

(19)

Computers, Special purpose.

(18)

(18)

Special Purpose and Application-Based Systems.

(18)

Electronic digital computers -- Evaluation.

(17)

Computer graphics -- Computer programs.

(16)

Electronic data processing -- Management.

(16)

(16)

Multimedia systems.

(16)

System Performance and Evaluation.

(16)

Computer Engineering and Networks.

(15)

Computer engineering.

(15)

Computer science -- Mathematics.

(15)

SPSS for Windows.

(15)

Artificial Intelligence (incl. Robotics).

(14)

(14)

(13)

Computer programs -- Testing.

(12)

(12)

Mathematical Software.

(12)

Microsoft Office.

(12)

Numerical analysis -- Computer programs.

(12)

Application software -- Development.

(11)

Business intelligence -- Computer programs.

(11)

Computer software -- Development.

(11)

Electronic spreadsheets -- Computer programs.

(11)

Information theory.

(11)

Java (Computer program language)

(11)

Operating Systems.

(11)

Operating systems (Computers).

(11)

Programming Language.

(11)

Programming languages (Electronic computers).

(11)

Telecommunication.

(11)

Web site development.

(11)

Accounting -- Computer programs.

(10)

Data Mining and Knowledge Discovery.

(10)

Data protection.

(10)

Microsoft Excel (Bilgisayar kütüğü)

(10)

Web sites -- Design.

(10)

(9)

Compilers (Computer programs)

(9)

Data and Information Security.

(9)

Electronic spreadsheets.

(9)

Engineering mathematics.

(9)

Finance, Personal -- Computer programs.

(9)

Information Storage and Retrieval.

(9)

Management information systems.

(9)

Microprocessors.

(9)

(9)

SOSYAL BİLİMLER -- İSTATİSTİKİ YÖNTEMLER -- BİLGİSAYAR PROGRAMLARI.

(9)

Software Testing.

(9)

The Computing Profession.

(9)

COMPUTERS / Computer Graphics / Game Programming & Design

(8)

COMPUTERS / Computer Graphics / General

(8)

Computer System Implementation.

(8)

Computer crimes -- Turkey.

(8)

Computer systems.

(8)

Copyright -- Computer programs -- Turkey.

(8)

Electronic commerce -- Computer programs.

(8)

(8)

Open source software.

(8)

Social sciences—Computer programs.

(8)

Statistics -- Computer programs.

(8)

Web site development -- Computer programs.

(8)

Bioinformatics.

(7)

Computer animation -- Computer programs.

(7)

Computer architecture.

(7)

Computer graphics.

(7)

Information visualization -- Computer programs.

(7)

Internet -- Law and legislation -- Turkey -- Criminal provisions.

(7)

Machine learning.

(7)

Python (Computer program language)

(7)

Social sciences—Data processing.

(7)

TECHNOLOGY & ENGINEERING.

(7)

Accounting -- Data processing.

(6)

Adobe Photoshop.

(6)

Artificial intelligence -- Computer programs.

(6)

Bookkeeping -- Computer programs.

(6)

Business -- Computer programs

(6)

C++ (Computer program language)

(6)

Cash management -- Computer programs.

(6)

(6)

Computer networks -- Security measures -- Computer programs.

(6)

Computer security -- Computer programs.

(6)

Data mining -- Computer programs.

(6)

Econometrics -- Computer programs.

(6)

Geographic information systems.

(6)

Image processing -- Digital techniques.

(6)

Information Systems Applications (incl. Internet).

(6)

Investments -- Computer programs.

(6)

Microsoft Outlook.

(6)

Natural Language Processing (NLP).

(6)

Natural language processing (Computer science).

(6)

Oracle (Computer file)

(6)

Processor Architectures.

(6)

(6)

SPSS (Bilgisayar kütüğü)

(6)

Small business -- Accounting -- Computer programs.

(6)

Small business -- Finance -- Computer programs.

(6)

Social sciences -- Data processing.

(6)

Tax accounting -- Computer programs.

(6)

Telif Hakkı -- Bilgisayar Programları -- Türkiye.

(6)

User Interfaces and Human Computer Interaction.

(6)

İş -- Bilgisayar programları

(6)

İşletme -- Bilgisayar programları.

(6)

(5)

Bilgisayar Suçları -- Türkiye.

(5)

Browsers (Computer programs)

(5)

Business planning -- Computer programs.

(5)

Cascading style sheets.

(5)

Coding and Information Theory.

(5)

Communications Engineering, Networks.

(5)

Computational and Systems Biology.

(5)

Data structures (Computer science).

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Home banking services.

(5)

Information technology -- Management.

(5)

JavaScript (Computer program language)

(5)

MATHEMATICS / Probability & Statistics / General

(5)

Mathematical Applications in Computer Science.

(5)

(5)

Oracle E-business suite.

(5)

Photography -- Digital techniques.

(5)

Plug-ins (Computer programs)

(5)

Programming languages (Electronic computers)

(5)

Project management -- Computer programs.

(5)

Quicken (Computer file)

(5)

Social sciences -- Computer programs.

(5)

Tableau (Computer file)

(5)

Tax planning -- United States -- Computer programs.

(5)

Threads (Computer programs)

(5)

İnternet -- Yasa ve yasama -- Türkiye -- Cezai hükümler.

(5)

İŞLETME -- BİLGİSAYAR PROGRAMLARI.

(5)

Business report writing -- Computer programs.

(4)

COMPUTERS / General

(4)

Cartography -- Computer programs.

(4)

Cloud computing.

(4)

Computers and Education.

(4)

Data Structures and Information Theory.

(4)

Data warehousing.

(4)

Database management -- Computer programs.

(4)

Design and Analysis of Algorithms.

(4)

Education -- Data processing.

(4)

(4)

Engineering -- Data processing.

(4)

Firewalls (Computer security)

(4)

Geographic information systems -- Computer programs.

(4)

HTML (Document markup language)

(4)

HTML editors (Computer programs)

(4)

Intelligence artificielle.

(4)

Internet programming.

(4)

MATHEMATICS / Applied

(4)

Mathematical and Computational Engineering Applications.

(4)

Mathematics -- Data processing.

(4)

Medical informatics.

(4)

Microsoft .NET Framework.

(4)

Microsoft Visual Basic for applications.

(4)

Numerical analysis.

(4)

(4)

Relational databases.

(4)

(4)

SPSS, Windows için.

(4)

SQL (Computer program language)

(4)

Signal, Image and Speech Processing.

(4)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Hukuk Genel Koleksiyon

Karger E-Kitap Koleksiyonu

Konservatuvar Genel Koleksiyon

Sağlık Bilimleri Genel Koleksiyon

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

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

1134 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 30 31 32 33 34 .. 95

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.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings için kapak resmi

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Scala: From a Functional Programming Perspective An Introduction to the Programming Language için kapak resmi

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

Yazar

Torra, Vicenç. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers için kapak resmi

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Yazar

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures için kapak resmi

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Yazar

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers için kapak resmi

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

Yazar

Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings için kapak resmi

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Yazar

Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Instruction Level Parallelism için kapak resmi

Instruction Level Parallelism

Instruction Level Parallelism

Yazar

Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4899-7797-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings için kapak resmi

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Yazar

Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings için kapak resmi

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Yazar

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Pediatric Biomedical Informatics Computer Applications in Pediatric Research için kapak resmi

Pediatric Biomedical Informatics Computer Applications in Pediatric Research

Pediatric Biomedical Informatics Computer Applications in Pediatric Research

Yazar

Hutton, John J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1104-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 30 31 32 33 34 .. 95

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11