Search Results for - Narrowed by: IYTE Library - 2006 - Programming Languages, Compilers, Interpreters.

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2024-06-20T00:26:59Z

by Abrahamsson, Pekka. editor.
http://dx.doi.org/10.1007/11774129
Format: Electronic Resources

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-20T00:26:59Z

by Eliassen, Frank. editor.
http://dx.doi.org/10.1007/11773887
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2024-06-20T00:26:59Z

by Boissier, Olivier. editor.
http://dx.doi.org/10.1007/11775331
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

2024-06-20T00:26:59Z

by Emerson, E. Allen. editor.
http://dx.doi.org/10.1007/11609773
Format: Electronic Resources

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2024-06-20T00:26:59Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/11690634
Format: Electronic Resources

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2024-06-20T00:26:59Z

by Grieskamp, Wolfgang. editor.
http://dx.doi.org/10.1007/11759744
Format: Electronic Resources

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2024-06-20T00:26:59Z

by Valmari, Antti. editor.
http://dx.doi.org/10.1007/11691617
Format: Electronic Resources

Variations on Constants Flow Analysis of Sequential and Parallel Programs

2024-06-20T00:26:59Z

by Müller-Olm, Markus. author.
http://dx.doi.org/10.1007/11871743
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

2024-06-20T00:26:59Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/11877028
Format: Electronic Resources

Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

2024-06-20T00:26:59Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/11894100
Format: Electronic Resources

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

2024-06-20T00:26:59Z

by Yi, Kwangkeun. editor.
http://dx.doi.org/10.1007/11823230
Format: Electronic Resources

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

2024-06-20T00:26:59Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/11901433
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2024-06-20T00:26:59Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/11741060
Format: Electronic Resources

Advanced Topics in Exception Handling Techniques

2024-06-20T00:26:59Z

by Dony, Christophe. editor.
http://dx.doi.org/10.1007/11818502
Format: Electronic Resources

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

2024-06-20T00:26:59Z

by Benhamou, Frédéric. editor.
http://dx.doi.org/10.1007/11889205
Format: Electronic Resources

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2024-06-20T00:26:59Z

by Ur, Shmuel. editor.
http://dx.doi.org/10.1007/11678779
Format: Electronic Resources

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2024-06-20T00:26:59Z

by Baresi, Luciano. editor.
http://dx.doi.org/10.1007/11693017
Format: Electronic Resources

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

2024-06-20T00:26:59Z

by Sestoft, Peter. editor.
http://dx.doi.org/10.1007/11693024
Format: Electronic Resources

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2024-06-20T00:26:59Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/11691792
Format: Electronic Resources

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

2024-06-20T00:26:59Z

by Löwe, Welf. editor.
http://dx.doi.org/10.1007/11821946
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

2024-06-20T00:26:59Z

by Pinho, Luís Miguel. editor.
http://dx.doi.org/10.1007/11767077
Format: Electronic Resources

Interfacing with C++ Programming Real-World Applications

2024-06-20T00:26:59Z

by Katupitiya, Jayantha. author.
http://dx.doi.org/10.1007/3-540-33581-1
Format: Electronic Resources

Software Engineering 3 Domains, Requirements, and Software Design

2024-06-20T00:26:59Z

by Bjøner, Dines. author.
http://dx.doi.org/10.1007/3-540-33653-2
Format: Electronic Resources

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-06-20T00:26:59Z

by Graf, Susanne. editor.
http://dx.doi.org/10.1007/11901914
Format: Electronic Resources

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2024-06-20T00:26:59Z

by Arun-Kumar, S. editor.
http://dx.doi.org/10.1007/11944836
Format: Electronic Resources

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2024-06-20T00:26:59Z

by Dunne, Steve. editor.
http://dx.doi.org/10.1007/11768173
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-20T00:26:59Z

by Gorrieri, Roberto. editor.
http://dx.doi.org/10.1007/11768869
Format: Electronic Resources

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

2024-06-20T00:26:59Z

by Filliâtre, Jean-Christophe. editor.
http://dx.doi.org/10.1007/11617990
Format: Electronic Resources

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2024-06-20T00:26:59Z

by Gorton, Ian. editor.
http://dx.doi.org/10.1007/11783565
Format: Electronic Resources

Software Engineering 1 Abstraction and Modelling

