Search Results for Science -- Software.

|

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ış:

+

Shelf Location: Electronic Library

Yazar

SpringerLink (Online service)

(1539)

Dongarra, Jack. editor.

(18)

Albada, Geert Dick. editor.

(16)

Gavrilova, Marina L. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Meyer, Bertrand. editor.

(12)

Voronkov, Andrei. editor.

(12)

Lei, Jingsheng. editor.

(10)

Palanque, Philippe. editor.

(10)

Wang, Fu Lee. editor.

(10)

Winckler, Marco. editor.

(10)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Kumar, Vipin. editor.

(9)

Messnarz, Richard. editor.

(9)

Abrahamsson, Pekka. editor.

(8)

Cordeiro, José. editor.

(8)

Laganà, Antonio. editor.

(7)

Margaria, Tiziana. editor.

(7)

Tan, C. J. Kenneth. editor.

(7)

Boldyreva, Alexandra. editor.

(6)

Broy, Manfred. editor.

(6)

Deng, Hepu. editor.

(6)

Filipe, Joaquim. editor.

(6)

Goll, Joachim. author.

(6)

Kotzé, Paula. editor.

(6)

Kronland-Martinet, Richard. editor.

(6)

Laganá, Antonio. editor.

(6)

Lemos, Rogério. editor.

(6)

Li, Daoliang. editor.

(6)

Rozenberg, Grzegorz. editor.

(6)

Shishkov, Boris. editor.

(6)

Woodcock, Jim. editor.

(6)

Ystad, Sølvi. editor.

(6)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Boles, Dietrich. author.

(5)

Choo, Hyunseung. editor.

(5)

Gacek, Cristina. editor.

(5)

Gibbons, Jeremy. editor.

(5)

Kleuker, Stephan. author.

(5)

Liu, Honghai. editor.

(5)

Liu, Zhiming. editor.

(5)

Mokhtari, Mounir. editor.

(5)

Pfahl, Dietmar. editor.

(5)

Rashid, Awais. editor.

(5)

Rijmen, Vincent. editor.

(5)

Shi, Yong. editor.

(5)

Sillitti, Alberto. editor.

(5)

Starke, Gernot. author.

(5)

Stephanidis, Constantine. editor.

(5)

Wojtkowski, Wita. editor.

(5)

Abts, Dietmar. author.

(4)

Aksit, Mehmet. editor.

(4)

Alexandrov, Vassil N. editor.

(4)

Ali, Moonis. editor.

(4)

Anglin, Steve. editor.

(4)

Barry, Chris. editor.

(4)

Buckingham, Ewan. editor.

(4)

Campos, Pedro. editor.

(4)

Cavalcanti, Ana. editor.

(4)

Conboy, Kieran. editor.

(4)

Cornell, Gary. editor.

(4)

Daniel, Florian. editor.

(4)

Dastani, Mehdi. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Fitzgerald, Brian. editor.

(4)

Giese, Holger. editor.

(4)

Graf, Susanne. editor.

(4)

Graham, Nicholas. editor.

(4)

Hassell, Jonathan. editor.

(4)

Havelund, Klaus. editor.

(4)

Heckel, Reiko. editor.

(4)

Horváth, Zoltán. editor.

(4)

Jensen, Kristoffer. editor.

(4)

Jorge, Joaquim. editor.

(4)

Joseph, Mathai. editor.

(4)

Kop, Christian. editor.

(4)

Kotlarsky, Julia. editor.

(4)

Kuhrmann, Marco. author.

(4)

Lang, Michael. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Lindgaard, Gitte. editor.

(4)

Luo, Xiangfeng. editor.

(4)

Lämmel, Ralf. editor.

(4)

Maciaszek, Leszek A. editor.

(4)

Marsden, Gary. editor.

(4)

Mayr, Heinrich C. editor.

(4)

Moodie, Matthew. editor.

(4)

Murgante, Beniamino. editor.

(4)

Nordio, Martin. editor.

