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.

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:

5.

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:

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.

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:

9.

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings için kapak resmi

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Yazar

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334073.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers için kapak resmi

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Yazar

Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.

Yer Numarası

ONLINE(334280.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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:

1 2

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11