Search Results for Operating Systems.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

19

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Subject: Programming Techniques.

Yazar

SpringerLink (Online service)

(21)

Aiello, Marco. editor. (orcid)0000-0002-0764-2124

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barnes, John. author.

(1)

Barzen, Johanna. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Brat, Guillaume. editor.

(1)

Brinkmann, Steffen. editor.

(1)

Brukardt, Randall L. editor.

(1)

Buhr, Peter A. author.

(1)

Chemuturi, Murali. author.

(1)

Cheptsov, Alexey. editor.

(1)

Clarke, Dave. editor.

(1)

Criswell, John. editor.

(1)

Ding, Chen. editor.

(1)

Duff, Robert A. editor.

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Giese, Holger. editor.

(1)

Graba, Jan. author.

(1)

Gracia, José. editor.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

Kasahara, Hironori. editor.

(1)

Kimura, Keiji. editor.

(1)

Kunkel, Julian M. editor.

(1)

Lemos, Rogério. editor.

(1)

Leroy, Pascal. editor.

(1)

Leymann, Frank. editor. (orcid)0000-0002-9123-259X

(1)

Lourenço, João M. editor.

(1)

Lämmel, Ralf. editor.

(1)

Mili, Ali. editor.

(1)

Morisio, Maurizio. editor.

(1)

Mueller, Frank. editor.

(1)

Müller, Hausi A. editor.

(1)

Nagel, Wolfgang E. editor.

(1)

Noble, James. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Ploedereder, Erhard. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Resch, Michael M. editor.

(1)

Rungta, Neha. editor.

(1)

Saraiva, João. editor.

(1)

Schonberg, Edmond. editor.

(1)

Shalf, John. editor.

(1)

Shaw, Mary. editor.

(1)

Shen, Xipeng. editor.

(1)

Taft, S. Tucker. editor.

(1)

Tahar, Sofiène. editor.

(1)

Taufer, Michela. editor.

(1)

Tkachuk, Oksana. editor.

(1)

Tuck, James. editor.

(1)

Venet, Arnaud. editor.

(1)

Visser, Joost. editor.

(1)

Wrigstad, Tobias. editor.

(1)

Wu, Peng. editor.

(1)

Yokota, Rio. editor.

(1)

Tümünü genişlet

Dil

(21)

Yayın Yılı

-

(14)

(3)

(3)

(1)

Konu

Software engineering.

(19)

Computer science.

(15)

Operating systems (Computers).

(14)

Operating Systems.

(13)

Programming Languages, Compilers, Interpreters.

(10)

Computer programming.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

(4)

Artificial intelligence.

(3)

Logics and Meanings of Programs.

(3)

(2)

Computer Communication Networks.

(2)

Computer System Implementation.

(2)

Computer system performance.

(2)

Computer systems.

(2)

Input/Output and Data Communications.

(2)

Performance and Reliability.

(2)

System Performance and Evaluation.

(2)

Artificial Intelligence (incl. Robotics).

(1)

Computational Science and Engineering.

(1)

Computer Applications.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer architecture.

(1)

Computer input-output equipment.

(1)

Computer simulation.

(1)

Computer vision.

(1)

(1)

Control Structures and Microprogramming.

(1)

Data transmission systems.

(1)

Engineering, general.

(1)

(1)

Formal Languages and Automata Theory.

(1)

Hardware Performance and Reliability.

(1)

History of Computing.

(1)

Machine theory.

(1)

Mathematical Logic and Formal Languages.

(1)

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Models and Principles.

(1)

Processor Architectures.

(1)

Simulation and Modeling.

(1)

Special Purpose and Application-Based Systems.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Ç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ç

21 sonuç bulundu

Arama sonuçlarına abone ol

1 2

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.

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers için kapak resmi

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Yazar

Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72578-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings için kapak resmi

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Yazar

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers için kapak resmi

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Yazar

Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers için kapak resmi

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Yazar

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers için kapak resmi

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Yazar

Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Understanding Control Flow Concurrent Programming Using μC++ için kapak resmi

Understanding Control Flow Concurrent Programming Using μC++

Understanding Control Flow Concurrent Programming Using μC++

Yazar

Buhr, Peter A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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:

8.

An Introduction to Network Programming with Java Java 7 Compatible için kapak resmi

An Introduction to Network Programming with Java Java 7 Compatible

An Introduction to Network Programming with Java Java 7 Compatible

Yazar

Graba, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331180.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5254-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Requirements Engineering and Management for Software Development Projects için kapak resmi

Requirements Engineering and Management for Software Development Projects

Requirements Engineering and Management for Software Development Projects

Yazar

Chemuturi, Murali. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331756.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-5377-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers için kapak resmi

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Yazar

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334055.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35813-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers için kapak resmi

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Yazar

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334096.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35992-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification için kapak resmi

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Yazar

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334327.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11