(4)

Nunes, Nuno. editor.

(4)

Oivo, Markku. editor.

(4)

Oshri, Ilan. editor.

(4)

O’Connor, Rory V. editor.

(4)

Paech, Barbara. editor.

(4)

Plasmeijer, Rinus. editor.

(4)

Potapov, Igor. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Shakeshaft, Dominic. editor.

(4)

Shumaker, Randall. editor.

(4)

Sirjani, Marjan. editor.

(4)

Steffen, Bernhard. editor.

(4)

Succi, Giancarlo. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Veith, Helmut. editor.

(4)

Wade, Matt. editor.

(4)

Wang, Qing. editor.

(4)

Wesson, Janet. editor.

(4)

Wojtkowski, Gregory. editor.

(4)

Wolff, Burkhart. editor.

(4)

Zhao, Chunjiang. editor.

(4)

Zhu, Huibiao. editor.

(4)

Aalst, Wil M. P. editor.

(3)

Abdulrazak, Bessam. editor.

(3)

Aceto, Luca. editor.

(3)

Albers, Susanne. editor.

(3)

Alpuente, María. editor.

(3)

Altmann, Jörn. editor.

(3)

Andres, Clay. editor.

(3)

Aramaki, Mitsuko. editor.

(3)

Barthe, Gilles. editor.

(3)

Beckner, Mark. editor.

(3)

Beliczynski, Bartlomiej. editor.

(3)

Bernardo, Marco. editor.

(3)

Biffl, Stefan. editor.

(3)

Bowen, Jonathan P. editor.

(3)

Brambilla, Marco. editor.

(3)

Bubak, Marian. editor.

(3)

Butler, Michael. editor.

(3)

Cai, Guoqiang. editor.

(3)

Chen, Jim X. author.

(3)

Chen, Junjie. editor.

(3)

Craig, Iain D. author.

(3)

Cristea, Ana Daniela. author.

(3)

Damiani, Ernesto. editor.

(3)

Dausmann, Manfred. author.

(3)

Delcambre, Lois. editor.

(3)

Dillon, Tharam. editor.

(3)

Ebert, Christof. author.

(3)

Fensel, Dieter. author.

(3)

Franch, Xavier. editor.

(3)

Friedrich, Jan. author.

(3)

Galbraith, Steven. editor.

(3)

Ganter, Bernhard. editor.

(3)

Gellert, Ulrich. author.

(3)

Gennick, Jonathan. editor.

(3)

Gong, Zhiguo. editor.

(3)

Governatori, Guido. editor.

(3)

Gruhn, Volker. editor.

(3)

Grundy, John. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Gulliksen, Jan. editor.

(3)

Hameurlain, Abdelkader. editor.

(3)

Hauswirth, Manfred. editor.

(3)

Helfert, Markus. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Hruschka, Peter. author.

(3)

Hsu, Ching-Hsien. editor.

(3)

Huang, Guangyan. editor.

(3)

Hähnle, Reiner. editor.

(3)

Ingólfsdóttir, Anna. editor.

(3)

Inverardi, Paola. editor.

(3)

Jedlitschka, Andreas. editor.

(3)

Jensen, Kurt. editor.

(3)

Jhala, Ranjit. editor.

(3)

John Wiley & Sons.

(3)

Koutny, Maciej. editor.

(3)

Kurosu, Masaaki. editor.

(3)

Köhler, Peter T. author.

(3)

Leavens, Gary T. editor.

(3)

Leucker, Martin. editor.

(3)

Linger, Henry. editor.

(3)

Liu, Weibin. editor.

(3)

Lowman, Michelle. editor.

(3)

Lu, Wei. editor.

(3)

Marchesi, Michele. editor.

(3)

Marchetti-Spaccamela, Alberto. editor.

(3)

Marcus, Aaron. editor.

(3)

Meersman, Robert. editor.

(3)

Mertens, Peter. author.

(3)

Miao, Duoqian. editor.

(3)

Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985

