Search Results for Systems Theory.

|

|

|

|

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

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(121)

Silhavy, Petr. editor.

(7)

Silhavy, Radek. editor.

(7)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(4)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(3)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(3)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kovács, Laura. editor.

(3)

Legay, Axel. editor.

(3)

Majumdar, Rupak. editor.

(3)

Moreno-Díaz, Roberto. editor.

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

Ali, Moonis. editor.

(2)

Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230

(2)

Ao, Sio-Iong. editor.

(2)

Barry, Chris. editor.

(2)

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637

(2)

Bouguettaya, Athman. editor.

(2)

Castillo, Oscar. editor.

(2)

Cellary, Wojciech. editor.

(2)

Chen, Lu. editor.

(2)

Conboy, Kieran. editor.

(2)

Dzerzhinskiy, Fedor. editor.

(2)

Gao, Yunjun. editor.

(2)

Hu, Jiangping. editor. (orcid)0000-0002-7559-8604

(2)

Huang, Xu. editor.

(2)

Huisman, Marieke. editor.

(2)

Jia, Weijia. editor.

(2)

Khalil, Ismail. editor. (orcid)0000-0003-2493-3414

(2)

Kleijn, Jetty. editor.

(2)

Klimenko, Andrey. editor.

(2)

Klimenko, Stanislav V. editor.

(2)

Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942

(2)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

Kunčak, Viktor. editor.

(2)

Lang, Michael. editor.

(2)

Li, Qing. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Manco, Giuseppe. editor.

(2)

Mokbel, Mohamed F. editor.

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Strauss, Christine. editor. (orcid)0000-0003-0276-3610

(2)

Tabia, Karim. editor.

(2)

Tjoa, A Min. editor. (orcid)0000-0002-8295-9252

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Wang, Hua. editor.

(2)

Wang, Jianmin. editor.

(2)

Wojtkowski, Gregory. editor.

(2)

Wojtkowski, Wita. editor.

(2)

Zhang, Jin. editor. (orcid)0000-0002-7464-2247

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665

(2)

Zhang, Yanchun. editor.

(2)

Zhang, Zili. editor.

(2)

Zhou, Rui. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Aceto, Luca. editor.

(1)

Adler, Rasmus. editor.

(1)

Amine, Abdelmalek. editor.

(1)

Anslow, Craig. editor.

(1)

Arteconi, Alessia. editor.

(1)

Auer, Ekaterina. editor.

(1)

Aved, Alex. editor.

(1)

Awad, Ahmed. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Baier, Christel. editor.

(1)

Barrett, Clark. editor.

(1)

Barthe, Gilles. editor.

(1)

Batista, Thaís. author.

(1)

Bergenthum, Robin. editor.

(1)

Blasch, Erik. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bowman, Howard. author.

(1)

Broy, Manfred. editor.

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Campos, Pedro. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavallaro, Lorenzo. editor.

(1)

Chaoui, Allaoua. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chen, Min. author.

(1)

Chikhi, Salim. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Daembkes, Heinrich. editor.

(1)

Davies, Misty. editor.

(1)

Dazzi, Patrizio. author.

(1)

Dennedy, Michelle. author.

(1)

Desel, Jörg. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Eder, Johann. editor.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

England, Matthew. editor.

(1)

Erciyes, K. author.

(1)

Esparza, Javier. editor.

(1)

Felleisen, Matthias. editor.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Finneran, Tom. author.

(1)

Flanagan, Cormac. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Fox, Jonathan. author.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Gama, João. editor.

(1)

Gardner, Philippa. editor.

(1)

Gavoille, Cyril. editor.

(1)

Geuvers, Herman. editor.

(1)

Gollmann, Dieter. editor.

(1)

Gomez, Rodolfo. author.

(1)

Gordon, Andrew D. editor.

(1)

Gorrieri, Roberto. author.

(1)

Grumberg, Orna. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gutknecht, Jürg. author.

(1)

Halbwachs, Nicolas. editor.

(1)

Hasan, Osman. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Hawkins, Richard. editor. (orcid)0000-0001-7347-3413

(1)

Hermanns, Holger. editor.

(1)

Hinchey, Mike. editor.

(1)

Huth, Michael. editor.

(1)

Hönninger, Harald. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Ilcinkas, David. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Isoaho, Jouni. editor.

(1)

Jacobs, Bart. editor.

(1)

Jantsch, Axel. editor.

(1)

Jorge, Joaquim. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kappel, Gerti. editor. (orcid)0000-0002-4758-9436

(1)

Kappel, Gertri. editor. (orcid)0000-0002-4758-9436

(1)

Kholladi, Mohamed Khireddine. editor.

(1)

Kim, Haeng Kon. editor.

(1)

Koutny, Maciej. editor.

(1)

Kowalczyk, Ryszard. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kuechler, Bill. editor.

(1)

Kurki-Suonio, Reino. author.

(1)

Kurosu, Masaaki. editor.

(1)

König, Barbara. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leite, Jair. author.

(1)

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371

(1)

Linden, Isabelle. editor.

(1)

Lopes Cardoso, Henrique. editor.

(1)

Löding, Christof. editor.

(1)

Mancini, Adriano. editor.

(1)

Marchetti-Spaccamela, Alberto. editor.

(1)

Mardare, Radu. editor.

(1)

Mercik, Jacek. editor.

(1)

Meyer, Bertrand. editor.

(1)

Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623

(1)

Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712

(1)

Nakajima, Shin. editor.

(1)

Nguyen, Ngoc Thanh. editor.

(1)

Nicola, Rocco. editor.

(1)

Nurmi, Jari. editor.

(1)

Oliveira, Eugénio. editor.

(1)

