Search Results for Science -- Software.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(1801)

Gavrilova, Marina L. editor.

(20)

Dongarra, Jack. editor.

(18)

Albada, Geert Dick. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Meyer, Bertrand. editor.

(13)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Voronkov, Andrei. editor.

(13)

Silhavy, Petr. editor.

(12)

Silhavy, Radek. 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)

O'Regan, Gerard. author.

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

Prokopova, Zdenka. 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)

Cavalcanti, Ana. editor.

(5)

Choo, Hyunseung. editor.

(5)

Gacek, Cristina. editor.

(5)

Gibbons, Jeremy. editor.

(5)

Jedlitschka, Andreas. editor.

(5)

Kleuker, Stephan. author.

(5)

Liu, Honghai. editor.

(5)

Liu, Zhiming. editor.

(5)

Mayr, Heinrich C. editor.

(5)

Mokhtari, Mounir. editor.

(5)

Pfahl, Dietmar. editor.

(5)

Rashid, Awais. editor.

(5)

Rijmen, Vincent. editor.

(5)

Senkerik, Roman. editor.

(5)

Shi, Yong. editor.

(5)

Sillitti, Alberto. editor.

(5)

Starke, Gernot. author.

(5)

Steffen, Bernhard. editor.

(5)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(5)

Stephanidis, Constantine. editor.

(5)

Tan, C.J. Kenneth. editor.

(5)

Wojtkowski, Wita. editor.

(5)

Abts, Dietmar. author.

(4)

Aceto, Luca. editor.

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

Butler, Michael. editor.

(4)

Campos, Pedro. editor.

(4)

Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X

(4)

Chaki, Rituparna. editor.

(4)

Conboy, Kieran. editor.

(4)

Cornell, Gary. editor.

(4)

Cortesi, Agostino. editor.

(4)

Cudré-Mauroux, Philippe. 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)

Governatori, Guido. editor.

(4)

Graf, Susanne. editor.

(4)

Graham, Nicholas. editor.

(4)

Hassell, Jonathan. editor.

(4)

Havelund, Klaus. editor.

(4)

Heckel, Reiko. editor.

(4)

Heflin, Jeff. editor.

(4)

Horváth, Zoltán. editor.

(4)

Ingólfsdóttir, Anna. editor.

(4)

Jensen, Kristoffer. editor.

(4)

Jorge, Joaquim. editor.

(4)

Joseph, Mathai. editor.

(4)

Kobayashi, Naoki. editor.

(4)

Kop, Christian. editor.

(4)

Kotlarsky, Julia. editor.

(4)

Kuhrmann, Marco. author.

(4)

Lang, Michael. editor.

(4)

Lecue, Freddy. 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)

Moodie, Matthew. editor.

(4)

Murgante, Beniamino. editor.

(4)

Nordio, Martin. editor.

(4)

Nunes, Nuno. editor.

(4)

Oivo, Markku. editor.

(4)

Oplatkova, Zuzana Kominkova. 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)

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045

(4)

Shakeshaft, Dominic. editor.

(4)

Shenoi, Sujeet. editor.

(4)

Shumaker, Randall. editor.

(4)

Sirjani, Marjan. 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)

Winkler, Dietmar. editor.

(4)

Wojtkowski, Gregory. editor.

(4)

Wolff, Burkhart. editor.

(4)

Zhao, Chunjiang. editor.

(4)

Zhu, Huibiao. editor.

(4)

Ölveczky, Peter Csaba. editor.

(4)

Aalst, Wil M. P. editor.

(3)

Abdulrazak, Bessam. editor.

(3)

Albers, Susanne. editor.

(3)

Alpuente, María. editor.

(3)

Altmann, Jörn. editor.

(3)

Andres, Clay. editor.

(3)

Aramaki, Mitsuko. editor.

(3)

Astorino, Annabella. editor. (orcid)0000-0002-3439-180X

(3)

Barthe, Gilles. editor.

(3)

Beckner, Mark. editor.

(3)

Beliczynski, Bartlomiej. editor.

(3)

Bernardo, Marco. editor.