(3)

Mistrík, Ivan. editor.

(3)

Montanari, Ugo. editor.

(3)

Morisio, Maurizio. editor.

(3)

Mylopoulos, John. editor.

(3)

Münch, Jürgen. editor.

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Nielsen, Jesper Buus. editor.

(3)

Nurcan, Selmin. editor.

(3)

Oquendo, Flavio. editor.

(3)

Paige, Richard F. editor.

(3)

Palsberg, Jens. editor.

(3)

Panetto, Hervé. editor.

(3)

Parkes, Duncan. editor.

(3)

Tümünü genişlet

Dil

(1378)

(174)

(1)

Yayın Yılı

-

(197)

(177)

(159)

(159)

(157)

(153)

(146)

(142)

(132)

(68)

(23)

(16)

(11)

(9)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Software engineering.

(1501)

Computer science.

(1480)

(404)

Artificial intelligence.

(311)

Information systems.

(281)

Information Systems.

(179)

Computer simulation.

(155)

Computer software.

(139)

Management information systems.

(103)

Information storage and retrieval systems.

(100)

Information theory.

(91)

Computer vision.

(84)

Operating systems (Computers).

(79)

Database management.

(75)

(70)

Electronic data processing.

(69)

Data structures (Computer science).

(61)

Computational complexity.

(57)

Logics and Meanings of Programs.

(54)

Information Systems Applications (incl. Internet).

(51)

Programming Languages, Compilers, Interpreters.

(49)

Data encryption (Computer science).

(48)

Multimedia systems.

(48)

Artificial Intelligence (incl. Robotics).

(46)

Management of Computing and Information Systems.

(38)

Algebra -- Data processing.

(36)

Data protection.

(35)

Mathematical Logic and Formal Languages.

(35)

Optical pattern recognition.

(35)

(31)

Programming Techniques.

(31)

Bioinformatics.

(27)

Computer system performance.

(27)

Information Storage and Retrieval.

(27)

Computer Communication Networks.

(26)

(25)

(22)

User Interfaces and Human Computer Interaction.

(22)

(20)

Computer graphics.

(20)

Computer network architectures.

(19)

Special Purpose and Application-Based Systems.

(19)

Computer Appl. in Administrative Data Processing.

(18)

Business Information Systems.

(17)

Software Engineering/Programming and Operating Systems.

(17)

Business planning.

(16)

Algorithm Analysis and Problem Complexity.

(15)

Computers and Society.

(15)

Computation by Abstract Devices.

(14)

Computer aided design.

(14)

Systems engineering.

(14)

Simulation and Modeling.

(13)

Social sciences -- Data processing.

(13)

Computer industry.

(11)

Computer science -- Mathematics.

(11)

Computer security.

(11)

(11)

Electronic commerce.

(11)

(10)

Engineering mathematics.

(9)

Operating Systems.

(9)

Biology -- Data processing.

(8)

Computer Applications.

(8)

Computers and Education.

(8)

(8)

Data Mining and Knowledge Discovery.

(8)

(8)

Computer Science, general.

(7)

Computer engineering.

(7)

Computers and civilization.

(7)