2024-06-20T00:26:59Z

by Bjørner, Dines. author.
http://dx.doi.org/10.1007/3-540-31288-9
Format: Electronic Resources

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2024-06-20T00:26:59Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/11678823
Format: Electronic Resources

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2024-06-20T00:26:59Z

by Hagiya, Masami. editor.
http://dx.doi.org/10.1007/11737414
Format: Electronic Resources

Software Engineering 2 Specification of Systems and Languages

2024-06-20T00:26:59Z

by Bjørner, Dines. author.
http://dx.doi.org/10.1007/978-3-540-33193-3
Format: Electronic Resources

Pro SQL Server 2005 Assemblies

2024-06-20T00:26:59Z

by Dewson, Robin. author.
http://dx.doi.org/10.1007/978-1-4302-0113-7
Format: Electronic Resources

Beginning PHP and MySQL 5 From Novice to Professional

2024-06-20T00:26:59Z

by Gilmore, W. Jason. author.
http://dx.doi.org/10.1007/978-1-4302-0117-5
Format: Electronic Resources

Pro ASP.NET 2.0 in VB 2005

2024-06-20T00:26:59Z

by Moroney, Laurence. editor.
http://dx.doi.org/10.1007/978-1-4302-0118-2
Format: Electronic Resources

Beginning ASP.NET 2.0 in C# 2005 From Novice to Professional

2024-06-20T00:26:59Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0121-2
Format: Electronic Resources

Beginning SQL Server 2005 for Developers From Novice to Professional

2024-06-20T00:26:59Z

by Dewson, Robin. author.
http://dx.doi.org/10.1007/978-1-4302-0124-3
Format: Electronic Resources

Expert Spring MVC and Web Flow

2024-06-20T00:26:59Z

by Ladd, Seth. author.
http://dx.doi.org/10.1007/978-1-4302-0133-5
Format: Electronic Resources

Foundations of Java for ABAP Programmers

2024-06-20T00:26:59Z

by Rooney, Alistair. author.
http://dx.doi.org/10.1007/978-1-4302-0140-3
Format: Electronic Resources

Beginning POJOs From Novice to Professional

2024-06-20T00:26:59Z

by Sam-Bodden, Brian. author.
http://dx.doi.org/10.1007/978-1-4302-0142-7
Format: Electronic Resources

Practical .NET for Financial Markets

2024-06-20T00:26:59Z

by Shetty, Yogesh. author.
http://dx.doi.org/10.1007/978-1-4302-0147-2
Format: Electronic Resources

Beginning ASP.NET 2.0 in VB 2005 From Novice to Professional

2024-06-20T00:26:59Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0155-7
Format: Electronic Resources

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

2024-06-20T00:26:59Z

by Hentenryck, Pascal. editor.
http://dx.doi.org/10.1007/11603023
Format: Electronic Resources

Fast Track to MDX

2024-06-20T00:26:59Z

by Whitehorn, Mark. author.
http://dx.doi.org/10.1007/1-84628-182-2
Format: Electronic Resources

Virtual Machines

2024-06-20T00:26:59Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-246-1
Format: Electronic Resources

Theoretical Introduction to Programming

2024-06-20T00:26:59Z

by Mills, Bruce. author.
http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2024-06-20T00:26:59Z

by Gotzhein, Reinhard. editor.
http://dx.doi.org/10.1007/11951148
Format: Electronic Resources

Practical Mono

2024-06-20T00:26:59Z

by Mamone, Mark. author.
http://dx.doi.org/10.1007/978-1-4302-0097-0
Format: Electronic Resources

SQL Server 2005 T-SQL Recipes A Problem-Solution Approach

2024-06-20T00:26:59Z

by Sack, Joseph. author.
http://dx.doi.org/10.1007/978-1-4302-0099-4
Format: Electronic Resources

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

2024-06-20T00:26:59Z

by Bruel, Jean-Michel. editor.
http://dx.doi.org/10.1007/11663430
Format: Electronic Resources

Java™ 6 Platform Revealed

2024-06-20T00:26:59Z

by Zukowski, John. author.
http://dx.doi.org/10.1007/978-1-4302-0187-8
Format: Electronic Resources

Cost-Based Oracle Fundamentals

2024-06-20T00:26:59Z

