Search Results for Software engineering

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: Computation by Abstract Devices.

Yazar

SpringerLink (Online service)

(23)

Das, Swagatam. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Roberto. editor.

(1)

Berdine, Josh. editor.

(1)

Bernardi, Simona. author.

(1)

Bernardo, Marco. editor.

(1)

Beyer, Dirk. editor.

(1)

Boreale, Michele. editor.

(1)

Coecke, Bob. editor.

(1)

Colom, José-Manuel. editor.

(1)

Csuhaj-Varjú, Erzsébet. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Desel, Jörg. editor.

(1)

Dierkes, Michael. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gheorghe, Marian. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Glück, Robert. editor.

(1)

Gupta, Ashutosh. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Jensen, Kurt. editor.

(1)

Julien, Christine. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Koutny, Maciej. editor.

(1)

Lepistö, Arto. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Merseguer, José. author.

(1)

Miller, D. Michael. editor.

(1)

Nicola, Rocco. editor.

(1)

Nisse, Nicolas. editor.

(1)

Ong, Luke. editor.

(1)

Panangaden, Prakash. editor.

(1)

Pecheur, Charles. editor.

(1)

Petriu, Dorina Corina. author.

(1)

Pfenning, Frank. editor.

(1)

Pierro, Alessandra. editor.

(1)

Popova-Zeugmann, Louchka. author.

(1)

Potapov, Igor. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Ruhe, Günther. editor.

(1)

Salomaa, Arto. editor.

(1)

Steen, Maarten. editor.

(1)

Truthe, Bianca. editor.

(1)

Vaszil, György. editor.

(1)

Vega-Rodríguez, Miguel A. editor.

(1)

Vink, Erik. editor.

(1)

Wiklicky, Herbert. editor.

(1)

Wolf, Karsten. editor.

(1)

Wolff, Burkhart. editor.

(1)

Yokoyama, Tetsuo. editor.

(1)

Zamboni, Luca. editor.

(1)

Zhang, Yuanyuan. editor.

(1)

Tümünü genişlet

Dil

(23)

Yayın Yılı

-

(23)

Konu

Computer science.

(23)

Software engineering.

(23)

(13)

Logics and Meanings of Programs.

(13)

Algorithm Analysis and Problem Complexity.

(11)

Computer software.

(11)

Mathematical Logic and Formal Languages.

(8)

Artificial Intelligence (incl. Robotics).

(6)

Artificial intelligence.

(6)

Computer Communication Networks.

(6)

Programming Languages, Compilers, Interpreters.

(6)

Bioinformatics.

(3)

Computational Biology/Bioinformatics.

(3)

Optical pattern recognition.

(3)

Pattern Recognition.

(3)

Algebra -- Data processing.

(1)

Biological models.

(1)

Biology -- Data processing.

(1)

Computational complexity.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer simulation.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Data Structures.

(1)

Data structures (Computer science).

(1)

Discrete Mathematics in Computer Science.

(1)

History of Computing.

(1)

Information Systems Applications (incl. Internet).

(1)

Information theory.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Probability and Statistics in Computer Science.

(1)

Programming Techniques.

(1)

Simulation and Modeling.

(1)

Special Purpose and Application-Based Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Systems Biology.

(1)

Theory of Computation.

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

23 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.

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings için kapak resmi

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Yazar

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334844.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I için kapak resmi

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Yazar

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332993.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03753-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II için kapak resmi

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Yazar

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332994.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03756-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings için kapak resmi

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Yazar

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332999.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03850-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers için kapak resmi

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Yazar

Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334174.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings için kapak resmi

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Yazar

Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334610.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings için kapak resmi

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Yazar

Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334630.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings için kapak resmi

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Yazar

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334651.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38697-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Model-Driven Dependability Assessment of Software Systems için kapak resmi

Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems

Yazar

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334812.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings için kapak resmi

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Yazar

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334973.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings için kapak resmi

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Yazar

Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334992.1)

Elektronik Erişim

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

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