Text processing (Computer science.

(7)

(6)

Application software.

(6)

Computational intelligence.

(6)

Discrete Mathematics in Computer Science.

(6)

Information Systems and Communication Service.

(6)

Multimedia Information Systems.

(6)

Computational Biology/Bioinformatics.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Natural language processing (Computer science).

(5)

Pattern Recognition.

(5)

(5)

Systems and Data Security.

(5)

Theory of Computation.

(5)

Translators (Computer programs).

(5)

(4)

Computer communication systems.

(4)

Data Structures.

(4)

Electronic books.

(4)

Engineering design.

(4)

Industrial engineering.

(4)

Industrial procurement.

(4)

Logic, Symbolic and mathematical.

(4)

(4)

(4)

Symbolic and Algebraic Manipulation.

(4)

System Performance and Evaluation.

(4)

e-Commerce/e-business.

(4)

(3)

Computer hardware.

(3)

Computer science—Mathematics.

(3)

Control engineering.

(3)

Control, Robotics, Automation.

(3)

Image Processing and Computer Vision.

(3)

Object-oriented programming (Computer science)

(3)

Probability and Statistics in Computer Science.

(3)

Programming languages (Electronic computers).

(3)

(3)

Banks and banking.

(2)

(2)

Business—Data processing.

(2)

Civil engineering.

(2)

Climatic changes.

(2)

Computer Appl. in Arts and Humanities.

(2)

Computer software -- Development.

(2)

Computer system failures.

(2)

Computers -- Law and legislation.

(2)

Computing Methodologies.

(2)

Control engineering systems.

(2)

Data Encryption.

(2)

Data Structures, Cryptology and Information Theory.

(2)

Data transmission systems.

(2)

Electrical engineering.

(2)

History of Computing.

(2)

Industrial and Production Engineering.

(2)

Information storage and retrieval.

(2)

(2)

Mathematical logic.

(2)

Models and Principles.

(2)

Project Management.

(2)

Science -- Data processing.

(2)

(2)

Sustainable Architecture/Green Buildings.

(2)

Sustainable architecture.

(2)

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Aging -- Research -- Longitudinal studies.

(1)

(1)

(1)

(1)

Automatic Data Processing.

(1)

BASIC (Computer program language)

(1)

Bayesian statistical decision theory -- Graphic methods.

(1)

(1)

Biological models.

(1)

Business -- Data processing.

(1)

Business Informatics.

(1)

Business logistics.

(1)

COMPUTERS -- Programming -- Open Source.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Tools.

(1)

Cognitive learning.

(1)

Computational linguistics.

(1)

Computer Appl. in Life Sciences.

(1)

Computer files.

(1)

Computer logic.

(1)

Computer programming -- Textbooks.

(1)

Computer programming.

(1)

Computer science -- Textbooks.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Control and Systems Theory.

(1)

Criminalistiek.

(1)

Data Storage Representation.

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science)

(1)

Differentiable dynamical systems.

(1)

Digitale technieken.

(1)

Economics -- Statistics.

(1)

Education -- Economic aspects.

(1)

Education Economics.

(1)

Educational tests and measurements.

(1)

Electrical and Electronic Engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic book collection.

(1)

Electronic circuits.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

Engineering economy.

(1)

Entrepreneurship.

(1)

Environmental Social Sciences.

(1)

Environmental pollution.

(1)

Environmental sciences -- Social aspects.

(1)

(1)

Forensic sciences -- Graphic methods.

(1)

Fourier analysis.

(1)

Geometry, algebraic.

(1)

Health -- Research -- Longitudinal studies.

(1)

Industrial management.

(1)

Information technology.

(1)

Innovation/Technology Management.

(1)

Learning -- Social aspects.

(1)

Learning, Psychology of.

(1)

Legal Aspects of Computing.

(1)

Longitudinal method.

(1)

(1)

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical models.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Tümünü genişlet

Materyal Türü

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

1554 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 130

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.

Design Science Methodology for Information Systems and Software Engineering için kapak resmi

Design Science Methodology for Information Systems and Software Engineering

Design Science Methodology for Information Systems and Software Engineering

Yazar

Wieringa, Roel J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43839-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Muscholl, Anca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54830-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Yazar

Birkedal, Lars. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools için kapak resmi

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

Yazar

Yevick, David.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE için kapak resmi

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

Yazar

Xiong, Jay. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7326-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning için kapak resmi

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

Yazar

Tchounikine, Pierre. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Hofmann, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computer Science The Hardware, Software and Heart of It için kapak resmi

Computer Science The Hardware, Software and Heart of It

Computer Science The Hardware, Software and Heart of It

Yazar

Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-1168-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers için kapak resmi

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

Yazar

Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Yazar

Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Alfaro, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 130

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11