by Lewis, Jonathan. author.
http://dx.doi.org/10.1007/978-1-4302-0087-1
Format: Electronic Resources

The Definitive Guide to Building Java Robots

2024-06-20T00:26:59Z

by Preston, Scott. author.
http://dx.doi.org/10.1007/978-1-4302-0088-8
Format: Electronic Resources

Pro SQL Server 2005 Reporting Services

2024-06-20T00:26:59Z

by Landrum, Rodney. author.
http://dx.doi.org/10.1007/978-1-4302-0091-8
Format: Electronic Resources

Pro Apache Ant

2024-06-20T00:26:59Z

by Moodie, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0092-5
Format: Electronic Resources

Pro SQL Server 2005

2024-06-20T00:26:59Z

by Rizzo, Thomas. author.
http://dx.doi.org/10.1007/978-1-4302-0094-9
Format: Electronic Resources

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2024-06-20T00:26:59Z

by Uustalu, Tarmo. editor.
http://dx.doi.org/10.1007/11783596
Format: Electronic Resources

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2024-06-20T00:26:59Z

by Thomas, Dave. editor.
http://dx.doi.org/10.1007/11785477
Format: Electronic Resources

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2024-06-20T00:26:59Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/11804192
Format: Electronic Resources

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-06-20T00:26:59Z

by Reussner, Ralf H. editor.
http://dx.doi.org/10.1007/11786160
Format: Electronic Resources

M-Solid Varieties of Algebras

2024-06-20T00:26:59Z

by Koppitz, J. author.
http://dx.doi.org/10.1007/0-387-30806-7
Format: Electronic Resources

Pro EJB 3 Java Persistence API

2024-06-20T00:26:59Z

by Keith, Mike. author.
http://dx.doi.org/10.1007/978-1-4302-0168-7
Format: Electronic Resources

SCJD Exam with J2SE 5

2024-06-20T00:26:59Z

by Monkhouse, Andrew. author.
http://dx.doi.org/10.1007/978-1-4302-0107-6
Format: Electronic Resources

Beginning SQL Server 2005 Express Database Applications with Visual Basic Express and Visual Web Developer Express From Novice to Professional

2024-06-20T00:26:59Z

by Dobson, Rick. author.
http://dx.doi.org/10.1007/978-1-4302-0108-3
Format: Electronic Resources

Beginning Apache Struts From Novice to Professional

2024-06-20T00:26:59Z

by Doray, Arnold. author.
http://dx.doi.org/10.1007/978-1-4302-0129-8
Format: Electronic Resources

Beginning PHP and PostgreSQL 8 From Novice to Professional

2024-06-20T00:26:59Z

by Gilmore, W. Jason. author.
http://dx.doi.org/10.1007/978-1-4302-0136-6
Format: Electronic Resources

.NET 2.0 for Delphi Programmers

2024-06-20T00:26:59Z

by Shemitz, Jon. author.
http://dx.doi.org/10.1007/978-1-4302-0174-8
Format: Electronic Resources

Pro PHP-GTK

2024-06-20T00:26:59Z

by Mattocks, Scott. author.
http://dx.doi.org/10.1007/978-1-4302-0152-6
Format: Electronic Resources

Pro SQL Server 2005 Database Design and Optimization

2024-06-20T00:26:59Z

by Davidson, Louis. author.
http://dx.doi.org/10.1007/978-1-4302-0161-8
Format: Electronic Resources

Deploying .NET Applications Learning MSBuild and ClickOnce

2024-06-20T00:26:59Z

by Hashimi, Sayed Y. author.
http://dx.doi.org/10.1007/978-1-4302-0162-5
Format: Electronic Resources

Pro Java EE 5 Performance Management and Optimization

2024-06-20T00:26:59Z

by Haines, Steven. author.
http://dx.doi.org/10.1007/978-1-4302-0170-0
Format: Electronic Resources

SCJP Exam for J2SE 5 A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam

2024-06-20T00:26:59Z

by Sanghera, Paul. author.
http://dx.doi.org/10.1007/978-1-4302-0173-1
Format: Electronic Resources

Pro .NET 2.0 Extreme Programming

2024-06-20T00:26:59Z

by Pearman, Greg. author.
http://dx.doi.org/10.1007/978-1-4302-0179-3
Format: Electronic Resources