Olivetti, Nicola. editor.

(1)

Oquendo, Flavio. author.

(1)

Ordoñez, Hugo. editor.

(1)

Orłowski, Cezary. editor.

(1)

Palsberg, Jens. editor.

(1)

Papathanasiou, Jason. editor.

(1)

Patitz, Matthew J. editor.

(1)

Paule, Peter. editor.

(1)

Peffers, Ken. editor.

(1)

Penczek, Wojciech. editor.

(1)

Philippou, Anna. editor.

(1)

Phung-Duc, Tuan. editor.

(1)

Piterman, Nir. editor.

(1)

Ploskas, Nikolaos. editor.

(1)

Pohl, Klaus. editor.

(1)

Rabe, Florian. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Raskin, Jean-François. editor.

(1)

Rauh, Andreas. editor.

(1)

Ravela, Sai. editor.

(1)

Rehof, Jakob. editor.

(1)

Rothenberger, Marcus. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Sagiv, Mooly. editor.

(1)

Saidouni, Djamel Eddine. editor.

(1)

Salomaa, Arto. editor.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sangchoolie, Behrooz. editor.

(1)

Santoro, Flavia. editor. (orcid)0000-0003-3421-1984

(1)

Schagaev, Igor. author.

(1)

Schleiss, Philipp. editor.

(1)

Segal, Michael. editor.

(1)

Seidl, Helmut. editor.

(1)

Language

(121)

Publication Date

-

(28)

(20)

(19)

(14)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

Subject

Computer science.

(68)

Computer Communication Networks.

(40)

Computer networks .

(32)

Artificial intelligence.

(30)

Theory of Computation.

(26)

(23)

Computer Science Logic and Foundations of Programming.

(20)

Computer simulation.

(17)

Compilers (Computer programs).

(16)

Compilers and Interpreters.

(16)

Computer Modelling.

(15)

(14)

Formal Languages and Automata Theory.

(14)

Machine theory.

(14)

Application software.

(11)

Computational intelligence.

(11)

Computer and Information Systems Applications.

(11)

Database management.

(11)

Control Structures and Microprogramming.

(10)

Information storage and retrieval systems.

(10)

Microprogramming .

(10)

Computer programming.

(9)

Computer software.

(9)

(8)

Data structures (Computer science).

(8)

Operating Systems.

(8)

Operating systems (Computers).

(8)

Programming Techniques.

(8)

Information Storage and Retrieval.

(7)

Special Purpose and Application-Based Systems.

(7)

Computers, Special purpose.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Computer Application in Administrative Data Processing.

(5)

Control engineering.

(5)

Information technology -- Management.

(5)

Information theory.

(5)

Programming languages (Electronic computers).

(5)

Computer Engineering and Networks.

(4)

Computer System Implementation.

(4)

Computer engineering.

(4)

Computer logic.

(4)

Computing Milieux.

(4)

Mathematical logic.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

(4)

Computer science -- Mathematics.

(3)

Computer systems.

(3)

Control and Systems Theory.

(3)

Data Structures and Information Theory.

(3)

Electronic digital computers -- Evaluation.

(3)

Human-computer interaction.

(3)

System Performance and Evaluation.

(3)

Systems theory.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Automated Pattern Recognition.

(2)

(2)

Business information services.

(2)

Communications Engineering, Networks.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer network architectures.

(2)

Computer system failures.

(2)

Control, Robotics, Automation.

(2)

Data encryption (Computer science).

(2)

Data protection.

(2)

Electronic data processing -- Management.

(2)

(2)

(2)

IT in Business.

(2)

Logics and Meanings of Programs.

(2)

Management information systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

Mathematics of Computing.

(2)

Pattern recognition systems.

(2)

(2)

Programming Language.

(2)

Programming Languages, Compilers, Interpreters.

(2)

Robotic Engineering.

(2)

Social sciences -- Data processing.

(2)

Systems engineering.

(2)

Telecommunication.

(2)

The Computing Profession.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Applied Dynamical Systems.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Automotive engineering.

(1)

Biomedical engineering.

(1)

Computer Science, general.

(1)

Computer aided design.

(1)

Computer communication systems.

(1)

Computer hardware.

(1)

Computer programs -- Testing.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Computers and Education.

(1)

(1)

(1)

Data Encryption.

(1)

(1)

Data and Information Security.

(1)

Data structures (Computer scienc.

(1)

Design and Analysis of Algorithms.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Education -- Data processing.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Hardware Performance and Reliability.

(1)

Human-machine systems.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Input-output equipment (Computers).

(1)

Interaction Design.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical physics.

(1)

(1)

Microcomputers.

(1)

Models of Computation.

(1)

Nonlinear theories.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Personal Computing.

(1)

Production engineering.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Software Testing.

(1)

Systems and Data Security.

(1)

Theoretical, Mathematical and Computational Physics.

(1)

Material Type

Shelf Location

Electronic Library

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

121 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 11

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 Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 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

Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 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

Gordon, Andrew D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 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

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Information Systems Development Challenges in Practice, Theory, and Education Volume 1

Information Systems Development Challenges in Practice, Theory, and Education Volume 1

Information Systems Development Challenges in Practice, Theory, and Education Volume 1

Author

Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68772-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 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

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Information Systems Development Challenges in Practice, Theory, and Education Volume 2

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

Author

Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-78578-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Programming Languages and Systems 17th European Symposium on Programming, ESOP 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

Programming Languages and Systems 17th European Symposium on Programming, ESOP 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

Programming Languages and Systems 17th European Symposium on Programming, ESOP 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

Drossopoulou, Sophia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 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

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 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

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Nicola, Rocco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691372

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Author

Sestoft, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11693024

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11