(3)

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874

(3)

Biffl, Stefan. editor.

(3)

Bowen, Jonathan P. editor.

(3)

Brambilla, Marco. editor.

(3)

Bubak, Marian. 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)

Eder, Johann. editor.

(3)

Engels, Gregor. editor.

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

Gonçalves, Paulo J. Sequeira. 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)

Inverardi, Paola. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Jensen, Kurt. editor.

(3)

Jhala, Ranjit. editor.

(3)

John Wiley & Sons.

(3)

Joukov, Nikolai. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kacprzyk, Janusz. editor.

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Language

(1734)

(175)

(1)

Publication Date

-

(197)

(177)

(165)

(159)

(157)

(155)

(149)

(146)

(134)

(79)

(79)

(75)

(71)

(57)

(35)

(20)

(16)

(12)

(8)

(8)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(1628)

Computer science.

(1579)

Artificial intelligence.

(419)

(404)

Information systems.

(281)

Information Systems.

(179)

Computer simulation.

(178)

Computer software.

(140)

Information storage and retrieval systems.

(110)

Information theory.

(104)

Management information systems.

(103)

Computer vision.

(101)

Database management.

(82)

(80)

Operating systems (Computers).

(80)

Electronic data processing.

(70)

Data structures (Computer science).

(69)

Computer Science Logic and Foundations of Programming.

(65)

Computational intelligence.

(64)

Data protection.

(61)

Computer Communication Networks.

(60)

Data encryption (Computer science).

(58)

Computational complexity.

(57)

Logics and Meanings of Programs.

(54)

Information Systems Applications (incl. Internet).

(51)

Multimedia systems.

(49)

Programming Languages, Compilers, Interpreters.

(49)

Computer networks .

(48)

Formal Languages and Automata Theory.

(47)

Machine theory.

(47)

Theory of Computation.

(47)

Artificial Intelligence (incl. Robotics).

(46)

Application software.

(45)

Programming Techniques.

(44)

Electronic books.

(42)

Computer and Information Systems Applications.

(39)

Management of Computing and Information Systems.

(38)

Information Storage and Retrieval.

(37)

Algebra -- Data processing.

(36)

Computer science -- Mathematics.

(36)

Mathematical Logic and Formal Languages.

(35)

Optical pattern recognition.

(35)

User Interfaces and Human Computer Interaction.

(33)

Bioinformatics.

(32)

Compilers (Computer programs).

(32)

Compilers and Interpreters.

(32)

(31)

(31)

Special Purpose and Application-Based Systems.

(29)

Computer system performance.

(27)

(26)

Data and Information Security.

(26)

(25)

Computer engineering.

(24)

(24)

Computer Modelling.

(22)

Computer graphics.

(22)

Computers and Society.

(22)

Computer network architectures.

(19)

Business Information Systems.

(18)

Computer Appl. in Administrative Data Processing.

(18)

Computer Engineering and Networks.

(17)

Computer security.

(17)

Data Mining and Knowledge Discovery.

(17)

Engineering mathematics.

(17)

Software Engineering/Programming and Operating Systems.

(17)

Business planning.

(16)

(16)

Systems engineering.

(16)

Algorithm Analysis and Problem Complexity.

(15)

Natural language processing (Computer science).

(15)

Social sciences -- Data processing.

(15)

Telecommunication.

(15)

Communications Engineering, Networks.

(14)

Computation by Abstract Devices.

(14)

Computer aided design.

(14)

Computer programming.

(14)

Computers and civilization.

(14)

Engineering -- Data processing.

(14)

Mathematics of Computing.

(14)

(13)

Human-computer interaction.

(13)

Signal processing.

(13)

Simulation and Modeling.

(13)

(12)

Computer industry.

(12)

Computers and Education.

(12)

Electronic commerce.

(12)

System Performance and Evaluation.

(12)

Control engineering.

(11)

Discrete Mathematics in Computer Science.

(11)

(11)

Information technology -- Management.

(11)

Machine learning.

(11)

Signal, Speech and Image Processing.

(11)

User interfaces (Computer systems).

(11)

