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

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ç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

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.

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:

6.

Time and Petri Nets için kapak resmi

Time and Petri Nets

Time and Petri Nets

Yazar

Popova-Zeugmann, Louchka. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335059.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings için kapak resmi

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Yazar

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335178.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings için kapak resmi

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Yazar

Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335040.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings için kapak resmi

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335046.1)

Elektronik Erişim

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

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.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Yazar

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11