Introduction to Programming with Fortran

2024-06-20T00:26:59Z

by Chivers, Ian D. author.
http://dx.doi.org/10.1007/b137984
Format: Electronic Resources

Fundamental Networking in Java

2024-06-20T00:26:59Z

by Pitt, Esmond. author.
http://dx.doi.org/10.1007/1-84628-252-7
Format: Electronic Resources

Hardware Verification with C++ A Practitioner’s Handbook

2024-06-20T00:26:59Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Electronic Resources

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings

2024-06-20T00:26:59Z

by Steen, Maarten. editor.
http://dx.doi.org/10.1007/11925071
Format: Electronic Resources

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings

2024-06-20T00:26:59Z

by Mohr, Bernd. editor.
http://dx.doi.org/10.1007/11846802
Format: Electronic Resources

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

2024-06-20T00:26:59Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/11805618
Format: Electronic Resources

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2024-06-20T00:26:59Z

by Lightfoot, David E. editor.
http://dx.doi.org/10.1007/11860990
Format: Electronic Resources

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2024-06-20T00:26:59Z

by Hnich, Brahim. editor.
http://dx.doi.org/10.1007/11754602
Format: Electronic Resources

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-06-20T00:26:59Z

by Etalle, Sandro. editor.
http://dx.doi.org/10.1007/11799573
Format: Electronic Resources

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

2024-06-20T00:26:59Z

by Nierstrasz, Oscar. editor.
http://dx.doi.org/10.1007/11880240
Format: Electronic Resources

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2024-06-20T00:26:59Z

by Thompson, Simon G. editor.
http://dx.doi.org/10.1007/11683704
Format: Electronic Resources

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2024-06-20T00:26:59Z

by Müller, Jörg P. editor.
http://dx.doi.org/10.1007/11752660
Format: Electronic Resources

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2024-06-20T00:26:59Z

by Misra, Jayadev. editor.
http://dx.doi.org/10.1007/11813040
Format: Electronic Resources

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

2024-06-20T00:26:59Z

by Cavalcanti, Ana. editor.
http://dx.doi.org/10.1007/11889229
Format: Electronic Resources

CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

2024-06-20T00:26:59Z

by Baier, Christel. editor.
http://dx.doi.org/10.1007/11817949
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2024-06-20T00:26:59Z

by Asarin, Eugene. editor.
http://dx.doi.org/10.1007/11867340
Format: Electronic Resources

An Introduction to Language Processing with Perl and Prolog An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German

2024-06-20T00:26:59Z

by Nugues, Pierre M. author.
http://dx.doi.org/10.1007/3-540-34336-9
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development I

2024-06-20T00:26:59Z

by Rashid, Awais. editor.
http://dx.doi.org/10.1007/11687061
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2024-06-20T00:26:59Z

by Barkaoui, Kamel. editor.
http://dx.doi.org/10.1007/11921240
Format: Electronic Resources

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2024-06-20T00:26:59Z

by Kobayashi, Naoki. editor.
http://dx.doi.org/10.1007/11924661
Format: Electronic Resources

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

2024-06-20T00:26:59Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/11961536
Format: Electronic Resources

Rigorous Development of Complex Fault-Tolerant Systems

2024-06-20T00:26:59Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/11916246
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development II

2024-06-20T00:26:59Z

by Rashid, Awais. editor.
http://dx.doi.org/10.1007/11922827
Format: Electronic Resources

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2024-06-20T00:26:59Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/11925040
Format: Electronic Resources

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2024-06-20T00:26:59Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/11757283
Format: Electronic Resources

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

2024-06-20T00:26:59Z

by Butterfield, Andrew. editor.
http://dx.doi.org/10.1007/11964681
Format: Electronic Resources

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers

2024-06-20T00:26:59Z

by Ayguadé, Eduard. editor.
http://dx.doi.org/10.1007/978-3-540-69330-7
Format: Electronic Resources

Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1

2024-06-20T00:26:59Z

by Taft, S. Tucker. author.
http://dx.doi.org/10.1007/978-3-540-69336-9
Format: Electronic Resources

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2024-06-20T00:26:59Z

by Havelund, Klaus. editor.
http://dx.doi.org/10.1007/11940197
Format: Electronic Resources