(10)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(10)

Computers, Special purpose.

(10)

(10)

(10)

Natural Language Processing (NLP).

(10)

Operating Systems.

(10)

TECHNOLOGY & ENGINEERING.

(10)

(9)

(9)

Computer Application in Administrative Data Processing.

(9)

Mathematics -- Data processing.

(9)

Programming languages (Electronic computers).

(9)

Biology -- Data processing.

(8)

Computer Applications.

(8)

Cooperating objects (Computer systems).

(8)

Cyber-Physical Systems.

(8)

Data Structures and Information Theory.

(8)

Electronic digital computers -- Evaluation.

(8)

Mathematical and Computational Engineering Applications.

(8)

(8)

(7)

Computer Science, general.

(7)

Computer System Implementation.

(7)

Computer systems.

(7)

Computers -- Law and legislation.

(7)

Control and Systems Theory.

(7)

Data Engineering.

(7)

Image processing -- Digital techniques.

(7)

Multimedia Information Systems.

(7)

Text processing (Computer science.

(7)

Automated Pattern Recognition.

(6)

(6)

Computational Mathematics and Numerical Analysis.

(6)

History of Computing.

(6)

Information Systems and Communication Service.

(6)

Internet of things.

(6)

Legal Aspects of Computing.

(6)

Medical informatics.

(6)

Models of Computation.

(6)

Pattern recognition systems.

(6)

(6)

Probability and Statistics in Computer Science.

(6)

Programming Language.

(6)

(6)

Artificial intelligence -- Data processing.

(5)

Cloud Computing.

(5)

Coding and Information Theory.

(5)

Computational Biology/Bioinformatics.

(5)

Control, Robotics, Automation.

(5)

(5)

Discrete mathematics.

(5)

Données volumineuses.

(5)

Electronic data processing -- Management.

(5)

Engineering design.

(5)

Health Informatics.

(5)

(5)

Industrial engineering.

(5)

Information technology -- Law and legislation.

(5)

Mathematical Applications in Computer Science.

(5)

Mathematical logic.

(5)

Mathematical statistics.

(5)

Pattern Recognition.

(5)

Software Management.

(5)

Software engineering -- Management.

(5)

Symbolic and Algebraic Manipulation.

(5)

Systems and Data Security.

(5)

Translators (Computer programs).

(5)

Arithmetic and Logic Structures.

(4)

Business information services.

(4)

Cloud computing.

(4)

Computational and Systems Biology.

(4)

Computational linguistics.

(4)

Computer arithmetic and logic units.

(4)

Computer communication systems.

(4)

Computers -- History.

(4)

Data Structures.

(4)

Design and Analysis of Algorithms.

(4)

Education -- Data processing.

(4)

Geographic information systems.

(4)

Industrial procurement.

(4)

Information technology.

(4)

Intelligence (AI) & Semantics.

(4)

Intelligence artificielle.

(4)

Logic, Symbolic and mathematical.

(4)

(4)

(4)

e-Commerce/e-business.

(4)

Applications of Mathematics.

(3)

Apprentissage automatique.

(3)

Apprentissage profond.

(3)

Biometric identification.

(3)

Cloud computing

(3)

Computational Science and Engineering.

(3)

Computer Engineering.

(3)

Computer hardware.

(3)

Computer networks -- Security measures.

(3)

Computer science—Mathematics.

(3)

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

(3)

Control Structures and Microprogramming.

(3)

Data structures (Computer science)

(3)

Deep learning (Machine learning)

(3)

Electrical engineering.

(3)

Embedded computer systems.

(3)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1911 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 160

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for 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

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

Author

Yevick, David.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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

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

Author

Tchounikine, Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for 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

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

Author

Hofmann, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computer Science The Hardware, Software and Heart of It

Computer Science The Hardware, Software and Heart of It

Computer Science The Hardware, Software and Heart of It

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

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

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

Author

Xiong, Jay. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for 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

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

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

Alfaro, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Author

Amadio, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78499-9

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Author

Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77505-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

Author

Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77050-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

Author

Seidl, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71389-0

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 160

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11